Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Building, integrating and scaling AI-powered workflows
nunodonato.com·20h·
Discuss: Hacker News
Incremental Computation
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
🦀Rust Macros
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
📊Static Analysis
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.me·1d·
Discuss: Hacker News
SIMD Vectorization
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·1d
💻Programming languages
Flag this post
Squeezing Every Last Flop: The INT vs. FP Showdown for AI Dominance
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Flag this post
Automated High-Throughput Mutational Burden Assessment & Stratification via Spectral Graph Convolutional Networks
dev.to·6h·
Discuss: DEV
🕸️Graph Embeddings
Flag this post
RAVR: Reference-Answer-guided Variational Reasoning for Large Language Models
arxiv.org·2d
💻Local LLMs
Flag this post
Custom Intelligence: Building AI that matches your business DNA
aws.amazon.com·14h
📊Feed Optimization
Flag this post
How I Built an MCP-Powered AI Git Commit Generator (And Why My Repository Loves Me Now) 🚀🤖
dev.to·3h·
Discuss: DEV
🌿git
Flag this post
Latent Refinement Decoding: Enhancing Diffusion-Based Language Models byRefining Belief States
dev.to·1d·
Discuss: DEV
🚀SIMD Text Processing
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·10h·
Discuss: DEV
⚙️TLA+
Flag this post
Turning 500 Lines of If-Else Into a Config Switch: Strategy Pattern in Go
dev.to·12h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
A Senior Developer’s Guide to Vibe Coding and Deep AI Integration in Cursor
dev.to·1d·
Discuss: DEV
Proof Automation
Flag this post
Linear Operator Approximate Message Passing (OpAMP)
arxiv.org·2d
🧠Machine Learning
Flag this post
Think Outside the Policy: In-Context Steered Policy Optimization
arxiv.org·1d
🎯Performance Proofs
Flag this post
Graph-Enhanced Policy Optimization in LLM Agent Training
arxiv.org·1d
🔲Cellular Automata
Flag this post
One Memory Layer, Multiple Models (Claude, GPT, Llama, etc.)
github.com·1d·
Discuss: Hacker News
💾Persistent Memory
Flag this post
MLPrE -- A tool for preprocessing and exploratory data analysis prior to machine learning model construction
arxiv.org·2d
🎵Audio ML
Flag this post
S.a.r.c.a.s.m: Slightly Annoying Rubik's Cube Automatic Solving Machine
github.com·7h·
Discuss: Hacker News
🎮Gameboy Emulation
Flag this post