๐Ÿฟ๏ธ 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 Curious Case of the โ€œๆžโ€ Token Bug in DeepSeek V3.1
pixelstech.netยท1d
โœ…Format Verification
We all notice this at the Airport
sivunq.github.ioยท11hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธTerminal Renaissance
Go and SQLite Best Practices
jacob.goldยท3dยท
Discuss: Hacker News
๐Ÿ’พSQLite
MIT's 95% AI failure rate is wrong
arnon.dkยท1dยท
Discuss: Hacker News
๐Ÿ”Vector Forensics
Chaos and Coherence in Business
commoncog.comยท2dยท
Discuss: Hacker News
๐ŸšShell Calculus
First week lessons learned from marketing a product as a developer
inventronix.clubยท3hยท
Discuss: Hacker News
๐ŸŽฏRecommendation Metrics
Google to invest $9 billion in Virginia data centers for cloud and AI expansion
the-decoder.comยท54m
๐Ÿค–Advanced OCR
Uncle Sam throws AI 'chili cook-off' to spice up healthcare fraud detection
theregister.comยท23h
๐Ÿ”Vector Forensics
My 10 favorite things about the new Pixel 10 Pro XL
blog.googleยท12m
๐ŸŒˆColor Archaeology
Ask HN: Building tools to make WhatsApp integration less painful for developers
news.ycombinator.comยท3hยท
Discuss: Hacker News
๐ŸŒWASI
Velcro-like protein sticks to targets to improve plant stress responses
phys.orgยท2h
๐Ÿ”ขDenotational Semantics
When AI meets ancient Rome
phys.orgยท2d
๐ŸบComputational Archaeology
CVE-2025-7775: Citrix NetScaler ADC and NetScaler Gateway Zero-Day Remote Code Execution Vulnerability Exploited in the Wild
tenable.comยท1d
๐Ÿ Homelab Pentesting
Show HN: Chrome Extension to Preview Escaped Strings
github.comยท1dยท
Discuss: Hacker News
๐Ÿ“œTEI Encoding
Reverse Engineered Raspberry Pi Compute Module 5
github.comยท3dยท
Discuss: Hacker News
๐Ÿ”ŒSingle Board PC
Comparing Six Deep Learning Feature Extractors for CBIR Tasks
hackernoon.comยท1d
๐Ÿ“ŠLearned Metrics
Intelligence everywhere: scaling the IoT with flexible chips
techradar.comยท1d
๐Ÿ–ฅ๏ธModern Terminals
Text Takes Over: A Study of Modality Bias in Multimodal Intent Detection
arxiv.orgยท3d
๐ŸŽ™๏ธWhisper
Uni students are using AI to 'ask stupid questions' and get feedback on their work
phys.orgยท1d
๐Ÿค–AI Curation
Zero-shot Context Biasing with Trie-based Decoding using Synthetic Multi-Pronunciation
arxiv.orgยท2d
๐ŸŽ™๏ธWhisper
Loading...Loading more...
AboutBlogChangelogRoadmap