Moan-routine: LO's Predicate Signatures
lmika.org·17h
🔗Functional Compilers
Croissant! Building a No-Framework Web App
dbushell.com·16h·
Discuss: Hacker News
📡RSS Automation
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·1d·
Discuss: Hacker News
⚡gRPC
The Engineering Behind Fast Analytics: Columnar Storage Explained
outofdesk.netlify.app·3d·
Discuss: Hacker News
🗃️Database Storage
The Covert Hardware Implant: Part 1
rift.stacktitan.com·6h·
Discuss: Hacker News
🔌Single Board PC
Data transfer speeds increase significantly through new optical chip design
phys.org·11h
🔬Optical Physics
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Building a Сustom MCP Chatbot
towardsdatascience.com·1d
⚡gRPC
TT-TFHE: a Torus Fully Homomorphic Encryption-Friendly Neural Network Architecture
arxiv.org·2d
🔐Homomorphic Encryption
I Built an AI Email Tool That Checks for Spam (Because Most AI Emails Are Terrible)
dev.to·11h·
Discuss: DEV
⚡Proof Automation
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·1d·
Discuss: Hacker News
⚙️TLA+
PrefixAgent: An LLM-Powered Design Framework for Efficient Prefix Adder Optimization
arxiv.org·2d
🔨Compilers
Next-Gen Q&A: Retrieval-Augmented AI with Chroma Vector Store
dev.to·21h·
Discuss: DEV
📊Multi-vector RAG
Spectral Estimators for Structured Generalized Linear Models via Approximate Message Passing
arxiv.org·20h
📐Linear Algebra
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·4d·
Discuss: Hacker News
λLambda Formalization
Long-running execution flows now supported in Amazon Bedrock Flows in public preview
aws.amazon.com·8h
⚙️Batch Processing
On Jailbreaking Quantized Language Models Through Fault Injection Attacks
arxiv.org·3d
🔧Binary Parsers
Query OpenStreetMap Using SQL
github.com·3d·
Discuss: Hacker News
🧩SQLite Extensions
Foundation Model Self-Play: Open-Ended Strategy Innovation via Foundation Models
arxiv.org·1d
🔲Cellular Automata
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals