🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔠 Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

‘No misconduct here’: Author defends addendum that sleuth says is ‘inadequate’
retractionwatch.com·2h
💧Manuscript Watermarks
A poem by Madison Godfrey: ‘I first encountered poetic language though post-hardcore and punk music’
theguardian.com·1d
📼Cassette Culture
How Does a Firewall Work Step by Step
kalilinuxtutorials.com·23h·
Discuss: Hacker News
🌐Network Security
"Metroid Prime 4: Beyond": The Switch 2 becomes a shooter PC
heise.de·2h
📺Retrogaming
9 Best Keyboards (2025), Tested and Reviewed
wired.com·2d
⌨️Mechanical Keyboards
Using large-scale search to discover fast GPU kernels in Rust
reddit.com·4d·
Discuss: r/rust
🦀Rust Macros
Qclojure: Functional quantum computer programming library for Clojure
github.com·4d·
Discuss: Hacker News
⚛️Quantum Compilers
Ansell Limited (ANSLF) Q4 2025 Earnings Call Transcript
seekingalpha.com·4h
📋PREMIS Events
My first project in Go is a terminal dashboard (what a programming language)
news.ycombinator.com·3d·
Discuss: Hacker News
📟Terminals
The Digital Life of Parisian Parks: Multifunctionality and Urban Context Uncovered by Mobile Application Traffic
arxiv.org·3d
🏛Digital humanities
DESIGNER: Design-Logic-Guided Multidisciplinary Data Synthesis for LLM Reasoning
arxiv.org·6d
⚡Circuit Design
Analyzing Information Sharing and Coordination in Multi-Agent Planning
arxiv.org·6d
⚙️TLA+
When Secure Aggregation Falls Short: Achieving Long-Term Privacy in Asynchronous Federated Learning for LEO Satellite Networks
arxiv.org·5d
🤐Secure Multiparty
Towards a Larger Model via One-Shot Federated Learning on Heterogeneous Client Models
arxiv.org·5d
🤐Secure Multiparty
Automated Cloud Resource Allocation via Hybrid Reinforcement Learning and Bayesian Optimization
dev.to·5d·
Discuss: DEV
🌊Streaming Systems
Building Effective Agents: The Art of Simplicity and Perspective
dev.to·23h·
Discuss: DEV
🔲Cellular Automata
Breakable Machine: A K-12 Classroom Game for Transformative AI Literacy Through Spoofing and eXplainable AI (XAI)
arxiv.org·4d
🔲Cellular Automata
Large Language Models are Highly Aligned with Human Ratings of Emotional Stimuli
arxiv.org·4d
🧠Intelligence Compression
AI-enhanced technique assembles defect-free arrays with thousands of atoms
phys.org·1h
⚛️Quantum Tape
Disentangling the Drivers of LLM Social Conformity: An Uncertainty-Moderated Dual-Process Mechanism
arxiv.org·3d
🧠Intelligence Compression
Loading...Loading more...
AboutBlogChangelogRoadmap