Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundation; Gabriele Paoloni, Red Hat
elisa.tech·1d
📜Proof Carrying Code
GPTs and feeling left behind
whynothugo.nl·1d
⚡Proof Automation
Building brittle software
blog.kronis.dev·2d
❄️Nix Flakes
318
skynettoday.com·3d
🌀Brotli Internals
New Method Is the Fastest Way To Find the Best Routes
quantamagazine.org·21h·
Discuss: Lobsters, Hacker News
🕸️Network Topology
The Amaranth hardware description language
amaranth-lang.org·1d·
Discuss: Hacker News
🔍FPGA Verification
PyCharm 2025.2: AI Toolkit for AI Engineers and More!
blog.jetbrains.com·2d
⚡Proof Automation
Towards Automating Scientific R&D
ghofrani.net·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
I Spent $500 To Test Devin For Prompt Injection So That You Don't Have To
embracethered.com·1d·
Discuss: Hacker News
🧮Z3 Solver
Show HN: PECU 3.0 – GPU passthrough and one-command VM templates for Proxmox 9
github.com·3h·
Discuss: Hacker News
❄️Nix Adoption
TypeScript Delivers Better Developer Experience With New Enhancements
hackernoon.com·3d
💧Liquid Types
Side Project Blog: Clear Bench - Tech stack and Backstory
dev.to·1d·
Discuss: DEV
🔩Systems Programming
Simple Methods Defend RAG Systems Well Against Real-World Attacks
arxiv.org·2d
🔐Systems Hardening
GTPO: Trajectory-Based Policy Optimization in Large Language Models
arxiv.org·7h
💻Programming languages
Beyond Auto-Complete: Supercharge Your Workflow with AWS's Newest AI, Amazon Q
dev.to·21h·
Discuss: DEV
⚙️TLA+
A Start Of A Journey: BillsTechDeck
dev.to·2d·
Discuss: DEV
📡RSS Automation
DD-DeepONet: Domain decomposition and DeepONet for solving partial differential equations in three application scenarios
arxiv.org·1d
🌐Computational Topology
Cognitive Loop via In-Situ Optimization: Self-Adaptive Reasoning for Science
arxiv.org·1d
⚡Incremental Computation
AI Isn't Writing 90% of Your Code (But It Should Be Making You Money)
dev.to·19h·
Discuss: DEV
⚡Proof Automation
Continual Learning for VLMs: A Survey and Taxonomy Beyond Forgetting
arxiv.org·7h
🧠Machine Learning