🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔬 Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

If Wordland is the thing that makes me want to use WordPress, I’ll have to redesign this site
passthejoe.wordpress.com·1d
🦋Format Metamorphosis
Blue-collar jobs are gaining popularity as AI threatens office work
nbcnews.com·1d·
Discuss: Hacker News
🎯Threat Hunting
Using Metadata to find Paul Revere (2013)
kieranhealy.org·3d·
Discuss: Hacker News
📡DNS Archaeology
How to Apply for Insurance Broker License
dev.to·1d·
Discuss: DEV
⚡HTMX
'They have a problem' - goalkeeping concerns remain at Man Utd
bbc.com·3h
🦐Göteborg
From apps to matchmaking: the diverse ways American Muslims navigate finding marriage partners
the-independent.com·11h
🎯Recommendation Metrics
Lab-grown stem cells initiate key steps of human egg and sperm formation
phys.org·13h
🧬Copy Number Variants
Plex media server: Developers advise a quick security update
heise.de·3h
💣ZIP Vulnerabilities
Bond Market’s Rate-Cut Bets Enter Decisive Stretch With Powell
bloomberg.com·9h
📝ABNF Parsing
Cisco fixed maximum-severity security flaw in Secure Firewall Management Center
securityaffairs.com·2d
🌐DNS Security
Harmonic balance-automatic differentiation method: an out-of-the-box and efficient solver for general nonlinear dynamics simulation
arxiv.org·5d
📐Interval Arithmetic
AI Weekend Projects That Slash Repetitive Work
dev.to·5d·
Discuss: DEV
📡RSS Automation
Nebius: Time To Light A Cigar After Spectacular Q2 Earnings
seekingalpha.com·2d
📡Feed Archaeology
Boost TensorFlow Training Speed by 50% with These TPU Tricks
hackernoon.com·5d
🎯Emulator Accuracy
Rethinking Tokenization for Rich Morphology: The Dominance of Unigram over BPE and Morphological Alignment
arxiv.org·4d
📋Document Grammar
Unlocking the Magic of Models: Customizing Use Cases with Retrieval-Augmented Generation (RAG)
dev.to·4d·
Discuss: DEV
📊Feed Optimization
Enhanced Topology Optimization via Multi-Fidelity Bayesian Surrogate Modeling and Reinforcement Learning Feedback
dev.to·4d·
Discuss: DEV
⚡Incremental Computation
Dynamic Thermal Management of Composite Flame Trench Structures via Integrated Phase Change Material and Active Cooling
dev.to·3d·
Discuss: DEV
🌊Stream Processing
End of Life Plan for RFC 6962 Certificate Transparency Logs
letsencrypt.org·3d
🌳Archive Merkle Trees
Integrated Learning and Optimization to Control Load Demand and Wind Generation for Minimizing Ramping Cost in Real-Time Electricity Market
arxiv.org·3d
⚡Incremental Computation
Loading...Loading more...
AboutBlogChangelogRoadmap