Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·4d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
⚡Modern Compression
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·6h·
Discuss: Hacker News
⬌Bidirectional Typing
Evaluating the Sensitivity of LLMs to Harmful Contents in Long Input
arxiv.org·3d
📝ABNF Extensions
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·7h·
Discuss: Hacker News
🎯Performance Proofs
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to·1d·
Discuss: DEV
⚡Cache Theory
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·3d
🧮Compute Optimization
Experimenting with ACL2 and Claude Code
mikedodds.org·17h·
Discuss: Hacker News
👑Isabelle
Contrastive Weak-to-strong Generalization
arxiv.org·1d
⧗Information Bottleneck
Refactoring: A way to write better Code
dev.to·3h·
Discuss: DEV
⚙️Operational Semantics
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·10h·
Discuss: Hacker News
🔗Concatenative Programming
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🌳Context free grammars
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🔗Constraint Handling
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org·1d
📊HyperLogLog
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·15h·
Discuss: DEV
📊Multi-vector RAG
A new breed of analyzers
daniel.haxx.se·17h·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
North Korea’s Contagious Interview Campaign Escalates: 338 Malicious npm Packages, 50,000 Downloads
socket.dev·12h·
Discuss: Hacker News
🚀Indie Hacking
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
The Porcelain to Come
stackdiver.com·6h·
Discuss: Hacker News
🔲Cellular Automata
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·1d·
Discuss: Hacker News
💻Local LLMs
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming