More sizzle than steak? Using an LLM to produce verified bug fixes (new preprint)
bertrandmeyer.com·1d
⚡Proof Automation
Inverted Indexes: A Step-by-Step Implementation Guide
chashnikov.dev·2d·
Discuss: Hacker News
🔍BitFunnel
Hydrolix Handles Late-Arriving Data
hydrolix.io·2d·
Discuss: Hacker News
🌊Streaming Systems
Designing The Conveyor CI Pipeline Engine
blog.devops.dev·3d
🌊Stream Processing
ΜFork: A pure actor-based concurrent machine architecture with memory-safety an
ufork.org·3d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Coverage 7.10.0: patch
nedbatchelder.com·1d
👁️System Observability
How to Make Docker Builds Faster with Layer Caching
hackernoon.com·1d
🐚Shell Optimization
Commentary: AI Reasoning on IMO(International Math Olympiad)
jonaskgomo.com·4d·
Discuss: Hacker News
🎯Performance Proofs
Reacting to Andrej Karpathy's Talk, "Software Is Changing (Again)"
erdiizgi.com·1d·
Discuss: Hacker News
🔄Language Evolution
Transform Your Cinema’S Energy Efficiency With Paa20+ & Ecobooth Integration
madcornishprojectionist.co.uk·1d
🎬Cinema Technology
Show HN: O3 beats Sonnet 4 at coding (in our codebase, wrt our preferences)
news.ycombinator.com·13h·
Discuss: Hacker News
📏Code Metrics
I created a solution for AWS called Anomaly Guardian
dev.to·10h·
Discuss: DEV
👁️Observatory Systems
Recursive Equations For Imputation Of Missing Not At Random Data With Sparse Pattern Support
arxiv.org·3d
🌸Bloom Variants
PICACO: Pluralistic In-Context Value Alignment of LLMs via Total Correlation Optimization
arxiv.org·3d
🛠Language Design
A 27M-param model that solves hard Sudoku/mazes where LLMs fail, without CoT
github.com·3d·
Discuss: Hacker News
🎯Emulator Accuracy
Optimize for Impact: How to Stay Ahead of Gen AI and Thrive as a Data Scientist
towardsdatascience.com·1d
🧪Data science
Author Correction: Human HDAC6 senses valine abundancy to regulate DNA damage
nature.com·17h
🧬Copy Number Variants
Content-based 3D Image Retrieval and a ColBERT-inspired Re-ranking for Tumor Flagging and Staging
arxiv.org·2d
🧮Vector Embeddings
Bob's Confetti: Phonetic Memorization Attacks in Music and Video Generation
arxiv.org·1d
🗣️CMU Pronouncing
Machine Learning Fundamentals: federated learning
dev.to·4d·
Discuss: DEV
👁️Observatory Systems