Towards a Foundational Understanding of Causality
deepcausality.com·3h·
Discuss: Hacker News
🌐Distributed systems
Using AMD MI300X for High-Throughput, Low-Cost LLM Inference
herdora.com·8h·
Discuss: Hacker News
📊Performance Profiling
Show HN: A modern alternative to traditional fantasy name generators
nomenus.io·3h·
Discuss: Hacker News
💻Programming languages
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·3d·
Discuss: Hacker News
💻Programming languages
Show HN: I made a vencord plugin to search for messages across discord
blog.jaisal.dev·24m·
Discuss: Hacker News
💻Programming languages
Malware found in official gravityforms plugin indicating supply chain breach
patchstack.com·22h·
Discuss: Hacker News
💻Programming languages
Breaking Down and Explaining Type Parameters
hackernoon.com·1d
💻Programming languages
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·2d·
Discuss: Hacker News
💻Programming languages
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·2d·
Discuss: Hacker News
🔐Security Patterns
Data Science Weekly – Issue 607
datascienceweekly.substack.com·2d·
Discuss: Substack
🚀Query Engines
My first verified (imperative) program
markushimmel.de·5d·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
Copyleft-Next Building the NextGen Copyleft License
fossforce.com·14h·
Discuss: Hacker News
💻Programming languages
Clustered PostgreSQL
arch.dog·1d·
Discuss: Lobsters, Hacker News
🌐Distributed systems
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·2d·
Discuss: Hacker News
💻Programming languages
Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity
simonwillison.net·11h
📊Performance Profiling
LLM Failures
funcall.blogspot.com·4d·
Discuss: Hacker News
💻Programming languages
Midio
midio.com·2h·
Discuss: Hacker News
💻Programming languages
sca-fuzzer: Revizor - a fuzzer to search for microarchitectural leaks in CPUs
github.com·6h·
Discuss: Lobsters, Hacker News
📊Performance Profiling
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·2d·
Discuss: Hacker News
🦀Rust
Computer Scientists Figure Out How To Prove Lies
quantamagazine.org·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🔐Security Patterns