Key Takeaways from the Safety Critical Track at Open Source Summit Europe 2025 โ€“ 2
elisa.techยท1d
๐Ÿ”„Language Evolution
Detection Engineering: Practicing Detection-as-Code โ€“ Monitoring โ€“ Part 7
blog.nviso.euยท1d
๐ŸšจIncident Response
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.comยท1d
๐Ÿ”“Decompilation
Thinking on upgrade my "microlab"
preview.redd.itยท7hยท
Discuss: r/homelab
๐Ÿ–ฅHome Lab Setup
Show HN: Twoway, a Go package for HPKE encrypted request-response flows
github.comยท10hยท
Discuss: Hacker News, r/golang
๐Ÿ”‘Cryptographic Protocols
(PR) Synology Releases DiskStation Manager 7.3
techpowerup.comยท21hยท
Discuss: Hacker News
๐Ÿ”HSM Integration
Security Model: Wayland vs. Xorg in Linux
openlib.ioยท2dยท
Discuss: Hacker News
๐Ÿ›ก๏ธRISC-V Security
Not Another Workflow Builder
blog.langchain.comยท1dยท
Discuss: Hacker News
๐Ÿ—ฃ๏ธDomain-Specific Languages
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท16hยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
Oily Pine โ€“ Chapter 1
yosemitesam.chยท3dยท
Discuss: Hacker News
๐ŸšBash Monads
Software That Builds Itself
jdsemrau.substack.comยท13hยท
Discuss: Substack
โš™๏ธTLA+
Seeking advice on a licensing gray area: "Derivative work" or not?
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
KCTD10 is a sensor for co-directional transcriptionโ€“replication conflicts
nature.comยท13h
๐ŸงฌCopy Number Variants
Early Results from Teaching Modelling for Software Comprehension in New-Hire Onboarding
arxiv.orgยท1h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
A First Look at the Lifecycle of DL-Specific Self-Admitted Technical Debt
arxiv.orgยท2d
๐Ÿ“Code Metrics
KEO: Knowledge Extraction on OMIn via Knowledge Graphs and RAG for Safety-Critical Aviation Maintenance
arxiv.orgยท1d
๐Ÿง Intelligence Compression
How I Simplified Contributor Workflows with Rules, Prompts, and AI Agents
dev.toยท12hยท
Discuss: DEV
โšกProof Automation
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.orgยท1h
๐ŸงฎKolmogorov Complexity
Compton: A Compositor for X11
github.comยท2dยท
Discuss: Hacker News
๐ŸŽฎGame Decompilation