OpenAI's AI system wins a gold medal-level score at the International Olympiad in Informatics 2025
the-decoder.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
This startup lets you vibe code your own app on your iPhone. It just raised $9 million from Alexis Ohanian's fund.
businessinsider.com·17h
🚀Indie Hacking
Free Wi-Fi Leaves Buses Vulnerable to Remote Hacking
securityweek.com·1d·
Discuss: Hacker News
🔓Hacking
What’s Wrong With ARDC?
perens.com·1d·
Discuss: Hacker News
📻Homebrew Protocols
Should We Never Use Non-Logical Properties?
meiert.com·1d·
Discuss: Hacker News
📏Linear Logic
Show HN: AI Inbx – The Email Inbox for Your AI Agents (Free Beta)
aiinbx.com·15h·
Discuss: Hacker News
📰Feed Readers
Show HN: Videolangua – end-to-end video translate and subtitle/ dub
videolangua.com·13h·
Discuss: Hacker News
📦MKV Containers
Show HN: I built an open-source workout tracker app in 4 days with Claude Code
github.com·2d·
Discuss: Hacker News
🍎Apple Archive
GPT-5 vs. Sonnet: Complex Agentic Coding
elite-ai-assisted-coding.dev·5d·
Discuss: Hacker News
🦀Rust Macros
GCC Developers Discuss Dropping Poorly Supported, Niche CPU Architectures
phoronix.com·23h
🔩Systems Programming
Lurk – A Turing-complete programming language for ZK-SNARKs
github.com·5d·
Discuss: Hacker News
🧮Z3 Solver
Kiro
dev.to·19h·
Discuss: DEV
🌊Stream Processing
Automated Fault Injection Pattern Recognition via Multi-Modal Hypernetwork Analysis
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
Capabilities of GPT-5 on Multimodal Medical Reasoning
arxiv.org·2d·
Discuss: Hacker News
🗺️Competency Maps
🚀 Boost Your Coding Speed & Confidence with AI — The AI Coding System for Developers
dev.to·3d·
Discuss: DEV
⚡Proof Automation
OpenClone - A Three Year Side Project
dev.to·3d·
Discuss: DEV
🔓Open Source Software
YC S25 — Coolest software-focused startups (developer-forward review)
dev.to·3d·
Discuss: DEV
🌊Stream Processing
A Task You MUST Do If You're Using Claude Code with Git
dev.to·6d·
Discuss: DEV
🌳Incremental Parsing
Fed MobiLLM: Efficient Federated LLM Fine-Tuning over Heterogeneous Mobile Devices via Server Assisted Side-Tuning
arxiv.org·2d
💻Local LLMs
VISOR: Visual Input-based Steering for Output Redirection in Vision-Language Models
arxiv.org·1d
⟷Bidirectional Programming