🐿️ 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

FOSS Weekly #25.36: Ubuntu 25.10 Features, Top Command, Firefox Survives, Sudo Tips and More
itsfoss.com·1d
🐧FOSS
Spilling the Beans on Multiplatform Cryptominer Soco404
circleid.com·1d
📡DNS Archaeology
Beavers return to the forest landscape, reviving its natural environment
helsinki.fi·13h·
Discuss: Hacker News
🦴Database Paleontology
The Doomers Who Insist AI Will Kill Us All
wired.com·12h
🔲Cellular Automata
Real-Time Solutions at the "Cosmic Edge"
windriver.com·1d·
Discuss: Hacker News, r/space
🌊Stream Processing
Your Review: Participation in Phase I Clinical Pharmaceutical Research
astralcodexten.com·16h·
Discuss: Hacker News
🔐Quantum Security
Passing the Security “Vibe” Check
blog.checkpoint.com·15h
🔓Hacking
Ombudsman criticises Irish State’s response to missing child, feared dead
the-independent.com·1d
⚖️Archive Ethics
Safer cold storage on Ethereum
blog.trailofbits.com·17h
🔗Hash Chains
Exploring LLMs for ICD Coding – Part 1
medium.com·1d·
Discuss: Hacker News
🔤Character Classification
🔔 Django Signals: Supercharging Your App with Event-Driven Architecture
dev.to·1d·
Discuss: DEV
🌐Protocol Synthesis
Test-Driven Development Is Stupid
geometrian.com·3d·
Discuss: Hacker News
🔍Concolic Testing
Ned is a perfectly nice snail, but a rare shell means a doomed love life
phys.org·1d
🔄Burrows-Wheeler
England vs Andorra prediction: Straightforward Wembley win for Three Lions
the-independent.com·17h
⚙Backus-Naur Form
Elicitation in MCP: Bridging the Human-AI Gap
dev.to·2d·
Discuss: DEV
⚡gRPC
Maia - Multi-AI Agent Test Framework
dev.to·2d·
Discuss: DEV
⚡Proof Automation
What if Forgetting is AI's Most Important Feature?
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
Unlocking Trustworthy AI: Verifiable Fine-Tuning with Zero-Knowledge Proofs
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
Best Software Composition Analysis Tools in 2025 for Secure Code
dev.to·1d·
Discuss: DEV
🔓Open Source Software
Considerations for Estimating Causal Effects of Informatively Timed Treatments
arxiv.org·5d
✨Effect Handlers
Loading...Loading more...
AboutBlogChangelogRoadmap