🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ‘‘ Dependent Haskell

Singletons, Type-level Programming, GADTs, Kind Polymorphism

How experienced engineers get unstuck in coding interviews
newsletter.pragmaticengineer.comΒ·2h
⚑Proof Automation
Will Cogley's DIY Animatronic Eye Mechanism Control Board
nmrobots.comΒ·1dΒ·
Discuss: Hacker News
πŸ”ŒSingle Board PC
Author Correction: Disease-associated astrocyte epigenetic memory promotes CNS pathology
nature.comΒ·8h
🧬Copy Number Variants
86Box 5.0
86box.netΒ·2dΒ·
Discuss: Hacker News
πŸ•ΈοΈWASM Archives
What Is a Foreign Key Constraint in SQL?
blog.devops.devΒ·1d
πŸš€Query Optimization
What it took to make a multi-agent trading simulation durable and observable
union.aiΒ·5dΒ·
Discuss: Hacker News
⚑Proof Automation
Plasma group publishes new framework to advance fusion energy research
phys.orgΒ·22h
🌑️Preservation Physics
Meson 1.9 Released With New Rust Features, Adds Swift/C++ Interoperability
phoronix.comΒ·1d
πŸ¦€Rust Borrowing
SPL Lightweight Multisource Mixed Computation Practices
github.comΒ·6dΒ·
Discuss: Hacker News, r/programming
πŸ’§Liquid Types
Try My ~3.5 Million Parameters Model Instead for βœ¨πŸ˜‰
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“Text Parsing
Enhanced predictions of the Madden-Julian oscillation using the FuXi-S2S machine learning model: Insights into physical mechanisms
arxiv.orgΒ·1d
🧠Machine Learning
I Tried 20+ Python Courses on Udemy: Here are 5 Courses I recommend
dev.toΒ·2dΒ·
Discuss: DEV
🌊Streaming Algorithms
Efficient Constraint-Aware Flow Matching via Randomized Exploration
arxiv.orgΒ·6d
🎯Performance Proofs
The best hair dryers for smooth, speedy styling at home – whatever your hair type
theguardian.comΒ·3h
βš™οΈDIY Electronics
ControlEchoSynth: Boosting Ejection Fraction Estimation Models via Controlled Video Diffusion
arxiv.orgΒ·14h
🧠Machine Learning
Miss Manners: Our nanny lives in the basement, and she has gotten territorial
mercurynews.comΒ·10h
🏠Personal Archives
Who Sees What? Structured Thought-Action Sequences for Epistemic Reasoning in LLMs
arxiv.orgΒ·5d
πŸ“Linear Logic
The Vertical Advantage: Why Industry Specific AI is the Future
dev.toΒ·2hΒ·
Discuss: DEV
πŸ–₯️Terminal Renaissance
DeepThink3D: Enhancing Large Language Models with Programmatic Reasoning in Complex 3D Situated Reasoning Tasks
arxiv.orgΒ·4d
⚑Incremental Computation
Dac-Fake: A Divide and Conquer Framework for Detecting Fake News on Social Media
arxiv.orgΒ·1d
πŸ”BitFunnel
Loading...Loading more...
AboutBlogChangelogRoadmap