What are SLRUs and Multixacts in Postgres? What can go wrong?
andyatkinson.com·1d
🧠Memory Management
Notes for August 11-17
taoofmac.com·1d
💻Operating Systems
Cursor Tutorial for Beginners from Cursor's Head of AI Education | Lee Robinson
creatoreconomy.so·1d
🧩Theorem Proving
groundcover Introduces Zero-Instrumentation Observability for LLMs and Agentic Workflows
prnewswire.com·24m
👐Open Source Software
Lightweight Attribute Localizing Models for Pedestrian Attribute Recognition
arxiv.org·1d
🔗Parser Combinators
Keep locally web-hosted lists of web links and mirrors, with public links and other goodies
reddit.com·2h·
Discuss: r/Piracy
👐Open Source Software
Swarm-in-Blocks: Simplifying Drone Swarm Programming with Block-Based Language
arxiv.org·1d
🎲Probabilistic Programming
Ryzen 7 7700, 128 gb RAM and 3090 24gb VRAM. Looking for Advice on Optimizing My System for Hosting LLMs & Multimodal Models for My Mechatronics Students
reddit.com·3d·
Discuss: r/LocalLLaMA
🔧Compiler Design
S2C Advances RISC-V Ecosystem, Accelerating Innovation at 2025 Summit China
semiwiki.com·5d
💾Retrocomputing
Trimming the FAT: Flash Raspberry Pi OS images faster
raspberrypi.com·5d
🐧Linux
Optimal CO2 storage management considering safety constraints in multi-stakeholder multi-site CCS projects: a game theoretic perspective
arxiv.org·1d
⚖Algorithmic Game Theory
The Four Pillars of Object-Oriented Programming in TypeScript
dev.to·1d·
Discuss: DEV
📐Type Theory
SproutBench: A Benchmark for Safe and Ethical Large Language Models for Youth
arxiv.org·1d
🔗Parser Combinators
Note on Selection Bias in Observational Estimates of Algorithmic Progress
arxiv.org·1d
🔗Parser Combinators
Mastering Asynchronous Programming in Python: A Beginner-Friendly Guide
dev.to·2d·
Discuss: DEV
📦WebAssembly
CryptoScope: Utilizing Large Language Models for Automated Cryptographic Logic Vulnerability Detection
arxiv.org·1d
🧭SMT Solvers
New Undersea Desalination Pods To Solve Water & Energy Crises Both At Once
cleantechnica.com·1d
🌍Distributed Systems
A Multi-Task Evaluation of LLMs' Processing of Academic Text Input
arxiv.org·9h
🎲Probabilistic Programming
Pricing Help: Selling my SFF Custom PC – Ryzen 9 5900X + RTX 3080 FE, NCASE M1
reddit.com·1d·
Discuss: r/sffpc
📦WebAssembly
Trying to figure out the best setup for my case
reddit.com·41m·
Discuss: r/homelab
🌍Distributed Systems