Bidirectional Programming, Data Synchronization, View Updates, Functional Programming

Opportunistically Parallel Lambda Calculus
dl.acm.orgยท23hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Dynamic Adaptive Traffic Signal Control via Hybrid Reinforcement Learning and Bayesian Optimization
dev.toยท10hยท
Discuss: DEV
๐Ÿง Machine Learning
Flag this post
Swift 6.2: Observations
mjtsai.comยท3h
๐ŸŒŠStream Processing
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.comยท5hยท
Discuss: Hacker News
๐Ÿ‘๏ธObservatory Systems
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท17h
๐ŸงฎAlgebraic Archives
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท54mยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.meยท1dยท
Discuss: Hacker News
โšกSIMD Vectorization
Flag this post
Stochastic computing
scottlocklin.wordpress.comยท4h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท21h
๐Ÿ”“Decompilation
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.comยท19hยท
๐Ÿฆ€Rust Macros
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Ÿ”—Combinatory Logic
Flag this post
Your AI Models Arenโ€™t Slow, but Your Data Pipeline Might Be
thenewstack.ioยท3h
๐ŸŒŠStreaming Systems
Flag this post
Minimal Sufficiency: A Principle โ€˜Similarโ€™ to End-to-End
cacm.acm.orgยท2hยท
Discuss: Hacker News
๐Ÿ”—Network Calculi
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.toยท7hยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.comยท16hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Flag this post
Beyond Request-Response: Architecting Real-time Bidirectional Streaming Multi-agent System
developers.googleblog.comยท1d
๐ŸŒŠStreaming Systems
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Vibe coding needs a spec, too
stackoverflow.blogยท13h
๐Ÿ”ŒInterface Evolution
Flag this post