DataWave: General purpose framework for both structured and unstructured data
code.nsa.gov·6h·
Discuss: Hacker News
🔍Lens Libraries
Why do CPUs have multiple cache levels?
fgiesen.wordpress.com·3h·
Discuss: Hacker News
⚡Cache Optimization
VLLM Predicted Outputs
cascadetech.ai·1d·
Discuss: Hacker News
🎭Program Synthesis
Vibing a Non-Trivial Ghostty Feature
simonwillison.net·5h
🌈Gradual Languages
Unforgettable factory revisited
holyblackcat.github.io·1d·
Discuss: r/cpp
🪆Embedded DSLs
North Korea’s Contagious Interview Campaign Escalates: 338 Malicious npm Packages, 50,000 Downloads
socket.dev·1d·
Discuss: Hacker News
🚂Cranelift IR
Three ways formally verified code can go wrong in practice
buttondown.com·1d
📜Proof Languages
A little update on my algorithm visualization project. Would love your feedback!
reddit.com·6h·
Discuss: r/webdev
🔗Graph Rewriting
Sorting encrypted data without decryption: a practical trick
github.com·1d·
Discuss: DEV
🔗Hash Functions
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·1d
🪜Recursive Descent
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·2d
🎭Program Synthesis
Subscribe to my Inkhaven feed!
lesswrong.com·1h
🏠indieweb
English - the hottest programming language of the future
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
🗺️Region Inference
Show HN: Using Haskell to write an NES emulator
github.com·1h·
Discuss: Hacker News
⚡functional programming
The Most Common Bad Argument In These Parts
lesswrong.com·5h
⚖️Inference Rules
Gadget chains in Java: how unsafe deserialization leads to RCE?
dev.to·1d·
Discuss: DEV
📦Serialization
HOW EMBEDDINGS POWER DAILY SYSTEMS
medium.com·7h·
Discuss: DEV
🪢Rope Data Structures
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org·1d
⚡Tokenizer Benchmarks
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·1d·
Discuss: Hacker News
📝Text Editors