What would Monads in JavaScript look like?
playfulprogramming.com·5d
🧬Functional Programming
We now have the math to describe 'matrix tides'
buffalo.edu·1d·
Discuss: Hacker News
🌀Differential Geometry
A Process to Trick ChatGPT into Agency
news.ycombinator.com·1d·
Discuss: Hacker News
🔲Cellular Automata
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·1d·
Discuss: Hacker News
⚡Proof Automation
The "Super Weight:" How Even a Single Parameter can Determine a Large Language Model's Behavior
machinelearning.apple.com·3d·
Discuss: Hacker News
💻Local LLMs
Facts, Arguments, Theses: Building AI Knowledge Retrieval on Meaning, Not Slices
nsavage.substack.com·17h·
Discuss: Substack
📄Text Chunking
Comparison of derivative-free and gradient-based minimization for multi-objective compositional design of shape memory alloys
arxiv.org·3d
🌐Computational Topology
Walter
strangeloopcanon.com·5h·
Discuss: Hacker News
📊Feed Optimization
Wormhole Dynamics in Deep Neural Networks
arxiv.org·2d
🔍Vector Forensics
V-JEPA 2: Scaling V-JEPA
gonzoml.substack.com·1d·
Discuss: Substack
📊Learned Metrics
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·1d·
Discuss: DEV
✨Effect Handlers
There Has Never Been a Better Time to Be a Junior Dev – It Won't Last Forever
aaronstannard.com·1d·
Discuss: Hacker News
📏Code Metrics
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·2d·
Discuss: Hacker News
🔍Concolic Testing
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·6d
🔗Parser Combinators
LLMs Won't Replace Programming Languages
mech-lang.org·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Being confidently wrong is the only thing holding AI back
promptql.io·1d·
Discuss: Hacker News
🧠Intelligence Compression
Unplug and Play Language Models: Decomposing Experts in Language Models at Inference Time
arxiv.org·2d
🧠Intelligence Compression
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·1d·
Discuss: Hacker News
🕸️Neo4j
Time-Optimal Directed q-Analysis
arxiv.org·2d
🎯Performance Proofs
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·2d
🧮SMT Solvers