What I learned from four women who reshaped the way we think with machines
xda-developers.com·3d
🏗Computer Architecture
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🧭SMT Solvers
Show HN: I Made a plugin-based workspace app to avoids bloat
hollow-space.vercel.app·7h·
Discuss: Hacker News
👐Open Source Software
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·4d·
Discuss: Hacker News
🧮Programming Language Theory
How to Write Inductive Invariants
quint-lang.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
why you should learn ocaml
sarthak2143.bearblog.dev·5d
⚙Functional Programming
I replaced my complex note-taking workflow with a single NotebookLM instance, and it's been a game changer
xda-developers.com·9h
🧭SMT Solvers
Modern, lightweight RN modal library with reanimated (3/4) and gesture support
github.com·10h·
Discuss: Hacker News
🤝Protocol Design
Your AI Agent Needs Minimal Relevant Context at the Right Time
chkk.io·1d·
Discuss: Hacker News
🎲Probabilistic Programming
Parsec — Terminal-Based File Summarizer TUI in Go with Multi-language Support
reddit.com·4d·
Discuss: r/golang
🦀Rust
Mobile AI with ONNX Runtime: How to Build Real-Time Noise Suppression That Works
hackernoon.com·1d
🏗Computer Architecture
Show HN: Open-source macOS dictation replacement, 5Mb
github.com·1d·
Discuss: Hacker News
👐Open Source Software
Prompt OpenAI’s O3: Best Practices, Applications & Tips
dev.to·8h·
Discuss: DEV
🧩Theorem Proving
How I found myself in machine learning - My story 🤖
dev.to·4h·
Discuss: DEV
🧮Programming Language Theory
Analyze-Prompt-Reason: A Collaborative Agent-Based Framework for Multi-Image Vision-Language Reasoning
arxiv.org·20h
🔗Parser Combinators
Building a Multi-Modal GPT Agent in TypeScript with OpenAI
dev.to·23h·
Discuss: DEV
🎲Probabilistic Programming
I Built a Cyberpunk Story About Meta's AI Future Using AI as My Pair Programmer
dev.to·13h·
Discuss: DEV
🤖Sci-Fi
CPU Powerhouses: Unlocking Speed with ALUs, FPUs, and Parallelism
dev.to·23h·
Discuss: DEV
🏗Computer Architecture
Modern-Day Software Engineering: Orchestrating Intelligence with AI, ML, and LLMs
dev.to·1d·
Discuss: DEV
🏗️Software Architecture
Before satrt
dev.to·5d·
Discuss: DEV
🤝Protocol Design