234 Followers
77 Following
1.3K Posts

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

GitHubcodeberg.org/burakemir
Homepagehttps://burakemir.ch

Wanted to try renting a GPU for an open weight model for a while. Specifically runpod. With Gemma 4 released, I finally had a reason to try. It works, though it was a bit clumsy. Here is a container for y'all to try the Gemma 4 31B in serverless with llama.cpp and unsloth 8 bit quant.

It seems to be a charming, cheap and privacy preserving way to do LLMs. Might try the smaller ones for even better efficiency when I have thought of a systematic way to evaluate. https://github.com/burakemir/runpod-gemma4

GitHub - burakemir/runpod-gemma4: runpod worker for Gemma4 with llama.cpp

runpod worker for Gemma4 with llama.cpp. Contribute to burakemir/runpod-gemma4 development by creating an account on GitHub.

GitHub
Say No to Palantir in Europe

A powerful US spy-tech company run by billionaires is linked to genocide in Gaza, helps ICE separate families, and fuels Trump’s war with Iran. And now it’s quietly expanding across Europe gaining access to our data, our hospitals, and our police systems.It’s time to expose it and stop its expansion.

WeMove Europe
Super neat work by the team behind Rosette found 82 bugs in the eBPF interpreter/JIT engines via formal verification https://youtu.be/CU0fmBnCqWM?si=ncEh1lyUrC-X-Mib
Prof. Emina Torlak | Solver-aided verification for systems software

YouTube
I am following what's happening in Iran. I think regime change there is necessary and inevitable. The war was a terrible idea strategically, and it seems obvious that it was not carried out with the interests of the Iranian people (or any people) in mind. Yet, there is an opportunity. What would make a real difference is to strengthen the resistance in civil society, which has a long history of being organized and pushing for democracy. https://www.ncr-iran.org/en/news/iran-resistance/prominent-u-s-officials-back-free-iran-vision-endorse-ncris-democratic-roadmap/
Prominent U.S. Officials Back Free Iran Vision, Endorse NCRI’s Democratic Roadmap - NCRI

A group of prominent former U.S. officials, military leaders, and policymakers has issued a joint statement expressing strong support for the Iranian

NCRI

I may regret this. You may regret this.

I've just put out a Linux forensics scenario for you all to play around with. There's a contest. You r submissions are due by 2026-04-15 23:59 UTC.

https://righteousit.com/2026/03/27/linux-forensic-scenario/

#DFIR #Linux

Linux Forensic Scenario

Introducing a contest based around a new Linux forensic scenario I created. Submissions for judging are due by 2026-04-15 23:59 UTC!

Righteous IT

Don't want Microsoft to take what you do on GitHub and use it for AI model training? Click "disable" here.

You can also separately click "disable" to turn off Copilot on GitHub.

https://github.com/settings/copilot/features

Where are the nuanced left-wing takes on modern AI and LLMs?

So much of the discourse around this tech is centered on rejecting it because of who currently owns it. But like all tech, it can be used for both oppression and liberation.

Who is focusing on the latter?

This piece here about the engineer's perpetual quest for meaningful work really resonated with me: https://carette.xyz/posts/chaos_or_comfort/
Chaos or comfort: a reflection on the engineer's quest

A reflection on the engineer's quest

A journey into a wild pointer
Humanity in CS & PL, now more than ever