Speculative Decoding in vLLM on AMD GPUs(vllm.ai)

130 points by ankitg12 1 month ago | 47 comments

CUDA Shared Memory Swizzling(leimao.github.io)

57 points by jxmorris12 2 months ago | 2 comments

PyTorch Custom Operation(leimao.github.io)

19 points by eigenBasis 4 months ago | 4 comments

Software development topics I've changed my mind on(chriskiehl.com)

806 points by belter 1 year ago | 737 comments

Personal blog post listing software development opinions the author changed after 10 years working in the industry.

LLMs could be, but shouldn't be compilers(alperenkeles.com)

104 points by alpaylan 8 months ago | 112 comments

LeoLM: German-Language LLM Research(laion.ai)

92 points by doubtfuluser 3 years ago | 82 comments

What Is PID 0?(blog.dave.tf)

344 points by todsacerdoti 2 years ago | 56 comments

Blog post by David Anderson explaining what PID 0 is in Unix/Linux, why it is hidden from userspace, and its role in booting and idle scheduling.

Deep learning gets the glory, deep fact checking gets ignored(rachel.fast.ai)

549 points by chmaynard 1 year ago | 134 comments

Rachel Thomas blog post on how a high-profile Nature paper using a Transformer to predict enzyme functions contained many errors that received far less attention than the original result.

Claude Code can debug low-level cryptography(words.filippo.io)

446 points by Bogdanp 11 months ago | 199 comments

Filippo Valsorda's blog post on using Claude Code to debug his new Go implementation of the ML-DSA post-quantum signature algorithm.

Exploiting the most prominent AI agent benchmarks(rdi.berkeley.edu)

561 points by Anon84 6 months ago | 136 comments

UC Berkeley RDI blog post describing how researchers exploited major AI agent benchmarks like SWE-bench and Terminal-Bench to score highly without solving tasks, and proposed fixes.

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.

Belgium legalises ethical hacking(law.kuleuven.be)

394 points by jruohonen 3 years ago | 57 comments

A KU Leuven CiTiP blog post discussing Belgium's new legal framework legalising ethical hacking and whether it threatens or helps cybersecurity.