🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔢 Mathematical Logic

Model Theory, Proof Theory, Completeness, Decidability

Burner Phone 101 Workshop
bespacific.com·10h
🛡️IoT Security
Walkthrough for Bellingcat's 'Fresh Faced' challenge
wanderingjackdaw.bearblog.dev·1d
🧫Cellular Automata
Key genes that act as a brake on blood cancer growth reveal potential treatment targets
medicalxpress.com·4h
🧮Programming Language Theory
PQ-STAR: Post-Quantum Stateless Auditable Rekeying
eprint.iacr.org·2d
🔐Cryptography
Code Reviews That Actually Improve Frontend Quality
denodell.com·1d
📦WebAssembly
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·1d·
Discuss: Hacker News
🔍Static Analysis
Vif, a new webframework for OCaml 5
discuss.ocaml.org·11m·
Discuss: Hacker News
🤝Protocol Design
Small models can't learn search tasks despite more data
ppc.land·1d
📈Complexity Theory
AI will create a near-term socioeconomic gap among knowledge workers
ericdodds.com·18h·
Discuss: Hacker News
🧩Theorem Proving
Turning My Daily Commute into a Data Visualization Project
dev.to·22h·
Discuss: DEV
🎲Probabilistic Programming
Signal and Noise: Reducing uncertainty in language model evaluation
allenai.org·1d
🎲Probabilistic Programming
Adaptive Differential Signal Calibration via Hyperdimensional Vector Projection for High-Speed Data Transmission
dev.to·10h·
Discuss: DEV
📊Information Theory
(Part 4) Build a Simple Chat Character Gallery: Adding Searchbar & Filter
dev.to·20h·
Discuss: DEV
🤝Protocol Design
Non-genetic neuromodulation with graphene optoelectronic actuators for disease models, stem cell maturation, and biohybrid robotics
nature.com·1d
🧫Cellular Automata
Games as Model Eval: 1-Click Deploy AI Town on Fly.io
dev.to·2d·
Discuss: DEV
🧫Cellular Automata
Structural insight: Metaclassical physics
fexpr.blogspot.com·2d
🔐Cryptography
18 AI Coding Sidekicks That'll Make You Feel Like a Programming Wizard in 2025
vibe.forem.com·1d·
Discuss: DEV
👐Open Source Software
Building Like We Mean It: Why Architecture Matters in 2024 🏗️
dev.to·2d·
Discuss: DEV
🏗️Software Architecture
History is filled with men who, cloaked in the robes of justice, became its greatest executioners. They don't arrive with a bloody axe, but with a quiet voice, ...
threadreaderapp.com·1h
🧭SMT Solvers
Retrieval-augmented reasoning with lean language models
arxiv.org·3d
🧭SMT Solvers
Loading...Loading more...
AboutBlogChangelogRoadmap