News for hackers. Stuff that matters.
Re:Mangle, a programming language for deductive database pro... by throwaway484 on Saturday November 26, 2022 @06:11PM (#33757921)
I can think of a few others…

Sawzall, a language focused around processing logs. Rob Pike led on this but use has pretty much all been replaced by Go. https://en.m.wikipedia.org/wiki/Sawzall_(programming_languag...

Dex, a language focused around array processing from the team behind the Jax machine learning library. Early stage research project. https://github.com/google-research/dex-lang

Rune, a language focused on security, early stage research project. https://github.com/google/rune

Wuffs, a language focused on writing safe file format handlers (parsing, encoding, decoding) https://github.com/google/wuffs

Re:Mangle, a programming language for deductive database pro... by d3nj4l on Saturday November 26, 2022 @09:11PM (#33759371)
Cue and skylark (now starlark), too.
Re:Mangle, a programming language for deductive database pro... by fidgewidge on Sunday November 27, 2022 @05:52AM (#33762031)
Also other internal languages: borgmon, borgcfg. Don't think they use borgmon anymore though.