Clearing Up Double Vision in Robots
hackster.io·8h
🤖Sci-Fi
HTML5 Semantic Elements: Enhancing Webpage Structure and Accessibility
djamware.com·12h·
Discuss: DEV
🧮Programming Language Theory
ZipLine Campaign: A Sophisticated Phishing Attack Targeting US Companies
research.checkpoint.com·10h
🤝Protocol Design
I reverse-engineered a bug in my PPO agent that gave it a 9x performance boost
theprincipledagent.com·8h·
Discuss: Hacker News
🎲Probabilistic Programming
I Turned My Portfolio Into a Newspaper 📰 (With Mini-Games!)
talha-riz-wan.vercel.app·8h·
Discuss: DEV
🔧Compiler Design
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
📝Lisp
Links 26/08/2025: "Ballooning Debt" in France and "Transnational Repression in the UK"
techrights.org·5h
💾Retrocomputing
Agents.md may trick us into writing better docs
blog.kilocode.ai·12h·
Discuss: Hacker News
🧩Theorem Proving
Broadcom Adds Argo and Ubuntu Support to VMware Cloud Foundation
devops.com·3h
🌍Distributed Systems
Authorization 101: What I Learned from Oso’s “What is Authorization?” Guide
dev.to·22h·
Discuss: DEV
🔌Network Programming
GenEC v1.0.0 - A Python data extraction and comparison tool
reddit.com·5h·
Discuss: r/commandline
🦀Rust
AI where you can talk to characters
dev.to·1d·
Discuss: DEV
🤖Sci-Fi
Not So Prompt: Prompt Optimization as Model Selection
gojiberries.io·2d·
Discuss: Hacker News
🎲Probabilistic Programming
Built a simple Chrome extension for YouTube to make recommendations scrollable and sticky
github.com·12h·
Discuss: r/webdev
👐Open Source Software
Portable Virtualized Router/Firewall Platform – Secure Networking Anywhere
reddit.com·8h·
Discuss: r/homelab
🌍Distributed Systems
Built an AI Agent Orchestration Platform - Handles 70% of Our Dev Tasks
reddit.com·1d·
Discuss: r/LLM
🧩Theorem Proving
We've open-sourced Hopp, a remote pair programming app
reddit.com·3h·
Discuss: r/javascript
👐Open Source Software
✅ 5 JavaScript Concepts Every Beginner Must Master ⚡📜
dev.to·8h·
Discuss: DEV
🧮Programming Language Theory
Better Language Model-Based Judging Reward Modeling through Scaling Comprehension Boundaries
arxiv.org·19h
🔗Parser Combinators
DocHop-QA: Towards Multi-Hop Reasoning over Multimodal Document Collections
arxiv.org·1d
🔢Mathematical Logic