🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Dependent Types

Type-level Programming, Proof-carrying Code, Agda, Type Safety

The Mongolian startup defying Big Tech with its own LLM
restofworld.org·2h
🇯🇵Japanese Computing
Friday 22 August, 2025
memex.naughtons.org·12h
📰RSS Archaeology
DE23-Lite Development Kit with Agilex 3 FPGA Targets Education and Prototyping
linuxgizmos.com·10h·
Discuss: Hacker News
⚡Homebrew CPUs
[Chips and Cheese] Skymont in Gaming Workloads
old.chipsandcheese.com·1d·
Discuss: Hacker News, r/hardware
⚡Cache Coherence
The scientific method and its application to the science of deep learning
james-simon.github.io·1d·
Discuss: Hacker News
🌡️Preservation Physics
Simulations - the secret behind every great agent
sierra.ai·1d·
Discuss: Hacker News
🔍Concolic Testing
The world doesn't have enough money to pay for this much AI
pracap.com·8h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Let's Talk About AI Workflows
rkayg.com·3d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Datu AI Analyst open-source: Business insights in minutes powered by MCP
github.com·2d·
Discuss: Hacker News
🚚Data Migration
Gemini has a few tricks up its sleeve that ChatGPT still doesn’t – here are 3 things Gemini can do better than ChatGPT
techradar.com·1d
🎯Content Recommendation
.DOCX — An XML File in Zipped Disguise
dev.to·14h·
Discuss: DEV
📄PostScript
InjectionNext: The fourth evolution of Code Injection for Xcode
github.com·3d·
Discuss: Hacker News
🦀Rust Macros
Diving Deep: K-Fold Cross-Validation
dev.to·3d·
Discuss: DEV
🗂️Vector Search
U.S. CISA adds Apple iOS, iPadOS, and macOS flaw to its Known Exploited Vulnerabilities catalog
securityaffairs.com·4h
🛡Cybersecurity
Correlations Are Ruining Your Gradient Descent
arxiv.org·2d
🧠Machine Learning
How Infosys built a generative AI solution to process oil and gas drilling data with Amazon Bedrock
aws.amazon.com·2d
📰RSS Archaeology
Day 72: The Daily Struggle: Consistency, Class, and Code
dev.to·21h·
Discuss: DEV
⚔️Lean Tactics
Top Free Online Python Compilers for Beginners and Developers
dev.to·2d·
Discuss: DEV
🏗️Compiler Archaeology
Enhanced Time Series Anomaly Detection via Higher-Order Spectral Clustering and Dynamic Thresholding
dev.to·2d·
Discuss: DEV
📈Time Series
GitKraken and Its AI Superpowers: Why I’m Loving it as a Developer
dev.to·1d·
Discuss: DEV
🌳Git Internals
Loading...Loading more...
AboutBlogChangelogRoadmap