🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
➡️ Category Theory

Functors, Monads, Mathematical Structures, Abstract Algebra

Has anyone taken the BE-ESS-01 Backbase Backend Developer certification? Would love to hear about the questions, exam format and difficulty?
backbase.com·21m·
Discuss: r/programming
🔤DSLs
How do I get better at programming
google.com·2d·
Discuss: r/programming
💻CS
The Oddities of Collective Names
ornitheology.com·2d·
Discuss: Hacker News
🍎Apple
A Geek's Guide to Photography
lcamtuf.coredump.cx·22m·
Discuss: Hacker News
💾Retro Computing
Inside The Box: Everything I Did with an Arduino Starter Kit
lopespm.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Small useful tools for web development
voxelmanip.se·19h·
Discuss: Hacker News
❄️Nixified Development
Show HN: Potions – A simple way to save, version, and share AI prompts
potions.io·21h·
Discuss: Hacker News
✓Automated Theorem Proving
AI integration in financial services: review of trends and regulatory challenges
nature.com·23h·
Discuss: Hacker News
🤖Program Synthesis
China Won the Chip War While You Were Arguing About Gallium
kumarletter.com·6h·
Discuss: Hacker News
💾Retro Computing
Pre-Auth SQLi to RCE – Fortinet FortiWeb Fabric Connector (CVE-2025-25257)
labs.watchtowr.com·1d·
Discuss: Hacker News
🛡️seL4
AI inevitabilism is a framing device designed to remove your freedom of choice
tomrenner.com·1d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
The Power of Certainty: How Confident Models Lead to Better Segmentation
arxiv.org·1d
🔍Formal Verification
CNeuroMod-THINGS, a densely-sampled fMRI dataset for visual neuroscience
arxiv.org·1d
🐫OCaml
Hierarchical Abstraction Enables Human-Like 3D Object Recognition in Deep Learning Models
arxiv.org·1d
🔄Finite State Machines
Uncanny or Not? Perceptions of AI-Generated Faces in Autism
arxiv.org·2d
🏹Effect Systems
Finding Common Ground: Using Large Language Models to Detect Agreement in Multi-Agent Decision Conferences
arxiv.org·2d
✓Automated Theorem Proving
A comprehensive study of LLM-based argument classification: from LLAMA through GPT-4o to Deepseek-R1
arxiv.org·2d
✓Automated Theorem Proving
MoCap-Impute: A Comprehensive Benchmark and Comparative Analysis of Imputation Methods for IMU-based Motion Capture Data
arxiv.org·1d
🔠Type-Level Programming
Mutual Information Free Topological Generalization Bounds via Stability
arxiv.org·6d
🐫OCaml
Information geometric regularization of the barotropic Euler equation
arxiv.org·1d
🐫OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap