Trump news at a glance: US troops will be paid despite shutdown, president claims
theguardian.comยท47m
๐Ÿ“กRSS
MultiPar 1.3.3.5 Beta / 1.3.2.9
scour.ingยท1d
๐ŸบZIP Archaeology
Implicit `operator bool` participates in comparison
quuxplusone.github.ioยท2d
๐Ÿฆ€Rust Verification
Physics-informed AI excels at large-scale discovery of new materials
phys.orgยท1d
๐Ÿง Machine Learning
Toy Binary Decision Diagrams
philipzucker.comยท6d
๐ŸงฎAlgebraic Datatypes
Vexing Exceptions
ericlippert.comยท1dยท
Discuss: Hacker News
๐ŸงชBinary Fuzzing
Keyboard Holders, Generation 1
cceckman.comยท2dยท
Discuss: Hacker News
โŒจ๏ธMechanical Keyboards
Dealing with Eventual Consistency and Idempotency in projections
event-driven.ioยท18hยท
Discuss: r/programming
๐ŸŒŠStream Processing
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท2dยท
Discuss: Hacker News
ฮปLambda Encodings
Replacing the Type Checker for the Swift Compiler
forums.swift.orgยท2dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
The Trillion Dollar AI Software Development Stack
a16z.comยท1dยท
Discuss: Hacker News
โšกProof Automation
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.comยท1dยท
Discuss: Hacker News
โœจEffect Handlers
More Than Code: Gearing Up for the Hackathon of the Year!๐Ÿš€
dev.toยท6hยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Read Between the Lines: A Benchmark for Uncovering Political Bias in Bangla News Articles
arxiv.orgยท4d
โš™๏ธCompression Benchmarking
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Shaken or Stirred? An Analysis of MetaFormer's Token Mixing for Medical Imaging
arxiv.orgยท3d
๐Ÿ“„Document Streaming
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.orgยท4d
๐ŸงฎKolmogorov Complexity
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.toยท15hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Aligning Language Models with Clinical Expertise: DPO for Heart Failure Nursing Documentation in Critical Care
arxiv.orgยท3d
๐Ÿ”„Archival Workflows
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.orgยท3d
๐ŸงฎKolmogorov Bounds