Pinned toot

Announcement: here is something I worked on for a while - a language extending Datalog. It also does something that resembles type-checking. github.com/google/mangle

buraq boosted

Transcriptions of lectures by Per Martin-Löf, available freely

pml.flu.cas.cz

buraq boosted

I am officially deceased after reading this Wall Street deli owner's response to the question of whether he asks his customers for stock tips:

buraq boosted

There’s a soundness hole in Scala 2 involving wildcards that Stephen Compall reported back in 2015 — Dale and I found today that Java has the same hole! We’re trying to close the hole for Scala 3.3.0 without making too much trouble for library authors; details at github.com/lampepfl/dotty/issu

If you have not yet, read this excellent page with commentary on Wiio's laws (Communication usually fails, except by accident...) jkorpela.fi/wiio.html

buraq boosted
buraq boosted

Published in 2016, this brilliant comic by artist Joe Dater somehow feels even more timely in 2023. #art

The Rust book but with interactive quizzes and some editing by PL experts and passionate educators Will Crichton and Shriram Krishnamurti rust-book.cs.brown.edu/

buraq boosted

I just cut my #rust build time from 23 seconds to 2 seconds using mold. What sort of alien magic is this...

(you can do this too, see github.com/rui314/mold#how-to- )

buraq boosted

Inconsistency and redundancy in requirements is a guarantee for a failing project. Slowly but for sure it will kill any attempt to bring a project to success.

#RequiremensEngineering #businessanalysis #software

buraq boosted

Which reminds me...just checking everyone knows the c++ joke.

What does c++ mean?

Increment c; return original value.

buraq boosted

TIL the WWW originally had a logo, and nothing else is better at expressing the naive academic techno-optimism from the 1990s than a design that looks hand-coded in PostScript and that slogan at the top.

buraq boosted
buraq boosted

One of my professors during PhD used to say “You can drive a truck through the holes in any given paper. So you look for what you *can* learn instead.” And being the smartass grad students we used to think driving that truck was fun. After so many years, I now appreciate her wisdom more than ever. All scholarly work has limitations but it’s refreshing when people critically evaluate what’s the actual value of the research. It's about humility, honesty, rigorous intellectual work.

Found the time to add checking of struct (record) types to ... with structural subtyping and optional fields (a bit protobuf like, not option type). It certainly helps when there are almost no operations and lots of code to use for testing. I can't possibly write docs when the type system isn't done yet, can I?

buraq boosted

People are rightly mocking Bjarne Stroustrup's "call to action" re. safety and C++. I'm also triggered that he writes the date as 2022-12-6.

It's like a C++ version of a date: nearly the right thing, sometimes useful, but off in a crucial way that is a royal pain in some cases.

ISO 8601 😭 tonight.

buraq boosted

It is really hard to get people to think strategically about software design, rather than just stumbling down a greedy path that becomes a dead end.

buraq boosted

"Equalizer" in German? That would be "Differenzkern," ist doch klar, oder?

Similarity as fuzzy equivalence relation 

My superpower is visiting the library. I was reading up on ML and about every text treats similarity as the dual of distance.

Then I get Richter, Weber textbook on case-based reasoning (no ML, aimed at interdisciplinary audience) and it is the first time I see similarity can be seen as *fuzzy equivalence relation.* A pair x, y of elements is mapped into [0, 1], not triangle inequality, but a suitable notion of transitivity. Conjunction needs to be fuzzy (using a t-norm). And Gödel (G_k with k truth values, intuitionistic) and Lukasiewicz were there long before Zadeh talked about fuzzy sets in 1971.

It just helps to stick to logic as an organizing principle. But i need to study this more and work out details.

I had come across the notion of fuzzy sets while reading up on category theory and toposes, and I had heard about fuzzy logic (all the rage in the 80s?) but then I never realized to what extent fuzzy logic can be connected to ML. It seems once more that results of research from a past decade are hard to appreciate because of fashion/change of perspectives which prompts people to use different words and applications used for arguing validation or relevance. Fortunately the tenets of logic do not change.

Optimized execution of relational algebra + recursion queries on Spark --> Sarah Chlyah (2022) thesis: On Algebraic Foundations for the Optimization of Iterative Programming with Distributed Data Collections

Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.