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

Analyzing CrossRAT
objective-see.com·12h
🛣️BGP Hijacking
The theorem on formal functions
math.columbia.edu·6d
⚔️Lean Theorem
Free idea: auto reply as a service
interconnected.org·36m
🏠Personal Archives
Vale: Your style, our editor
vale.sh·19h
🔓Open Source Software
Hackers deploy DripDropper via Apache ActiveMQ flaw, patch systems to evade detection
securityaffairs.com·16h
🔓Hacking
The Four Dimensions of Tone of Voice
nngroup.com·1d·
Discuss: Hacker News
🎯Content Recommendation
Could an AI Barbie Stunt the Emotional Growth of a Generation?
spectrum.ieee.org·19h·
Discuss: r/technews
🔲Cellular Automata
Search for extraterrestrials: Only very specific constellations are promising
heise.de·12h
🏺Computational Archaeology
Limitron – a minimal, lock-free, GC-friendly rate limiter for Go
reddit.com·3d·
Discuss: r/golang
🔒Linear Types
'Rosetta stone' of code allows scientists to run core quantum computing operations
phys.org·23h
⚛️Quantum Circuits
ConsciousCoin: A Working Proof-of-Consciousness Protocol
dev.to·8h·
Discuss: DEV
🔐Quantum Cryptography
Researchers glimpse the inner workings of protein language models
news.mit.edu·3d
🔢Denotational Semantics
FACET:Teacher-Centred LLM-Based Multi-Agent Systems-Towards Personalized Educational Worksheets
arxiv.org·4d
🗺️Competency Maps
Context Matters: Incorporating Target Awareness in Conversational Abusive Language Detection
arxiv.org·3d
🎙️Whisper
Heterogeneous Influence Maximization in User Recommendation
arxiv.org·2d
🎯Content Recommendation
[R] Independent research uploaded to Zenodo: Exploring robotics, AI, and emotional intelligence frameworks
reddit.com·1d·
Discuss: r/MachineLearning
🌍Cultural Algorithms
From Mud to Masterpiece: Meet dc-artisan and Craft Better Prompts
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Lifelong Learner: Discovering Versatile Neural Solvers for Vehicle Routing Problems
arxiv.org·3d
🧮SMT Solvers
Smart Robot Car as autonomous line successor
hackster.io·1h
⚙️Cassette Mechanics
State of Abdominal CT Datasets: A Critical Review of Bias, Clinical Relevance, and Real-world Applicability
arxiv.org·2d
🏺Computational Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap