On This Day in Math - August 6
pballew.blogspot.com·16h·
Discuss: www.blogger.com
🔢Mathematical Logic
Who Am I in the Eye of AI?
lightcapai.medium.com·2d·
Discuss: Hacker News
🧮Programming Language Theory
Doing versus Delegating
basta.substack.com·2h·
Discuss: Substack
🔧Compiler Design
Prompt injection engineering for attackers: Exploiting GitHub Copilot
blog.trailofbits.com·17h
👐Open Source Software
When Claude Code Did a Volkswagen on Me
blog.alexsanjoseph.com·1d·
Discuss: Hacker News
🔍Static Analysis
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Empowering cybersecurity product managers with LangChain
datasciencecentral.com·1d
👐Open Source Software
Praise for the C++ Primer
reddit.com·14h·
Discuss: r/cpp
🔧Compiler Design
Lessons from 3 months vibe coding as a non-technical PM
productleadership.io·1d·
Discuss: Hacker News
📦WebAssembly
Radar Trends to Watch: August 2025
oreilly.com·1d
🧭SMT Solvers
Software Development with AI – Perspective from an experienced software engineer
nootn.com.au·9h·
Discuss: Hacker News
🤖Sci-Fi
What is Claude Code? The AI coding tool anyone can use
zapier.com·1d
🦀Rust
Adopting Claude Code: Riding the Software Economics Singularity
preset.io·1d·
Discuss: Hacker News
🔍Static Analysis
Cognitive Loop via In-Situ Optimization: Self-Adaptive Reasoning for Science
arxiv.org·17h
🎲Probabilistic Programming
Ask HN: Do you struggle with flow state when using AI assisted coding tools?
news.ycombinator.com·8h·
Discuss: Hacker News
🔧Compiler Design
I Built a Custom MCP Server in Golang To Make Claude Smarter—Here's How
hackernoon.com·2d
🦀Rust
Show HN: Empromptu.ai – No code, AI app builder with RAG, model, evals etc.
news.ycombinator.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Learning more efficiently
reddit.com·1d·
Discuss: r/AskProgramming
📝Lisp
TRACEALIGN -- Tracing the Drift: Attributing Alignment Failures to Training-Time Belief Sources in LLMs
arxiv.org·1d
🔧Compiler Design
DBAIOps: A Reasoning LLM-Enhanced Database Operation and Maintenance System using Knowledge Graphs
arxiv.org·1d
🗄️Database Theory