How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท3d
๐ŸŒŠStreaming Systems
Digilent Analog Discovery Studio Max โ€“ A 14-in-1 portable electronics trainer kit with four breadboards
cnx-software.comยท14h
โšกCircuit Archaeology
Igor Tamm and the Taylor expansion (2017)
damtson.wordpress.comยท1dยท
Discuss: Hacker News
๐Ÿ”Soviet Cryptography
Intel Removing AMX-TRANSPOSE From The GCC Compiler
phoronix.comยท57m
๐Ÿ—๏ธCompiler Archaeology
Love C, Hate C: Web Framework Memory Problems
alew.isยท3dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Systems as Mirrors
iamstelios.comยท1dยท
Discuss: Hacker News
โš™๏ธProof Engineering
Run Your Code Anywhere
blog.anirudha.devยท1dยท
Discuss: Hacker News
๐ŸŒWASI
Show HN: I built a LSP with its own parser to learn Rust
github.comยท2dยท
Discuss: Hacker News
โšกDependent Rust
00. AI in Bioinformatics
dev.toยท10hยท
Discuss: DEV
๐ŸฆดDatabase Paleontology
From Clicks to Code: Building a Productionโ€‘Ready EVM Transaction Client (Approve, Mint, Swap, EIPโ€‘1559)
dev.toยท3dยท
Discuss: DEV
โœ…Format Verification
Fast, Declarative Open Graph Image Generation in Python
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ธPNG Optimization
A Semantic Framework for Patient Digital Twins in Chronic Care
arxiv.orgยท7h
๐Ÿ›Digital humanities
BLINK-Twice: You see, but do you observe? A Reasoning Benchmark on Visual Perception
arxiv.orgยท7h
๐Ÿ“ŠLearned Metrics
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.toยท3hยท
Discuss: DEV
๐Ÿš€Indie Hacking
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.toยท2dยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
Automated Evidence Synthesis and Causal Inference for Medical Malpractice Litigation Support
dev.toยท13hยท
Discuss: DEV
๐Ÿ”—Constraint Handling
Conformal Risk Training: End-to-End Optimization of Conformal Risk Control
arxiv.orgยท7h
๐Ÿง Machine Learning
Why Wikipedia cannot claim the Earth is not flat
dev.toยท22hยท
Discuss: DEV
๐Ÿ“ฐContent Curation