🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

PoDoFo 1.0 released
pdfa.orgΒ·1d
πŸ“„PDF Internals
\(-e^{i\pi}\) to Watch: Another Roof
aperiodical.comΒ·1d
πŸ“Mathematical Art
Finding entities with given uuids in the current project
mbork.plΒ·3d
πŸ—„οΈDatabase Internals
Open source BOM management (for me)
vincentuden.xyzΒ·1dΒ·
Discuss: Hacker News
⚑Circuit Archaeology
The Mask-Off Moment for Digital Identity
newdesigncongress.orgΒ·1dΒ·
Discuss: Lobsters, Hacker News
πŸ‡ΈπŸ‡ͺNordic Cryptography
Sampling and entropy numbers in the uniform norm
arxiv.orgΒ·13h
πŸ“ŠCompression Proofs
Quantum Scientists Have Built a New Math of Cryptography
quantamagazine.orgΒ·4dΒ·
Discuss: Hacker News
πŸ”Quantum Security
Is Pydantic as safe as It Is popular?
nocomplexity.comΒ·7h
πŸ›‘οΈWASM Security
People Are Highly Cooperative with Large Language Models, Especially When Communication Is Possible or Following Human Interaction
arxiv.orgΒ·1d
πŸ”²Cellular Automata
πŸ“ˆ Deploy frequency improvement after switching to AI assista
dev.toΒ·1dΒ·
Discuss: DEV
βš™οΈBatch Processing
RISEE: A Highly Interactive Naturalistic Driving Trajectories Dataset with Human Subjective Risk Perception and Eye-tracking Information
arxiv.orgΒ·13h
πŸŒ€Riemannian Computing
Simulating Human Behavior with the Psychological-mechanism Agent: Integrating Feeling, Thought, and Action
arxiv.orgΒ·13h
πŸ”²Cellular Automata
SkinDualGen: Prompt-Driven Diffusion for Simultaneous Image-Mask Generation in Skin Lesions
arxiv.orgΒ·13h
πŸ€–Advanced OCR
SWIFT: A General Sensitive Weight Identification Framework for Fast Sensor-Transfer Pansharpening
arxiv.orgΒ·13h
πŸ“ŠRate-Distortion Theory
On Arbitrary Predictions from Equally Valid Models
arxiv.orgΒ·1d
🧠Machine Learning
πŸ“ˆ Bug rate improvement after switching to task automation:
dev.toΒ·1dΒ·
Discuss: DEV
πŸ€–Archive Automation
FaRMamba: Frequency-based learning and Reconstruction aided Mamba for Medical Segmentation
arxiv.orgΒ·13h
🧠Machine Learning
Decoupling Knowledge and Reasoning in LLMs: An Exploration Using Cognitive Dual-System Theory
arxiv.orgΒ·4d
πŸ”—Constraint Handling
Why Java is Still a Top Backend Language in the AI Era
dev.toΒ·2dΒ·
Discuss: DEV
🌊Streaming Systems
We need an alter-net now
aardvark.co.nzΒ·1h
πŸ›‘Cybersecurity
Loading...Loading more...
AboutBlogChangelogRoadmap