243 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
Reminder that you and all your friends should install and run https://github.com/google/osv-scanner, it supports a lot of stuff and is fast.
GitHub - google/osv-scanner: Vulnerability scanner written in Go which uses the data provided by https://osv.dev

Vulnerability scanner written in Go which uses the data provided by https://osv.dev - google/osv-scanner

GitHub
@secretasianman from PL Twitter a long time ago

A recent Martin Odersky talk, telling the story of Scala, recorded last month. Well worth a watch!

https://www.youtube.com/watch?v=Xn_YpUtXWT4

Of course, integrating XML into the compiler is the only regret 😂 ... Martin was on the fence, but Phil Wadler had convinced him, and so I implemented it. I guess it was a terrible pain to rip it out...

Scala Was an Experiment That Changed Programming - Martin Odersky | The Marco Show

YouTube

If Simorgh unveils its face to you, you will find
that all the birds, be they thirty or forty or more,
are but the shadows cast by that unveiling.
What shadow is ever separated from its maker?
Do you see?
The shadow and its maker are one and the same,
so get over surfaces and delve into mysteries.

(Attar - https://en.wikipedia.org/wiki/The_Conference_of_the_Birds)

The Conference of the Birds - Wikipedia

On apprend la mort de Marjane Satrapi, l’autrice de Persepolis, Ă  seulement 56 ans, « morte de tristesse un peu plus d’un an aprĂšs le dĂ©cĂšs de Mattias Ripa, son mari et l’amour de sa vie », dĂ©clare un communiquĂ© transmis Ă  l’AFP. Appelez la « LibertĂ© Â», une valeur qu’elle a toujours dĂ©fendue.

#Politique #Iran #Culture #Art #Deces #Laicite #Liberte #Islam #Religion

@chandlerc happy birthday! 42 *is* the answer but it is as if there is a hidden force that asks us to build bigger computers to find out what question we should be asking...
¯\(ツ)/¯

@daedalus reminds me of "it is always easier to change the design than the implementation".

Models never match all of reality; a model is a mapping/representation, we are reductive/selective in what gets mapped, the model is always serving a purpose, and is delimited in scope and temporal validity (Stachowiak, Allgemeine Modelltheorie - maybe one of the last cybernetics scholars)... but then the purpose may change but we find we still use the model because we can't agree how to change. Maybe not everyone has the same purpose. Or we agree that we made mistakes, but the wrong model is useful to some or all in a way that does not affect everyone the same way. Some kind of adaptation may take place and that involves change and cost.

It is quite natural that systems favor stability and seek to avoid change or minimize that cost.

Have you ever wanted a Codeberg t-shirt? Maybe a polo shirt? What about a towel or a mug? A barrel bag?! If that's the case, we put together a list of places where you can get them from: https://merch.codeberg.org

To be clear, we don't produce, sell or earn a commission from any sales made. Our logos can be used to print garments at no cost. (If you're interested in doing it yourself, you can get them here: https://codeberg.org/Codeberg/Design)

@einarwh Reminds me how I like "TechnikfolgenabschÀtzung" https://de.wikipedia.org/wiki/Technikfolgenabsch%C3%A4tzung better than "technology assessment" ... and of good science fiction as a genre, which IMHO considers the human condition in an environment altered by science and technology.
TechnikfolgenabschĂ€tzung – Wikipedia

In case you missed it (and only saw the outrage), Tridge (https://en.wikipedia.org/wiki/Andrew_Tridgell) recently blogged about #rsync and the change in security vulnerability discoveries:
https://medium.com/@tridge60/rsync-and-outrage-d9849599e5a0
Andrew Tridgell - Wikipedia