232 Followers
76 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
Peace!
There are many datalog implementations, but there is only one that has a mangle in its logo. #Mangle #datalog
This is Encanto, a 2 month old Alpaca. His look is one of a serene being that will never in his life have to deal with a YAML configuration file.
Every once in a while somebody pits software engineering against physical construction like bridge building, usually accompanied by lamentation that dealing with software can't be real engineering. Is it maybe time to argue the opposite site by drawing an analogy between fuzzing and a chicken gun? https://en.m.wikipedia.org/wiki/Chicken_gun
Chicken gun - Wikipedia

One thing that will be a major factor in global economy is whether china exports can be marked with "confirmité européenne" by their producers. The CE marking is a declaration of compliance with all relevant European specifications (including but not limited to consumer safety.)

It properly does not help that china invented it's own CE marking that stands for "China Export". It looks *almost exactly the same* (font enthusiasts will say the only difference is *kerning*)

https://www.hqts.com/differences-between-ce-conformite-europeenne-and-ce-china-export/

MEP Jorge Martín Frías minces no words:

"It was designed to compete fraudulently with the legitimate CE marking and circumvent controls. In this way, the Chinese logo prevents China’s products from getting assessed to find out whether they meet the requirements set by the European Economic Area, which in turn leads to confusion among EU consumers."

https://www.europarl.europa.eu/doceo/document/E-10-2024-001996_EN.html

Differences Between CE (Conformité Européenne) and CE (China Export) - HQTS

When importing products from China, it's crucial to be well-versed in the essential markings and symbols that guarantee safety and compliance. Among

HQTS
Some say category theory has no applications. I am staying in a hotel that uses the Hitachi Set Free Ʃ, an HVAC system using advanced VRF technology. Energy efficiency - what's not to like?

"the Zürich search engine of 1920" describing an official printed address book. It lists individuals by last name, full page advertising, Theater entry prices, collection times for mail boxes.

Makes me think about cyberspace, what we do with it, how it connects to the physical, and what does and does not change after 100 years.

My new work is titled "A Hole in Your Rainbow Panorama"
Here's a nice view of Manhattan for y'all.