Geany 2.1 is out (now with LSP)
geany.org·4d·
Discuss: Hacker News
🐫Embedded OCaml
16colo.rs: ANSI/ASCII art archive
16colo.rs·2d·
Discuss: Hacker News
❄️Nix
The General Theory of Enshittification
paulkrugman.substack.com·1d·
Discuss: Substack
🔬Unikernels
Microsoft Tech Support Could Have Exposed DOJ, Treasury Data to Adversaries
propublica.org·15h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: Bearify – Write workflows in plain English instead of using flowcharts
bearify.ai·3d·
Discuss: Hacker News
✓Automated Theorem Proving
PySimpleGUI Shutdown
pysimplegui.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Repeated Failures Report at AnyMaint: A Technical Deep Dive
medium.com·2d·
Discuss: r/programming
👁️System Observability
Deeper Theories of Program Design
typesanitizer.com·5d·
Discuss: Lobsters, Hacker News, r/programming
⚙️Operating System Design
Optimizing to Remove Political Bias from AI Models Removes Other Types of Bias
askrally.com·2d·
Discuss: Hacker News
🏹Effect Systems
Ununderstanding – Intellectual Work in the Age of AI
considerthebulldog.com·3d·
Discuss: Hacker News
🎮Verification Games
UK-based: Setting up CME lab with ISR4331 + 8865 phones
reddit.com·2d·
Discuss: r/homelab
📡Network Protocol Design
How Elicitation in MCP Brings Human-in-the-Loop to AI Tools
thenewstack.io·1d
✓Automated Theorem Proving
Closing the complexity gap of the double distance problem
arxiv.org·3d
🔠Type-Level Programming
I co-authored books with GPT. It became more than a mirror
news.ycombinator.com·2d·
Discuss: Hacker News
🐫OCaml
Dual Turing Test: A Framework for Detecting and Mitigating Undetectable AI
arxiv.org·3d
🎮Verification Games
Understanding Prompt Programming Tasks and Questions
arxiv.org·2d
🤖Program Synthesis
Advice on power optimization for Unraid server
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
DCFFSNet: Deep Connectivity Feature Fusion Separation Network for Medical Image Segmentation
arxiv.org·1d
💻CS
ChatGPT Agent now available on the Mac app
9to5mac.com·1d
🍎Apple
HIVMedQA: Benchmarking large language models for HIV medical decision support
arxiv.org·1d
🐫OCaml