🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ”¬ Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

Moving TIL Computer To Quartz
lmika.orgΒ·6h
πŸ•ΈοΈKnowledge Graphs
Monday 4 August, 2025
memex.naughtons.orgΒ·19h
πŸ“²Digitization
Anukari has macros, and a preset API
anukari.comΒ·1dΒ·
Discuss: Hacker News
✨Algebraic Effects
Synthetic Biology for Space Exploration
nature.comΒ·2hΒ·
Discuss: Hacker News
🧊Arctic Storage
Keep calm and carry on
boston.conman.orgΒ·2dΒ·
Discuss: Lobsters, Hacker News
πŸ–‹Typography
Adobe's new AI features make complex Photoshopping effortless
the-decoder.comΒ·1d
πŸ“„Document AI
Show HN: Gensee – Free AI Agent Optimization and Deployment
platform.gensee.aiΒ·3dΒ·
Discuss: Hacker News
πŸ€–AI Curation
Title: A Reality Check for Founders Seeking Series C Funding
dev.toΒ·19hΒ·
Discuss: DEV
βœ…Format Verification
Codestral 25.08 and the Complete Mistral Coding Stack for Enterprise
mistral.aiΒ·5dΒ·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
πŸ”„Language Evolution
Linux 6.17 Making Kdump Crash Kernel More Reliable, Less Wasted Memory
phoronix.comΒ·8h
πŸ”©Systems Programming
Working on GPT-powered semantic monitoring with YAML templates & CLI tools
dev.toΒ·3dΒ·
Discuss: DEV
πŸŒ€Brotli Internals
Is anyone interested in vibe coding on your phone?
dev.toΒ·10hΒ·
Discuss: DEV
πŸ“±QR Archaeology
Guided Depth Map Super-Resolution via Multi-Scale Fusion U-shaped Mamba Network
arxiv.orgΒ·15h
πŸ€–Advanced OCR
Mastering Gradient Boosting: XGBoost vs LightGBM vs CatBoost Explained Simply
dev.toΒ·1dΒ·
Discuss: DEV
πŸŽ›οΈFeed Filtering
MCP server to manage reusable prompts with Go text/template
reddit.comΒ·3dΒ·
Discuss: r/golang
🧩Shell Metaprogramming
Enabling Power Platform in a Pro-Code IT World
dev.toΒ·12hΒ·
Discuss: DEV
πŸ“Code Metrics
Regime-Aware Conditional Neural Processes with Multi-Criteria Decision Support for Operational Electricity Price Forecasting
arxiv.orgΒ·15h
🧠Machine Learning
Agentic large language models improve retrieval-based radiology question answering
arxiv.orgΒ·15h
πŸ”Information Retrieval
How I Set Up Qwen3-Coder with Claude Code (and Why You Should Too)
dev.toΒ·2dΒ·
Discuss: DEV
πŸš€Indie Hacking
The Role of Design Patterns in Building Efficient Software Solutions
dev.toΒ·4dΒ·
Discuss: DEV
πŸ”„Lens Laws
Loading...Loading more...
AboutBlogChangelogRoadmap