[$] Libxml2's "no security embargoes" policy
lwn.netยท18h
๐Ÿ”“Free and open source
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท2d
๐ŸŒณArchive Merkle Trees
Lab note #072 A language with affordances for vibe coding
interjectedfuture.comยท2d
๐Ÿ”—Concatenative Programming
Discover C++26โ€™s compile-time reflection
lemire.meยท4dยท
Discuss: Lobsters, Hacker News, Hacker News, r/cpp, r/programming
๐Ÿฆ€Rust Macros
What LLMs Know About Their Users
schneier.comยท23hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
CODS : A Theoretical Model for Computational Design Based on Design Space
arxiv.orgยท2d
๐Ÿ› Language Design
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.orgยท2d
๐Ÿ”—Monadic Parsing
Schema In, Data Out: A Smarter Way to Mock
hackernoon.comยท2d
๐Ÿ›Fuzzing
Implementing Ray Tracing In One Weekend in F#
heftymouse.meยท3dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Memory Safety in Web Rust System Zero Cost Secure๏ผˆ1750762127113200๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
How to Prompt an LLM to Write Angular Code: Straight from the Experts
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Scaffolding Dexterous Manipulation with Vision-Language Models
arxiv.orgยท1d
๐Ÿค–Advanced OCR
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.comยท1d
๐Ÿค–Grammar Induction
Design Patterns After the Singularity: Rethinking the Gang of Four for an AI-Driven Stack
dev.toยท1dยท
Discuss: DEV
โš™๏ธTLA+
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.orgยท6h
๐ŸงฎTheorem Proving
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.orgยท1d
๐Ÿง Intelligence Compression
Video Perception Models for 3D Scene Synthesis
arxiv.orgยท6h
๐Ÿ“Projective Geometry
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.orgยท6h
๐Ÿ“ƒManuscript Tokenization
On Union-Closedness of Language Generation
arxiv.orgยท2d
๐Ÿ”—Monadic Parsing
AI is Hallucinating Package Names - And Hackers Are Ready
dev.toยท9hยท
Discuss: DEV
๐Ÿš€Indie Hacking