burakemir✓

Mastodon @burakemir@discuss.systems

⚔ Compare ☆ Watch Own this channel?

🔄 Data last refreshed 10 hours ago

🤝

Make a deal with burakemir

🔒 Paid proposals held safely in escrow — released only when the work's approved.

Followers

245

Account age

2 yrs

🧰 Free analysis for burakemir

🕵️ Fake follower check 📊 Engagement rate 💰 What they charge

Known for

5 views I report that I may have found an environment that inspires me to write that book I started. And many more.

3 views Finally got access to Mythos 😉 curious what the hype is all about!

📊 Post engagement

Avg engagement / post

1.2%

Engagement vs followers

Aug 2023

On Mastodon since

🔥 Top post: The Spacemit K3 is a RISC-V processor that supports the RVA32 pr · 6 likes + reposts

📊 Activity & format

Posting cadence

3.1 / week

Posts several times a week.

Content mix

Mostly text

Recent: 10 text · 2 image · 0 video.

Follower / following

3×

Follows 81 back. A more reciprocal / networked account.

Recent posts

View on Mastodon ↗

🔥 Top post The Spacemit K3 is a RISC-V processor that supports the RVA32 profile. It has acceleration of matrix operations. There are development boards, an adapted Linux (Bianbu OS), a proprietary toolchain needed for the matrix ops performance, I believe also llama.cpp binaries. What w… ★ 6

Making slow progress with the Types and Memory Safety book, intended as an approachable blend of research and engineering (no inference rules, no Greek letters). Writing is rewriting they say. Due to the nature of life I have no problems w… ★ 3 "Waste no more time arguing about what a good man should be. Be one." Marcus Aurelius Enjoyable quote, like so many, but it would be a tad more consistent if it was the last thing he ever said. ★ 3 PSA: If you build the kernel with #Rust, ensure your bindgen is >= 0.72.1 when you use LLVM 22. https://github.com/Rust-for-Linux/linux/issues/1247

Finally got access to Mythos 😉 curious what the hype is all about! ★ 3 Good description of the Read-Copy-Update (RCU) pattern https://www.infoq.com/articles/read-copy-update/ ★ 3 Here is a raw idea on reintroducing "code quality" (maybe rather: repo quality) in the agentic whatever. AFAICT it is an original idea, never heard anyone mention anything like this. The problem we address is code understanding when agents… ★ 2 Enjoyable TheRegister article on late 70s/early 80s source code for an OS in a type safe language (Modula) having been recovered, a project sponsored by the US Department of Defense. It must have felt like doing archeology and finding that… ★ 4 Hale Bopp - the oddness mix, ok. As if I needed more validation, the DJ is playing a mix of Sven Väth's (der dritte Raum) Raumgleiter that I had never heard before. I wonder how many people were born when this tune was conceived. True platonic form shows up in unexpected … ★ 3

I report that I may have found an environment that inspires me to write that book I started. And many more. ★ 5 RE: https://mstdn.mx/@federicomena/116845658246783883 Reminds of the old quip about FP and mutable state... "if I have a goose and I cut of its head, I don't get a *copy* of the goose body and its head, i get a mess. mutable state is messy… ★ 1

🐘 Community & instance

Home server

discuss.systems

Their home server on the fediverse — the instance a creator picks signals the community they belong to.

✅ Link-verified

Verified link

Proved ownership of a website linked on their profile — Mastodon's green-check verification, a real identity signal rather than a paid badge.

On Mastodon since

Aug 2023

An established account with real history on the platform.

💡 Facts

🗓️Joined Mastodon in 2023 — 2 years ago.

👁️Averages 3 views per post.

📤Posts about 3.1× per week.

🛡️ Audience credibility

84/100

Excellent Credibility score

95%

Real Real audience

Low Fake-follower risk

High Data confidence

Est. 95% real, active audience · Low fake-follower risk.
Strong engagement (~1.2% of followers engage each post) — an active, real audience.
Verified account.

Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.

💚 Brand affinity

Estimated

Brands burakemir's audience is most likely to respond to — from detected sponsorships in this niche.

US Department

About

Interested in many things PL from theory to implementation, also logic, category theory, also distributed systems, more recently Rust. Check out Mangle Datalog, a typed, datalog-based logic programming language and deductive database: https://codeberg.org/TauCeti/mangle-go http://codeberg.org/TauCeti/mangle-rs #datalog #CategoryTheory #logic #types #systems #QueryLanguage #DistributedSystems