๐Ÿฟ๏ธ 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

Discussing localization for harmononyms (Shasavistic music theory)
youtube.comยท1dยท
Discuss: r/u_l4mplight
๐Ÿ”„Category Theory
A Constant-Time Hardware Architecture for the CSIDH Key-Exchange Protocol
arxiv.orgยท30m
๐ŸคProtocol Design
โญ ggml-org whisper.cpp
waylonwalker.comยท1d
๐Ÿ‘Open Source Software
The 2R-Conjecture for the Hegselmann--Krause Model: A Proof in Expectation and New Directions
arxiv.orgยท4d
๐ŸŽฒProbabilistic Programming
Family Alignment Problems
lesswrong.comยท19h
๐Ÿ”„Category Theory
Topos Causal Models
arxiv.orgยท5d
๐Ÿ”„Category Theory
After studying high-performing PMs for years, I noticed something strange:
threadreaderapp.comยท13h
๐ŸŽฒProbabilistic Programming
Adaptive Thermal Management via Retrofit Kinetic Facade Optimization
dev.toยท13hยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Seeking Architectural Feedback on a Local-First, Self-Coding AI Assistant (README Inside)
reddit.comยท1dยท
Discuss: r/AskProgramming
๐Ÿ”งCompiler Design
Elegant Middleware Architecture Implementation(5785)
dev.toยท22hยท
Discuss: DEV
๐Ÿฆ€Rust
Debiasing Multimodal Large Language Models via Penalization of Language Priors
arxiv.orgยท3d
๐ŸŽฒProbabilistic Programming
HistoViT: Vision Transformer for Accurate and Scalable Histopathological Cancer Diagnosis
arxiv.orgยท30m
๐Ÿ”—Parser Combinators
I took a break
waylonwalker.comยท1d
๐ŸงฎProgramming Language Theory
Symfony Station Communiquรฉ - Stardate: โœฆ 15 August 2025 โœฆ: The Latest Symfony, Drupal, TYPO3, and PHP News!
dev.toยท14hยท
Discuss: DEV
๐Ÿ‘Open Source Software
Enhanced Multiphase Flow Characterization via Deep Learning and Optical Tomography
dev.toยท19hยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Dynamic Ride-Pooling Optimization via Adaptive Bayesian Network for Urban On-Demand Transit
dev.toยท1dยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
โญ grantjenks python-c2f
waylonwalker.comยท1d
๐ŸงฎProgramming Language Theory
# Unlocking Hidden Laravel Eloquent Features for Pro-Level Query Optimization ๐Ÿš€
dev.toยท17hยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Theory
The Knowledge-Reasoning Dissociation: Fundamental Limitations of LLMs in Clinical Natural Language Inference
arxiv.orgยท3d
๐Ÿ”—Parser Combinators
Automated Granular Pest Detection & Remediation via Multi-Modal Sensor Fusion in Vertical Farms
dev.toยท2dยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Loading...Loading more...
AboutBlogChangelogRoadmap