LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Scales as Multipermutations of 0 and 1 into Twelve Places
petecorey.com·5h·
Discuss: Lobsters
🎼Audio Lambda Calculus
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·5d
🌐Protocol Synthesis
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Why Dyad?: A Perspective for Modelica Users
juliahub.com·8h·
Discuss: Hacker News
💧Liquid Types
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·14h·
Discuss: Hacker News
🌀Brotli Internals
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·8h·
Discuss: Substack
🦀Rust Macros
Of Course ML Has Monads! (2011)
existentialtype.wordpress.com·4d·
Discuss: Lobsters, Hacker News
🧬Functional Programming
OpenAI Is Ditching TypeScript to Rebuild Codex CLI with Rust
quiz.businessexplain.com·5h·
Discuss: Hacker News
🦀Rust Macros
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·2h·
Discuss: Hacker News
📊Graph Databases
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
higher: Your favourite Haskell type classes for Rust (2023)
github.com·4d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·22h·
Discuss: DEV
🌊Stream Processing
The Sliding Window in Haskell & Rust
mmhaskell.com·2d
λLambda Encodings
C compiler for Web Assembly (c4wa)
github.com·1d·
Discuss: Hacker News
🌐WASI
End of the line for coding LLMs will do a better job. How do I pay my mortgage?
daniel-payne-keldan-systems.medium.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Go 1.25's JSON evolution
golangweekly.com·23h
🔌Interface Evolution
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🔗Functional Compilers