Tour de force: Vivaldi and Renault team up for the best on-road experience
vivaldi.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
The XINU Page
xinu.cs.purdue.edu·6d·
Discuss: Hacker News
🍎XNU Internals
Intigriti teams with Nvidia to launch bug bounty and VDP
intigriti.com·1d·
Discuss: Hacker News
👁️System Observability
Docker, Portainer, and Unifi Network App are melting my brain. Need a good tutorial for a noob to all of the above
youtube.com·4d·
Discuss: r/homelab
🔬Unikernels
Contemplating Entity Component Architecture (2024)
datavirke.dk·5d·
Discuss: Hacker News
🛡️seL4
SFrame-based stack unwinding for the kernel
lwn.net·5d·
Discuss: Hacker News
👁️System Observability
Claude is kicking ChatGPT's butt (in one thing)
ben-mini.com·1d·
Discuss: Hacker News
🏹Effect Systems
The LLM-for-software Yo-yo
tratt.net·3d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
OpenAI, Google DeepMind and Anthropic sound alarm: ‘We may be losing the ability to understand AI’
venturebeat.com·1d·
Discuss: Hacker News, r/technews
✓Automated Theorem Proving
Pulling at Threads With the Flipper Zero
hackaday.com·1d
💾Retro Computing
LittleHorse Kernel: A Platform for Distributed Event-Driven Applications
github.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Gitplay: Learn how a software project (using Git) evolved over time
github.com·16h·
Discuss: Hacker News
🔄Reproducible Builds
Suggestion NAS/plex server
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Stadia Maps MCP Server – Location Context for AI
github.com·23h·
Discuss: Hacker News
🌐NetworkProtocols
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·7h
💻CS
Neurosymbolic Reasoning Shortcuts under the Independence Assumption
arxiv.org·1d
✓Automated Theorem Proving
Read GitHub repos in one second in VSCode
github.com·1d·
Discuss: Hacker News
❄️Nixified Development
An Empirical Study of Multi-Agent RAG for Real-World University Admissions Counseling
arxiv.org·1d
💻CS
Multimodal Coordinated Online Behavior: Trade-offs and Strategies
arxiv.org·7h
🏹Effect Systems
Efficient Private Inference Based on Helper-Assisted Malicious Security Dishonest Majority MPC
arxiv.org·2d
✓Automated Theorem Proving