Fast and Simple Rust Interner
matklad.github.io·1d
🦀Rust Verification
Show HN: Souko.ai – Web scraping, search and extraction APIs for AI workflows
souko.ai·23h·
Discuss: Hacker News
📥Feed Aggregation
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·2d
📜Proof Carrying Code
[R] A Minimum Description Length Approach to Regularization in Neural Networks
reddit.com·22h·
Discuss: r/MachineLearning
🧮Kolmogorov Complexity
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·23h·
Discuss: Hacker News
⚡Proof Automation
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·2d·
Discuss: DEV
📐Vector Dimensionality
Machine Learning Fundamentals: dimensionality reduction with python
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·4d·
Discuss: Hacker News
🔍Type Inference
Hands-On Machine Learning with Scikit-Learn and PyTorch
oreilly.com·1d·
Discuss: Hacker News
🧠Machine Learning
My Ultimate Self-hosting Setup
codecaptured.com·1d·
Discuss: Hacker News, r/selfhosted
🏠Homelab Federation
The Big LLM Architecture Comparison
magazine.sebastianraschka.com·4h·
Discuss: Hacker News
💻Local LLMs
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·2d·
Discuss: Hacker News
🔗Concatenative Programming
Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping
arxiv.org·1d
🎯Performance Proofs
OWASP's cure for a sick AI supply chain
scworld.com·1d·
Discuss: Hacker News
🔒WASM Capabilities
I avoid using LLMs as a publisher and writer
lifehacky.net·6h·
Discuss: Hacker News
🧠Intelligence Compression
Building a Dumber Team
dandreamsofcoding.com·1h·
Discuss: Hacker News
⚡Proof Automation
Grafana and LLMs
opeonikute.dev·1d·
Discuss: Hacker News
🧠Query Planners
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org·1d
🛡️Proof-Carrying Archives
Engineering Behind Fast Analytics: Data in Motion
outofdesk.netlify.app·1d·
Discuss: Hacker News
💎Information Crystallography
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·4d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs