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

Transcript: NGAUS 147th General Conference and Exhibition
jcs.milยท8h
๐ŸคProtocol Design
OTC products evaluated for depressive symptoms
frontiersin.orgยท2hยท
Discuss: Hacker News
๐Ÿ‘Open Source Software
The Sovereign Engineering Philosophy
sovereignengineering.ioยท8h
๐Ÿ”Cryptography
Random screen freezes but still working on the background
paste.cachyos.orgยท6hยท
Discuss: r/cachyos
๐ŸงLinux
Entropic Causal Holography: An Information-Theoretic Past Hypothesis in Holographic Toy Models
zenodo.orgยท4hยท
Discuss: r/LLM
๐Ÿ“ŠInformation Theory
looking for a browser that will be good for university
reddit.comยท2hยท
Discuss: r/browsers
๐Ÿ’ปOperating Systems
Values to Institutions โ€“ Where Are We Without Vision?
znetwork.orgยท8h
๐Ÿ—๏ธSoftware Architecture
Champions League draw: 2025-26 group phase fixtures revealed โ€“ live
theguardian.comยท8h
โš–Algorithmic Game Theory
Techno-economic assessment of gas turbine combined cycles with multi-stage ammonia decomposition
sciencedirect.comยท10h
๐ŸงฎProgramming Language Theory
Document Summarization & QA in RAG without Frameworks (PyMuPDF & ChromaDB)
pub.towardsai.netยท5d
๐Ÿ”งCompiler Design
How Retrieval Algorithms Shape Better LLM Responses?
dev.toยท2dยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Theory
Sustainable electrified seaports: A coordinated energy and logistics scheduling approach for future maritime hubs
sciencedirect.comยท10h
โš–Algorithmic Game Theory
I Supercharged My Browser GPT with Rust and WebAssembly: The Journey to a Dual-Engine AI
dev.toยท2dยท
Discuss: DEV
๐Ÿฆ€Rust
A Hands-on Agentic RAG Design Example
pub.towardsai.netยท5d
๐ŸŽฒProbabilistic Programming
Ask Language Log: "spends his/her/their time on"?
languagelog.ldc.upenn.eduยท10h
๐Ÿ”—Parser Combinators
SEMANTIC HTML
dev.toยท2hยท
Discuss: DEV
๐ŸงฎProgramming Language Theory
Non-Dual Language is Enlightenment
lesswrong.comยท4d
๐ŸงฎProgramming Language Theory
Real-Time Anomaly Detection in Friction Stir Welding using Multi-Modal Sensor Fusion and Bayesian Inference
dev.toยท1dยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Just start using it...
reddit.comยท11hยท
Discuss: r/ObsidianMD
๐Ÿ‘Open Source Software
Do Multimodal LLMs See Sentiment?
arxiv.orgยท2d
๐Ÿ”—Parser Combinators
Loading...Loading more...
AboutBlogChangelogRoadmap