What I learned from four women who reshaped the way we think with machines
xda-developers.com·2d
🏗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·2h·
Discuss: Hacker News
👐Open Source Software
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·3d·
Discuss: Hacker News
🧮Programming Language Theory
Symbol-Level Editing
sysprogs.com·2d·
Discuss: Hacker News
🎲Probabilistic Programming
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·5h
🧭SMT Solvers
Schemix — A PyQt6 Desktop App for Engineering Students
github.com·5h·
Discuss: r/opensource
🧩Theorem Proving
Seeking sage advice for starting a new project from ground zero
reddit.com·3h·
Discuss: r/SoftwareEngineering
🧩Theorem Proving
I Built a Cyberpunk Story About Meta's AI Future Using AI as My Pair Programmer
dev.to·8h·
Discuss: DEV
🤖Sci-Fi
Before satrt
dev.to·5d·
Discuss: DEV
🤝Protocol Design
Dart Lesson 6: Advanced Functions - Higher-Order Functions and Closures
dev.to·1d·
Discuss: DEV
📝Lisp
SynAdapt: Learning Adaptive Reasoning in Large Language Models via Synthetic Continuous Chain-of-Thought
arxiv.org·15h
🧭SMT Solvers
Lobsters Interview with Icefox
lobste.rs·3d·
Discuss: Lobsters
🧮Programming Language Theory
Smartplay: Building with Bolt - WLH Challenge
dev.to·5h·
Discuss: DEV
🧩Theorem Proving
Orchestrating Agentic Coding
brethorsting.com·14h·
Discuss: Hacker News
🏗️Software Architecture
Building an Input with Dropdown in Shadcn/ui
dev.to·8h·
Discuss: DEV
🏗️Software Architecture
Modern, lightweight RN modal library with reanimated (3/4) and gesture support
github.com·5h·
Discuss: Hacker News
🤝Protocol Design
DACTYL: Diverse Adversarial Corpus of Texts Yielded from Large Language Models
arxiv.org·15h
🔗Parser Combinators
Your AI Agent Needs Minimal Relevant Context at the Right Time
chkk.io·1d·
Discuss: Hacker News
🎲Probabilistic Programming