Did early Unix shells ever use `chd` command to change directories?
news.ycombinator.com·3h·
Discuss: Hacker News
❄️Nix
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·3d·
Discuss: Hacker News
🔬Static Analysis
Show HN: SparkYard – Your personal brand is the one asset AI can't replace
sparkyard.io·22h·
Discuss: Hacker News
🧪Property-Based Testing
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·2d·
Discuss: Hacker News
👁️System Observability
Defold editor scripting adds scene editing in 1.10.4
defold.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: A modern alternative to traditional fantasy name generators
nomenus.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·5d·
Discuss: Hacker News
🧪Property-Based Testing
Rsyslog Goes AI First – A New Chapter Begins
rsyslog.com·2d·
Discuss: Hacker News
👁️System Observability
Git security vulnerabilities announced
github.blog·5d·
Discuss: Hacker News
🔄Reproducible Builds
Why the Value of CVE Mitigation Outweighs the Costs
thenewstack.io·2d
👁️System Observability
Meta Superintelligence – Leadership Compute, Talent, and Data
semianalysis.com·2d·
Discuss: Hacker News, Hacker News
🖥️Self-hosted Infrastructure
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·3d
🔍Formal Verification
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·3d·
Discuss: Substack
🔍Formal Verification
Linux 6.15.6, 6.12.37 LTS & Other Stable Kernels Deliver TSA Mitigations
phoronix.com·3d·
Discuss: Hacker News
🔬Unikernels
Open-source STM32 autopilot for long-range fixed-wing UAVs (SmartNavX)
news.ycombinator.com·15h·
Discuss: Hacker News
👁️System Observability
Improvements to Media Server, and advice for backups?
reddit.com·17h·
Discuss: r/homelab
🏠HomeLab
Massively parallel and universal approximation of nonlinear functions using diffractive processors
arxiv.org·4h
🐫OCaml
Del R730XD fan noise solution
reddit.com·18h·
Discuss: r/homelab
🍎XNU Internals
Citizen Science is All Fun and Games
hackaday.com·3h
🎮Verification Games
KDE Plasma 6.5 will let you configure what the rotatable dials on your drawing tablet do
neowin.net·1d·
Discuss: Hacker News
🔬Unikernels