On This Dayin Math - November 2
pballew.blogspot.com·16h·
⚙️Proof Engineering
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·6h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Nonmonotonic Logic
cambridge.org·6d·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
Ask HN: is this a common LLM-assisted development workflow?
news.ycombinator.com·18h·
Discuss: Hacker News
🦋Format Metamorphosis
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
dev.to·11h·
Discuss: DEV
🔐Homomorphic Encryption
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
🏗️Compiler Archaeology
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.to·2h·
Discuss: DEV
🌀Brotli Internals
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·9h·
Discuss: Substack
🚀SIMD Text Processing
Flag this post
Building a Self-Improving RAG System with Smart Query Routing and Answer Validation
dev.to·2d·
Discuss: DEV
🔍Information Retrieval
Flag this post
Automated Peptide-Mimetic Design via Constraint-Based Generative Networks
dev.to·1d·
Discuss: DEV
🔍Vector Forensics
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
💻Programming languages
Flag this post
Plan for Learning, Not Certainty
timcheadle.com·2d·
Discuss: Hacker News
💾Persistence Strategies
Flag this post
Building an Intelligent RAG System with Query Routing, Validation and Self-Correction
dev.to·2d·
Discuss: DEV
🔍Information Retrieval
Flag this post
Automated Anomaly Detection & Root Cause Analysis in Complex System Simulations via Adaptive Bayesian Networks
dev.to·1d·
Discuss: DEV
Incremental Computation
Flag this post
Clario streamlines clinical trial software configurations using Amazon Bedrock
aws.amazon.com·2d
🔄Archival Workflows
Flag this post
The Machine Learning Projects Employers Want to See
towardsdatascience.com·2d
🎵Audio ML
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·20h·
Proof Automation
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Part 2: Building MCP Servers to Control a Home Coffee Roaster - An Agentic Development Journey with Warp Agent
dev.to·6h·
Discuss: DEV
🏠HomeLab
Flag this post
From Classical Models to AI: Forecasting Humidity for Energy and Water Efficiency in Data Centers
towardsdatascience.com·7h
📈Time Series
Flag this post