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·5h·
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
Incredible how many vibe coding tool startups are launching left and right.
bsky.app·1d·
Discuss: Bluesky
👐Open Source Software
I replaced my complex note-taking workflow with a single NotebookLM instance, and it's been a game changer
xda-developers.com·7h
🧭SMT Solvers
SynAdapt: Learning Adaptive Reasoning in Large Language Models via Synthetic Continuous Chain-of-Thought
arxiv.org·18h
🧭SMT Solvers
Smartplay: Building with Bolt - WLH Challenge
dev.to·8h·
Discuss: DEV
🧩Theorem Proving
Lobsters Interview with Icefox
lobste.rs·3d·
Discuss: Lobsters
🧮Programming Language Theory
Building an Input with Dropdown in Shadcn/ui
dev.to·11h·
Discuss: DEV
🏗️Software Architecture
Modern, lightweight RN modal library with reanimated (3/4) and gesture support
github.com·8h·
Discuss: Hacker News
🤝Protocol Design
DACTYL: Diverse Adversarial Corpus of Texts Yielded from Large Language Models
arxiv.org·18h
🔗Parser Combinators
Your AI Agent Needs Minimal Relevant Context at the Right Time
chkk.io·1d·
Discuss: Hacker News
🎲Probabilistic Programming
Is EXL3 doomed?
github.com·1d·
Discuss: r/LocalLLaMA
🧭SMT Solvers
Macros, Matter, & Malleability
clojurecivitas.github.io·3d
📝Lisp
SpA2V: Harnessing Spatial Auditory Cues for Audio-driven Spatially-aware Video Generation
arxiv.org·18h
🎲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·22h·
Discuss: Hacker News
👐Open Source Software