Convex Optimization (or Mathematical Programming) in Go
reddit.com·5h·
Discuss: r/golang
🧮SMT Solvers
Flag this post
Runs-On: Mac
runs-on-mac.com·1d·
Discuss: Hacker News
💾Classic Mac OS
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🤖Program Synthesis
Flag this post
What's new in Swift: October 2025 Edition
swift.org·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
Discuss: Hacker News, r/rust
🏗️Dune
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
It isn't Easy to Remove the GIL (2007)
artima.com·5h·
Discuss: Hacker News
📝Nix Language
Flag this post
Writing an LLM from scratch, part 25 – instruction fine-tuning
gilesthomas.com·3d·
Discuss: Hacker News
📚Automata Learning
Flag this post
A Hybrid Reconstruction Framework for Efficient High-Order Shock-Capturing on Unstructured Meshes
arxiv.org·1d
🔲Cellular Automata
Flag this post
The Hidden Ledger of Code: Tracking the Carbon Debt Inside Our Software
hackernoon.com·7h
🔄Reproducible Builds
Flag this post
How fast can an LLM go?
fergusfinn.com·2d·
Discuss: Hacker News
👁️System Observability
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
honeycomb.io·1d·
Discuss: Hacker News, r/programming
🏃Escape Analysis
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Stacking Threads
netmeister.org·2d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Where to Buy or Rent GPUs for LLM Inference: The 2026 GPU Procurement Guide
bentoml.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·3d·
Discuss: Substack
λFunctional Programming
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
zFLoRA: Zero-Latency Fused Low-Rank Adapters
arxiv.org·1d
🧮Z3 Solver
Flag this post
Vectorizing for Fun and Performance
ibm.com·3d·
Discuss: Hacker News
🏹Effect Systems
Flag this post
Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.org·1d
📐Linear Algebra
Flag this post