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

Rotten Windowsills: Repair or Replace?
popularmechanics.comยท8h
๐Ÿ•ต๏ธFormat Recovery
If the Window Runtime PropertyValue is for boxing non-inspectables, why is there a PropertyValue.CreateInspectable?
devblogs.microsoft.comยท1d
๐Ÿ›Fuzzing
Steve Jobs, the Xerox Alto, and computer typography
righto.comยท1dยท
Discuss: Hacker News
๐ŸŽApple Computing
Debcraft โ€“ Easiest way to modify and build Debian packages
optimizedbyotto.comยท2hยท
Discuss: Hacker News
๐Ÿ“ฆPackage Managers
Show HN: Sapient โ€“ Agentic Game Development in Unreal Engine (C++, BPs, BTs)
sapientstudio.comยท3dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Gaslight-driven development
tonsky.meยท3dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
How Kiro Transformed My Vibe Coding into Structured, Production-Ready Development
dev.toยท3hยท
Discuss: DEV
๐ŸงฑImmutable Infrastructure
What Happens When AI Starts Writing Your APIs?
devops.comยท16h
โš™๏ธTLA+
Class-Proportional Coreset Selection for Difficulty-Separable Data
arxiv.orgยท2d
๐Ÿง Machine Learning
S2SRec2: Set-to-Set Recommendation for Basket Completion with Recipe
arxiv.orgยท3d
๐ŸงญContent Discovery
A Study on the Application of Artificial Intelligence in Ecological Design
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Fine-tuning Large Language Model for Automated Algorithm Design
arxiv.orgยท2d
๐Ÿ”จCompilers
Sparse Autoencoders Can Capture Language-Specific Concepts Across Diverse Languages
arxiv.orgยท2d
๐Ÿ’ปLocal LLMs
Google I/O Connect 2025 Recap: Gemini, Open Models, and AI in Action
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Iterative Augmentation with Summarization Refinement (IASR) Evaluation for Unstructured Survey data Modeling and Analysis
arxiv.orgยท1d
โš™๏ธCompression Benchmarking
AI for Explosive Ordnance Detection in Clearance Operations: The State of Research
arxiv.orgยท1d
๐ŸŽฏThreat Hunting
Cross-lingual Few-shot Learning for Persian Sentiment Analysis with Incremental Adaptation
arxiv.orgยท1d
๐ŸŽ›๏ธFeed Filtering
Generate share-worthy social media posts in seconds!
dev.toยท10hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Unleashing Vision Foundation Models for Coronary Artery Segmentation: Parallel ViT-CNN Encoding and Variational Fusion
arxiv.orgยท22h
๐Ÿค–Advanced OCR
Synthesizing Reality: Leveraging the Generative AI-Powered Platform Midjourney for Construction Worker Detection
arxiv.orgยท22h
๐Ÿค–Advanced OCR
Loading...Loading more...
AboutBlogChangelogRoadmap