Effective Shell (No Starch Press)
i-programmer.info·20h
🦀Rust
SCS Tool Catches AI Bias Early
cs.cmu.edu·1d
🎲Probabilistic Programming
The Unforgotten: Two QBs and the game that tied them together forever
espn.com·20h
🔢Mathematical Logic
It's Just a Function
blog.jfo.click·4d
⚙Functional Programming
Why AI gets stuck in infinite loops — but conscious minds don’t
bigthink.com·20h
🤖Sci-Fi
Multi-Protocol Traceroute
seclists.org·2d
🤝Protocol Design
The future of ChatGPT and AI in academia and education
vincentl3.substack.com·1d·
Discuss: r/longform
🧭SMT Solvers
Article: Build vs Buy in the Age of AI
svpg.com·2d·
Discuss: Hacker News
👐Open Source Software
Goodbye, GitHub
strongly-typed-thoughts.net·1d
👐Open Source Software
Added Rename Dialog and find reference function to Godot IDE plugin
reddit.com·22h·
Discuss: r/godot
🔧Compiler Design
Is it normal for the theoretical parts to be a bit boring?
reddit.com·14h·
Discuss: r/embedded
🔧Compiler Design
Type-safe query keys in React Query
reddit.com·1d·
Discuss: r/reactjs
🦀Rust
⭐ ggml-org whisper.cpp
waylonwalker.com·4d
👐Open Source Software
🔥 From Arduino to Mars: Why You Should Be Using TinyGo for Embedded Web Development
dev.to·1d·
Discuss: DEV
📦WebAssembly
[D] PhD vs startup/industry for doing impactful AI research — what would you pick?
reddit.com·4h·
Discuss: r/MachineLearning
🤖Sci-Fi
Top 5 Tools to Monitor AI Applications in 2025: A Technical Deep Dive
dev.to·22h·
Discuss: DEV
🤖Sci-Fi
Looking for honest feedback on my projects & skills
reddit.com·23h·
Discuss: r/reactjs
🔌Network Programming
Quantization Meets Spikes: Lossless Conversion in the First Timestep via Polarity Multi-Spike Mapping
arxiv.org·6h
🏗Computer Architecture
6 ChatGPT Prompts Every Software Developer Should Know
dev.to·2d·
Discuss: DEV
🧩Theorem Proving
Untangling the Web: Practical Middleware Patterns in Go
dev.to·1d·
Discuss: DEV
📐Type Theory