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

Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory

Extensions and Shadows (7)
sites.psu.edu·4d
🧮Kolmogorov Complexity
Do not yell at the language model
seangoedecke.com·2d
⚡Proof Automation
The mysteries of Roman inscriptions are being solved with a new AI tool
theartnewspaper.com·2d·
Discuss: Hacker News
🤖Paleographic AI
Mistral’s new “environmental audit” shows how much AI is hurting the planet
arstechnica.com·19h
🔲Cellular Automata
Adding more CPU cores won't help if architecture is fundamentally sequential
signoz.io·2d·
Discuss: Hacker News, r/programming
🌊Stream Processing
What "Parse, don't validate" means in Python?
bitecode.dev·3d·
Discuss: r/programming
✅Format Verification
fossas/fossa-cli
github.com·11h
🔗Dependency Resolution
The Rise of Agentic AI: Frontend Dev Tools That Act for You in 2025
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Explainable Collaborative Problem Solving Diagnosis with BERT using SHAP and its Implications for Teacher Adoption
arxiv.org·4d
🔍Type Inference
Wasserstein GAN-Based Precipitation Downscaling with Optimal Transport for Enhancing Perceptual Realism
arxiv.org·1d
⧗Information Bottleneck
Beyond Linters: A Deep Dive into AI Code Review Tools for Post-Migration Quality
dev.to·2d·
Discuss: DEV
📏Code Metrics
Dev Diary - Summarize Your Code. Reflect Your Progress
dev.to·2d·
Discuss: DEV
🔄Reproducible Builds
AI Coding Stack That Isn't Complete Garbage: VSCode, Roocode, Augment (May 2025)
medium.com·2d·
Discuss: Hacker News
📏Code Metrics
Can I trust this paper?
link.springer.com·2d·
Discuss: Hacker News
💧Manuscript Watermarks
Multi-Modal Content Processing with strands agent and FAISS Memory
dev.to·1d·
Discuss: DEV
🤖Archive Automation
The Production Readiness Gap: What AI and Bootcamps Don't Teach About Backend Engineering
dev.to·19h·
Discuss: DEV
🌐WASI
Machine Learning Workflow for Analysis of High-Dimensional Order Parameter Space: A Case Study of Polymer Crystallization from Molecular Dynamics Simulations
arxiv.org·1d
🌀Differential Geometry
Beyond the Migration: Optimizing Legacy Code for AI Performance & Scalability
dev.to·5d·
Discuss: DEV
🌊Streaming Systems
Bolt.new in Action: A Technical Deep-Dive into AI-Assisted Full-Stack Development
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Shard Protocol: a preemptive logic layer built on Bolt
dev.to·4d·
Discuss: DEV
⚙️TLA+
Loading...Loading more...
AboutBlogChangelogRoadmap