Show HN: A modern alternative to traditional fantasy name generators
nomenus.io·15h·
Discuss: Hacker News
✓Automated Theorem Proving
OpenThread – an open-source implementation of Thread
openthread.io·4d·
Discuss: Hacker News
🌐NetworkProtocols
Breakthrough in Semiconductor Technology Paves the Way for Faster 6G Networks
techbriefs.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Introducing UringMachine, a Ruby gem for performing concurrent I/O
noteflakes.com·5d·
Discuss: Hacker News
📦Unikernel Systems
A chatbot coined a phrase I really like. Am I allowed to use it?
jessesingal.substack.com·4h·
Discuss: Substack
✓Automated Theorem Proving
Large Hadron Collider: When Quantum and AI Collide
perimeterinstitute.ca·8h·
Discuss: Hacker News
📦Unikernel Systems
An InfoSec Architect's First Taste of Temporal
supasaf.com·5d·
Discuss: Hacker News
⚙️PL Implementation
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·3d·
Discuss: Hacker News
🔄Reproducible Builds
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info·2d·
Discuss: Hacker News, r/webdev
🔄Reproducible Builds
What Is Vibe Coding?
cloud.google.com·22h·
Discuss: Hacker News
🤖Program Synthesis
User simulators bridge RL with real-world interaction
jessylin.com·2d·
Discuss: Hacker News
🔍Formal Verification
(Attempting to) Engineer the chaos out of AI agents
trunk.io·3d·
Discuss: Hacker News
🧪Property-Based Testing
A Mental Model for C++ Coroutine
uvdn7.github.io·2d·
Discuss: Hacker News
🏹Effect Systems
AI coding tools make developers slower but they think they're faster, study finds
theregister.com·1d·
Discuss: Hacker News
👁️System Observability
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·2d
💻CS
Trying to set up my own thing server for Plex and general backups; not sure where to start
reddit.com·7h·
Discuss: r/homelab
🏠HomeLab
GTA1: GUI Test-time Scaling Agent
arxiv.org·4d
🧪Property-Based Testing
PotentRegion4MalDetect: Advanced Features from Potential Malicious Regions for Malware Detection
arxiv.org·3d
📡Network Protocol Design
Long time lurker, ready to dive in. Looking for tips/tricks, and any other advice you may have...
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·2d
🎮Verification Games