Valuable News โ€“ 2025/11/03
vermaden.wordpress.comยท4h
๐Ÿ”ŒOperating system internals
Flag this post
Linkage
11011110.github.ioยท2d
๐Ÿ“Mathematical Art
Flag this post
Headless PHP โ€“ as far as I understand the landscape
blog.fortrabbit.comยท5hยท
Discuss: Hacker News
๐ŸŒWASI
Flag this post
Jetpack Compose Stability Analyzer: real-time IDE insights, runtime tracing and CI stability checks
github.comยท7hยท
๐ŸงฉWASM Components
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
What Is Occult Grammar?
blog.izs.meยท17mยท
Discuss: Hacker News
๐Ÿ“ผCassette Linguistics
Flag this post
Making an Easy-to-Install Application in Python
gokmengorgen.netยท18hยท
๐Ÿ“ฆPackage Managers
Flag this post
Modelling beliefs about sets
emiruz.comยท4dยท
Discuss: Hacker News
๐Ÿ”ฒProof Irrelevance
Flag this post
A functional programming course in 6 books
ericnormand.substack.comยท5dยท
Discuss: Substack
๐ŸงฌFunctional Programming
Flag this post
Rouille โ€“ Rust Programming, in French
dev.toยท3dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Flag this post
Using Salient Object Detection to Identify Manipulative Cookie Banners that Circumvent GDPR
arxiv.orgยท10h
๐ŸงญContent Discovery
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.orgยท3d
๐ŸŒณContext free grammars
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.comยท2dยท
Discuss: Hacker News
๐Ÿ‘‘Dependent Haskell
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.orgยท10h
๐Ÿ’ปLocal LLMs
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.toยท21hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Flag this post
Set up RAG with Genkit and Firebase in 15 minutes
dev.toยท58mยท
Discuss: DEV
๐Ÿ”ŒArchive APIs
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.orgยท10h
๐ŸงฎKolmogorov Complexity
Flag this post
Down with template (or not)!
cedardb.comยท3dยท
๐ŸŽฏGradual Typing
Flag this post
GHC Developer Blog: GHC 9.14.1-rc1 is now available
haskell.orgยท4d
๐Ÿ”—Functional Compilers
Flag this post
Building Software That Survives โ€ข Michael Nygard & Charles Humble โ€ข GOTO 2025
youtube.comยท2h
๐Ÿ”Capability Systems
Flag this post