Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท2dยท
๐Ÿ”Type Checkers
Flag this post
Reflections on Trusting Trust (1984)
web.archive.orgยท7hยท
Discuss: Hacker News
๐Ÿ”ฌStatic Analysis
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.comยท7hยท
Discuss: Hacker News
๐Ÿ”Type Checkers
Flag this post
The NVIDIA Dependency Nightmare on Ubuntu: A Deep Dive for Data Science
pub.towardsai.netยท16h
๐Ÿ”Nsight
Flag this post
Speedrunning an RL Environment
sidb.inยท1dยท
Discuss: Hacker News
๐Ÿ“œTorchScript
Flag this post
You can actually program FPGAs on a Mac now
sahasmunamala.substack.comยท1dยท
Discuss: r/embedded
๐Ÿ—๏ธBuild Systems
Flag this post
Built Datapizza-AI in PHP on 2011 Raspberry Pi: Edge AI Without GPU
dev.toยท14hยท
Discuss: DEV
โšกONNX Runtime
Flag this post
Get Ready for Clojure, GPU, and AI in 2026 with CUDA 13.0
dragan.rocksยท3dยท
Discuss: Hacker News
โฑ๏ธCUDA Events
Flag this post
Becoming a Core Developer
stefaniemolin.comยท6h
๐Ÿ•Ruff
Flag this post
Building a Prompt Engineering Toolkit for Developers
amzn.toยท21hยท
Discuss: DEV
๐Ÿค–AI Coding Tools
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.orgยท7hยท
Discuss: Hacker News
๐ŸŒDistributed Computing
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท3dยท
Discuss: Hacker News
๐Ÿ’กLSP
Flag this post
You Don't Always Need Grafana for GPU Monitoring
dev.toยท23hยท
Discuss: DEV
๐Ÿ”Nsight
Flag this post
Linkage
11011110.github.ioยท2d
๐ŸŽ๏ธTensorRT
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
github.comยท14hยท
Discuss: r/programming
๐Ÿค–AI Coding Tools
Flag this post
Inference Acceleration from the Ground Up
semiwiki.comยท4d
๐ŸŽฏTensor Cores
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2dยท
Discuss: Hacker News
๐Ÿค–AI Coding Tools
Flag this post
Diving into Uniface 10.4: A Simple Guide to the $ude("load") Function ๐Ÿš€
dev.toยท10hยท
Discuss: DEV
๐Ÿ’ปCLI Tools
Flag this post