[$] Libxml2's "no security embargoes" policy
lwn.netยท2h
๐Ÿ”“Free and open source
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท1d
๐ŸŒณArchive Merkle Trees
Vibe Coding a Speed Reading App with Python in Just 15 Minutes
kdnuggets.comยท4h
๐Ÿ—œ๏ธLZSS Variants
BNFGen: A random text generator based on context-free grammars
baturin.orgยท34mยท
Discuss: Hacker News
๐ŸŒณContext free grammars
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.toยท5hยท
Discuss: DEV
๐Ÿค–Lisp Machines
What Is "Modern" Programming?
lemire.meยท6hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Building a Language Server
bullno1.comยท2dยท
Discuss: Hacker News, r/programming
๐Ÿ—ฃ๏ธDomain-Specific Languages
C compiler for Web Assembly (c4wa)
github.comยท1dยท
Discuss: Hacker News
๐ŸŒWASI
๐Ÿ“˜EP01 - Intro to Rust and Solana Dev Setup
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
The collective waste caused by poor documentation
shanrauf.comยท16hยท
Discuss: Hacker News
๐Ÿ“ฆDeflate
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
I Built My Own Programming Language and its Virtual Machine In Python!
dev.toยท21hยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Lessons from LangChain and Slack and MCP Integration
medium.comยท21hยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting
Reflection and open implementations (2006)
dcc.uchile.clยท4dยท
Discuss: Lobsters, Hacker News
๐ŸŒProtocol Synthesis
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.comยท2h
๐Ÿ’ปLocal LLMs
simplex-chat/simplexmq
github.comยท16h
๐Ÿ”ŒInterface Evolution
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.devยท1dยท
Discuss: Hacker News, r/javascript, r/webdev
๐Ÿฆ€Rust Macros
Introducing Qodo Gen CLI: Build and Run Agents Anywhere in the SDLC
qodo.aiยท6hยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Driving the Rust Compiler to Compile Single Files as Shellcode
kirchware.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.orgยท1d
๐Ÿ”FPGA Verification