Remote

burakemir

@burakemir@discuss.systems

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

236 Followers

77 Following

11 Posts

Joined August 07, 2023

GitHub:

codeberg.org/burakemir

Homepage:

https://burakemir.ch

Posts

burakemir @burakemir@discuss.systems · Jul 08, 2026

Good description of the Read-Copy-Update (RCU) pattern https://www.infoq.com/articles/read-copy-update/

burakemir @burakemir@discuss.systems · May 14, 2026

"Human beings, viewed as behaving systems, are quite simple. The apparent complexity of our behavior over time is largely a reflection of the complexity of the environment in which we find ourselves." Herbert A. Simon, The Sciences of the Artificial

burakemir @burakemir@discuss.systems · May 11, 2026

"Be happy for a fleeting moment. That moment is your life."

burakemir @burakemir@discuss.systems · May 10, 2026

You may have heard about the 4G model your Chrome downloaded. Here's how to get rid of it - via LinkedIn, Himanshu Sharma posts:
---
1) In Chrome, click the address bar and type: chrome://flags then press Enter.

2) Turn off the key AI flags by disabling the following:
>> optimization guide on device.
>> Prompt API for Gemini Nano.
>> Prompt API for Gemini Nano with Multimodal Input.
>> Writer API for Gemini Nano.
>> Rewriter API for Gemini Nano.
>> Proofreader API for Gemini Nano.
>> Summarizer API for Gemini Nano.

3) Relaunch Chrome.

4) Delete the whole OptGuideOnDeviceModel folder.
---
That's ~/Library/"Application Support"/Google/Chrome/OptGuideOnDeviceModel/ on my machine. Good riddance.

burakemir @burakemir@discuss.systems · May 05, 2026

This morning I saw @djg@mastodon.world in my news feed, an interview on the impact of AI software engineering. I had met Dan maybe 20 years ago when he visited EPFL and gave a talk about Cyclone, one of the early languages aiming to provide memory safety for low level, address-exposed programming. It was good to read some balanced, grounded views, and I share the optimism: most skills remain relevant and we haven't even gotten close to what is possible with software. The interview: https://www.businessinsider.com/cs-professor-explains-changes-software-engineering-ai-2026-4

burakemir @burakemir@discuss.systems · May 04, 2026

#Mangle #Datalog news: mangle-rs has python bindings now. Get them on https://pypi.org/project/mangle-py/

Let me know if there are any problems or you have suggestions for the API.

As a reminder: Mangle is a datalog based language, with a go and a Rust implementation. The Rust one can also conveniently used in the browser, via WASM.

The time to use datalog from your code is *now*, no excuses 😉

burakemir @burakemir@discuss.systems · Apr 30, 2026

Replying to @maxsnew@types.pl

@maxsnew congrats!

burakemir @burakemir@discuss.systems · Apr 24, 2026

Replying to @maxsnew@types.pl

@maxsnew in a CS context, it might be better to spend the effort on developing CS examples.

burakemir @burakemir@discuss.systems · Mar 26, 2026

Replying to @burakemir@discuss.systems

@zanzi What is clearly problematic is the loss of skill and the vicious loop where everything original will be "captured" and assimilated in the next model without any attribution. It is a dynamic that is similar to open source software, the value generated by human creativity and effort gets monetized by few. That might be the biggest issue. When it comes to science and education, the big opportunity is in cheap and effective dissemination. It is maybe less the novel results but that a larger number of people can more easily understand and apply already existing results where we should look for positive outcomes; if we can define the standards of quality and verification for the things we care about.

burakemir @burakemir@discuss.systems · Mar 26, 2026

Replying to @zanzi@mathstodon.xyz

@zanzi "Discourse" is the key word here: the ongoing power struggle to define what counts as science and knowledge. It is ok to reject the accelerationist message of those in power, but people overdo the rejection and posture around technology-as-instrument-of-class-war. I use LLMs every day and am trying to figure out how to use them for meaningful purposes. It is hard to have a nuanced discussion against a backdrop of winner-takes-it-all-capitalist techno fascism and copyright being used as weapon and at the same time ignored precondition for artist livelihood. Dark times! There are a lot of good uses of LLMs even if the method of production and operation remains problematic, but it would be as important as ever to discuss openly, support each other and consider standards for ethical use and organized action in this situation.

burakemir @burakemir@discuss.systems · Mar 23, 2026

Replying to @koronkebitch@types.pl

@koronkebitch great post, if slightly pessimistic. Towards the end of my thesis, I came toward a similar realization that the scientific process comes down to interactions of people. Many things require a look beyond the homo oeconomicus perspective and real engineering requires a concern for safety and sustainability, not only efficiency. Yet, there is also a place for looking at economic factors because solving problems for humanity does require looking at cost.

burakemir

Posts

Remote instance