Getting notified from the command line
devtips.stribny.name·17h
📝Shell Parsing
How AI stem separation alters the workflow of music producers
medium.com·10h·
Discuss: Hacker News
🎹MIDI Archaeology
Microsoft Reveals Two In-House AI Models
slashdot.org·8h
🎙️Whisper
Sets & Heaps in Haskell and Rust
mmhaskell.com·4d
🔒Type Safety
My service was played in Enowars 9: Here is how it went
stoffregen.io·1d·
Discuss: Hacker News
🧪Binary Fuzzing
I've always wanted to be an open-source maintainer- now I regret it
joaomagfreitas.link·11h·
Discuss: Hacker News
🚀Indie Hacking
No AI Silver Bullet
smartmic.bearblog.dev·14h·
Discuss: Hacker News
📏Code Metrics
GPUPrefixSums – state of the art GPU prefix sum algorithms
github.com·21h·
Discuss: Hacker News
⚡Cache Coherence
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·3d
🧠Machine Learning
How good is the coding ability of GPT-5?A deep, professional guide
dev.to·1d·
Discuss: DEV
💧Liquid Types
Capabilities of GPT-5 across critical domains: Is it the next breakthrough?
arxiv.org·1d
💻Programming languages
InSQuAD: In-Context Learning for Efficient Retrieval via Submodular Mutual Information to Enforce Quality and Diversity
arxiv.org·6h
🔍Information Retrieval
Leveraging Language Models and Machine Learning in Verbal Autopsy Analysis
arxiv.org·1d
🤖Grammar Induction
Coding or Conversation? LLMs Are Our New Stack
dev.to·23h·
Discuss: DEV
🔄Language Evolution
PromptSleuth: Detecting Prompt Injection via Semantic Intent Invariance
arxiv.org·6h
🔒Language-based security
Pushing Blocks without Fixed Blocks via Checkable Gizmos: Push-1 is PSPACE-Complete
arxiv.org·1d
🧮SMT Solvers
Study Buddy: AI-Powered Student Success Assistant
dev.to·19h·
Discuss: DEV
🌀Brotli Internals
Building Queryable Chatbots Using MCP Tools
dev.to·19h·
Discuss: DEV
🔗Constraint Handling
🧠OrKA-Reasoning: How Workflow Execution Really Works
dev.to·3h·
Discuss: DEV
🌊Stream Processing
aria - Event Driven websocket framework
dev.to·2d·
Discuss: DEV
🔌Interface Evolution