242 Followers
80 Following
1.4K 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

Looking to diversify my news sources, this looks good to me: https://europeancorrespondent.com/en

(Calling out Israel doing election interference in Europe, Russia style, for instance, why do I not read about this anywhere else?)

The Anglo-American news universe has various apps that curate summarize, there seems less choice for European perspectives. I love you fedi but either you are not a substitute for journalism that includes Europe perspectives or I need a few suggestions for accounts to follow...

The European Correspondent | The European Correspondent

Stay informed about Europe. Over 200 correspondents from every country in Europe give you daily insights about what matters right now.

#Microsoft says:

Uncoordinated disclosures that put proof-of-concept code for unpatched vulnerabilities into the hands of bad actors are never justifiable and have real-world consequences

Lucky for us, those vulns just occur spontaneously in nature. It would be awful if a company brought the unpatched vulnerabilities to market and sold them at a profit with no liability for doing so.

More to the point, it is a very debatable position that companies like Microsoft should have no accountability (warranty, liability, whatever) no matter how bad their released software is. Microsoft omits how the law treats them so specially.

Microsoft wants the exploit maker held accountable. Microsoft is very interested in seeing the law applied to HIM. Laws holding THEM accountable for vulns? Suddenly they’re not as interested.

Heisenberg’s importance. Windows occupies two simultaneous states: so important that we must’t recklessly disclose vulns, but not important enough to regulate for the good of society.

https://www.theregister.com/security/2026/05/28/microsoft-0-day-feud-escalates-as-researcher-threatens-another-windows-exploit-dump/5248085

Microsoft 0-day feud escalates as researcher threatens another Windows exploit dump

Six 0-days, three under active exploitation, more to come on July 14?

theregister
Everyone talks about not having senior devs in the future because we’re replacing the juniors with LLMs, but nobody’s talking about losing senior devs now because people who are competent and care about the quality of their work are leaving this LLM-infested hellscape of a career path to go into carpentry, hostelry, or subsistence farming
All of a sudden those maniacs compiling everything themselves from known good sources seem a great deal more reasonable.

RE: https://mastodon.social/@sundogplanets/116663904709449788

A propos the anthropomorphism and inexact language debate, I guess one can do even worse than anthropomorphism ...

cambridge mathematics not wanting lectures on category theory by peter johnstone is really something

https://categories.org.au/archives/list/[email protected]/thread/UQKOYBLCLDVSSY7IULWH3NOHXYXRU7SE/

Category Theory under threat in Cambridge - Categories - categories.org.au

I don't mind being asked to review/edit stuff written by AI. It would be nice to know, though, so I can dial in my "this is needs work" delivery tone. People deserve and work well with a lot of kindnesses. Robot don't care. Ripping down something to the studs that an AI wrote is fine, but calling a human's baby ugly is a bummer for everyone involved.

RE: https://social.rust-lang.org/@rust/116653857036562277

I'm really excited that my assert_matches!() macro is finally stable. I can't believe it's been five years since I added it to (unstable) Rust. Time flies. https://github.com/rust-lang/rust/pull/82770

"The transparency of a metaphor displays the glint of truth. But if a metaphor is taken for a reality, it then becomes dense and masks the truth it is meant to display. " (Bediüzzaman Said Nursi)