Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
The Noise and the Signal
russmiles.substack.com·1d·
Discuss: Substack
👂Psychoacoustics
Flag this post
Switching from GPG to Age
luke.hsiao.dev·35m·
Discuss: Hacker News
🔐Archive Encryption
Flag this post
Thanksgiving for all: Gluten-free pull-apart dinner rolls that retain their chewy texture
mercurynews.com·2h
📰RSS Feed Discovery
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·1d·
Discuss: Hacker News
⚙️Batch Processing
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·16h·
🔩Systems Programming
Flag this post
NumPy for Absolute Beginners: A Project-Based Approach to Data Analysis
towardsdatascience.com·20h
🌊Digital Signal Processing
Flag this post
LLMs are lousy at reading Asian languages, finds Singapore’s Grab
theregister.com·1d·
Discuss: Hacker News
🇨🇳Chinese Computing
Flag this post
Why agents do not write most of our code – a reality check
octomind.dev·1d·
Discuss: Hacker News
Proof Automation
Flag this post
Continuous cell-type diversification in mouse visual cortex development
nature.com·8m
🕸️Algebraic Topology
Flag this post
Spatial dynamics of brain development and neuroinflammation
nature.com·8m
🌀Differential Geometry
Flag this post
VLM6D: VLM based 6Dof Pose Estimation based on RGB-D Images
arxiv.org·1d
📐Projective Geometry
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·2d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
LRT Capital Management October 2025 Investor Update
seekingalpha.com·13h
🖥️Terminal Renaissance
Flag this post
A brief guide for those who slept (on AI) the last two years
dev.to·1h·
Discuss: DEV
Proof Automation
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·1d
🔄Language Evolution
Flag this post
Matrix Sensing with Kernel Optimal Loss: Robustness and Optimization Landscape
arxiv.org·12h
🧠Machine Learning
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.org·1d
Effect Handlers
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
Incremental Computation
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·1d
🔮Proof Search
Flag this post