Generate but verify: Reconciling the evidence utility of chatbots in many settings with chatbots’ evident lack of understanding
statmodeling.stat.columbia.edu·17h
⚡Proof Automation
MileSan: Detecting μ-Architectural Leakage via Differential HW/SW Taint Tracking
comsec.ethz.ch·11h·
Discuss: Hacker News
🛡️RISC-V Security
The Recursive Loop: How Code Shapes Minds – Kenneth Reitz
kennethreitz.org·14h·
Discuss: Hacker News
🌍Cultural Algorithms
Object Creation: The Issues I Faced and the Patterns That Helped Me
hackernoon.com·1d
🔓Reverse engineering
Implementing the Caesar Cipher in Python
towardsdatascience.com·3d
🔐Cryptographic Archaeology
LLMs encode theory-of-mind: a study on sparse parameter patterns
nature.com·1d·
Discuss: Hacker News
📏Linear Logic
NVIDIA Dynamo LLM Inference Framework
multimodalai.substack.com·17h·
Discuss: Substack
🌊Streaming Systems
Most Candidates Fail These SQL Concepts in Data Interviews
kdnuggets.com·17h
🧠Query Planners
SQLite can handle most of it
binaryigor.com·14h·
Discuss: Hacker News
🗄️SQLite Internals
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·2d·
Discuss: Hacker News, Hacker News, shkspr.mobi, r/programming
📏Code Metrics
Real-Time Gas Mixture Discrimination Using Bayesian Compressed Sensing & Hyperdimensional Encoding
dev.to·20h·
Discuss: DEV
🌀Differential Geometry
🚀 Day 8 of My Python Learning Journey – Sets & Data Structures in Python
dev.to·22h·
Discuss: DEV
🗂Data structures
Decoding the Poetic Language of Emotion in Korean Modern Poetry: Insights from a Human-Labeled Dataset and AI Modeling
arxiv.org·1d
🏛Digital humanities
Fil's Unbelievable Garbage Collector
fil-c.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Separation Logic
Showcasing Your Work on HuggingFace Spaces
towardsdatascience.com·14h
🦋Format Metamorphosis
Optimize Your Go Code: Mastering `string` and `[]byte` Conversions
dev.to·3d·
Discuss: DEV
⚡gRPC
Cyclic Implicit Complexity
arxiv.org·5d
🎯Performance Proofs
Successive Cancellation Decoding For General Monotone Chain Polar Codes
arxiv.org·2d
⚽Sphere Packing
EverTracer: Hunting Stolen Large Language Models via Stealthy and Robust Probabilistic Fingerprint
arxiv.org·2d
💻Local LLMs
LLM as Pair?
ronjeffries.com·11h·
Discuss: Hacker News
✨Effect Handlers