Composing pure Haskell assertions
blog.ploeh.dkยท1d
โš–๏ธVerification Calculi
How AI Tools Cut Customer Escalation Time: From Days of Manual Work to Minutes
engineering.salesforce.comยท1d
๐ŸŒŠStream Processing
Impressions of CachyOS
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”ŒOperating system internals
Cumulative Statistics in PostgreSQL 18
data-bene.ioยท23hยท
Discuss: r/programming
๐Ÿ—„๏ธPostgreSQL WAL
Creating Python GUIs with GIMP
hackaday.comยท5h
๐Ÿ“ŸTerminal Physics
CopyQ (clipboard manager) 12.0 released
github.comยท15hยท
Discuss: r/linux
โŒจ๏ธTerminal Customization
[R] No Prompt Left Behind: Exploiting Zero-Variance Prompts in LLM Reinforcement Learning via Entropy-Guided Advantage Shaping
reddit.comยท15hยท
Discuss: r/MachineLearning
โš”๏ธLean Tactics
Scalpers sell ROG Xbox Ally X preorders for as much as $2,500 even though they are still in stock โ€” stay away from eBay and buy from retailers
tomshardware.comยท2d
๐Ÿ•น๏ธRetro Gaming
How Many Phones Sport a 5 and 1/4 Diskette Drive? This One.
hackaday.comยท2d
๐Ÿ’ฝFloppy disks
Predictive Maintenance Optimization via Bayesian Network-Reinforced Digital Twin Calibration
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStream Processing
Automated Ethical Guideline Assessment for Autonomous Robotics via Multi-Modal Analysis
dev.toยท14hยท
Discuss: DEV
๐ŸŽฏThreat Hunting
Chat With Your Obsidian Notes: Introducing HTTP MCP Server
dev.toยท1dยท
Discuss: DEV
๐Ÿ—œ๏ธZstandardized Archives
OAT-FM: Optimal Acceleration Transport for Improved Flow Matching
arxiv.orgยท3h
๐Ÿง Machine Learning
Rethinking Reward Miscalibration of GRPO in Agentic RL
arxiv.orgยท3h
๐Ÿ”ฒCellular Automata
Wav2Arrest 2.0: Long-Horizon Cardiac Arrest Prediction with Time-to-Event Modeling, Identity-Invariance, and Pseudo-Lab Alignment
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
CMT: Mid-Training for Efficient Learning of Consistency, Mean Flow, and Flow Map Models
arxiv.orgยท3h
๐Ÿง Machine Learning
MemGen: Weaving Generative Latent Memory for Self-Evolving Agents
arxiv.orgยท3h
๐Ÿ”ฒCellular Automata
ChessArena: A Chess Testbed for Evaluating Strategic Reasoning Capabilities of Large Language Models
arxiv.orgยท3h
โœ“Automated Theorem Proving
Help me pick efficient Proxmox homelab hardware
reddit.comยท3dยท
Discuss: r/homelab
๐Ÿ–ฅHome Lab Setup
Reader Response to "AI Overinvestment"
mbi-deepdives.comยท1dยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing