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·23h·
Discuss: Substack, r/programming
🧭SMT Solvers
Show HN: I Made a plugin-based workspace app to avoids bloat
hollow-space.vercel.app·15m·
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·3h
🧭SMT Solvers
Schemix — A PyQt6 Desktop App for Engineering Students
github.com·3h·
Discuss: r/opensource
🧩Theorem Proving
The Surgical Update: From JSON Blueprints to Flawless UI
github.com·9h·
Discuss: r/javascript
🏗️Software Architecture
Lobsters Interview with Icefox
lobste.rs·3d·
Discuss: Lobsters
🧮Programming Language Theory
Reproducible Go Toolchains: What You Need to Know
hackernoon.com·1d
👐Open Source Software
Seeking sage advice for starting a new project from ground zero
reddit.com·1h·
Discuss: r/SoftwareEngineering
🧩Theorem Proving
I Built a Cyberpunk Story About Meta's AI Future Using AI as My Pair Programmer
dev.to·6h·
Discuss: DEV
🤖Sci-Fi
Before satrt
dev.to·5d·
Discuss: DEV
🤝Protocol Design
Smartplay: Building with Bolt - WLH Challenge
dev.to·3h·
Discuss: DEV
🧩Theorem Proving
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·13h
🧭SMT Solvers
Lobsters Interview with Icefox
lobste.rs·3d·
Discuss: Lobsters
🧮Programming Language Theory
Building an Input with Dropdown in Shadcn/ui
dev.to·6h·
Discuss: DEV
🏗️Software Architecture
Orchestrating Agentic Coding
brethorsting.com·12h·
Discuss: Hacker News
🏗️Software Architecture