Daily+tips
dailytips247.com·4h·
Discuss: Hacker News
⚖️Logic Programming
Pyghidra-mcp: Run Ghidra headless for multi‑binary reverse engineering with LLMs
clearbluejar.github.io·2h·
Discuss: Hacker News
👐Open Source Software
Emacs is violent passion
mihaiolteanu.me·4h·
Discuss: Hacker News
👐Open Source Software
Progress Report of Atas! - Part 2/3
reddit.com·16h·
Discuss: r/TNORequiem
💾Retrocomputing
I just created 5 apps using GPT-5 and it's so easy it feels like it should be illegal — here's how to do it
tomsguide.com·6h
🎲Probabilistic Programming
Google Releases Open Source Data Extraction Python Library
i-programmer.info·1d
👐Open Source Software
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·5d·
Discuss: Lobsters, Hacker News
🔧Compiler Design
Constructor Theory of Time feels like Object-Oriented Programming
reddit.com·3d·
Discuss: r/compsci
📐Type Theory
More fun than a human should be allowed!
reddit.com·16h·
Discuss: r/linux
💾Retrocomputing
Beyond the Linux GUI: Part 2 —Taming the File System
dev.to·4h·
Discuss: DEV
💾Retrocomputing
Minimalissimo LAB
carlbarenbrug.com·6h
🔄Category Theory
ChatGPT in Embedded Space
reddit.com·14h·
Discuss: r/embedded
🤖Sci-Fi
Deep Learning Model for Amyloidogenicity Prediction using a Pre-trained Protein LLM
arxiv.org·1d
⚙Functional Programming
Quantum Relational Knowledge Distillation
arxiv.org·1d
🔐Cryptography
Hi guys need some help while stuck choosing type of programming jobs🙏
reddit.com·1d·
Discuss: r/AskProgramming
🔧Compiler Design
Gestaltung
carlbarenbrug.com·6h
🔧Compiler Design
I Used to Write for My CEO. Now I Build Systems That Write Like Him.
every.to·6h
🔌Network Programming
Steerable Prompts: Prompt Engineering for the GPT-5 Era
dev.to·4h·
Discuss: DEV
🎲Probabilistic Programming
The Promise of Large Language Models in Digital Health: Evidence from Sentiment Analysis in Online Health Communities
arxiv.org·11h
🔢Mathematical Logic
Rust in 2025: Why Developers Can’t Afford to Ignore It
dev.to·1d·
Discuss: DEV
🦀Rust