ELISA seminar recap : Introduction to Requirements Engineering – Pete Brink, UL Solutions
elisa.techΒ·20h
πŸ“‹Formal Verification
Flag this post
Building effective workflows for oral history projects: Collaboration, structure, and AI innovation
hangingtogether.orgΒ·16h
πŸ”„Archival Workflows
Flag this post
Refactoring English: Month 11
mtlynch.ioΒ·16h
🎯Gradual Typing
Flag this post
Show HN: Yansu, Serious Coding
twitter.comΒ·1dΒ·
Discuss: Hacker News
πŸ”’Coding Theory
Flag this post
Learning from Software Errors – Part 7: The Billion-Dollar Mistake
heise.deΒ·8h
πŸ§ͺBinary Fuzzing
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
blog.mbrt.devΒ·3dΒ·
Discuss: Hacker News
πŸ”BitFunnel
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.aiΒ·2dΒ·
Discuss: Hacker News
βš™οΈBatch Processing
Flag this post
The Paranoid Guide to Running Copilot CLI in a Secure Docker Sandbox
gordonbeeming.comΒ·3dΒ·
Discuss: Hacker News
πŸͺŸAwesome windows command-line
Flag this post
UK agri dept spent hundreds of millions upgrading to Windows 10 – just in time for end of support
theregister.comΒ·2dΒ·
Discuss: Hacker News
πŸ”ŒOperating system internals
Flag this post
Beyond Localhost: Security, Authentication, and Real-World Sources
hackernoon.comΒ·4d
🎬WebCodecs
Flag this post
Post-Training LLMs as Better Decision-Making Agents: A Regret-Minimization Approach
arxiv.orgΒ·11h
πŸ’»Local LLMs
Flag this post
Enhanced Radiation Sterilization Verification via Hyperdimensional Data Fusion and Bayesian Calibration
dev.toΒ·20hΒ·
Discuss: DEV
πŸ’ΎFloppy Imaging
Flag this post
Linux Kernel Ported To WebAssembly - Demo Lets You Run It In Your Web Browser
phoronix.comΒ·6dΒ·
Discuss: Hacker News
πŸ•ΈοΈWASM Archives
Flag this post
How to Hire the Best Software Developers in 2025
dev.toΒ·4hΒ·
Discuss: DEV
πŸ”“Open Source Software
Flag this post
LXQt 2.3 Desktop Environment Released with Better Wayland Support
linuxiac.comΒ·2d
πŸ”“Open Source Software
Flag this post
A Pragmatist's Guide to Mastering Python's Foundations
dev.toΒ·20hΒ·
Discuss: DEV
πŸ“Concrete Syntax
Flag this post
Tool-Driven Behavioral Directives: How to Scale LLM Agents Without Prompt Spaghetti
dev.toΒ·14hΒ·
Discuss: DEV
βš™οΈTLA+
Flag this post