🐿️ 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

Saving Energy in Self-Hosting, Wake-on-LAN, and Rust
guibeira.dev·1d·
Discuss: Hacker News
🏠HomeLab
SF Giants continue gaining ground on Mets as Adames, Bailey homer
mercurynews.com·17h
📰RSS Archaeology
DuckDB npm Account Compromised in Continuing Supply Chain Attack
socket.dev·1d·
Discuss: Hacker News
🔓Hacking
UAE launches new low-cost AI model, challenging OpenAI and DeepSeek. Meet K2 Think
euronews.com·21h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Apple Intelligence: Everything you need to know about Apple’s AI model and services
techcrunch.com·1d
🍎Apple Computing
[D] IJCNLP-AACL 2025: Paper Reviews (ARR July 2025 Cycle)
reddit.com·1d·
Discuss: r/MachineLearning
📡Information theory
Ask HN: How can AI be used in brain machine interfaces?
news.ycombinator.com·1d·
Discuss: Hacker News
🤖Tape Automation
Run Python in Your Browser with PyScript
dev.to·1d·
Discuss: DEV
🛡️WASM Sandboxing
Former top US government tech advisor says getting OpenAI's $1 deals to work could come at a high cost
businessinsider.com·21h
🚀Indie Hacking
Introducing vt, the Val Town CLI
blog.val.town·21h·
Discuss: Hacker News
🪟Awesome windows command-line
Adaptive Acoustic Metamaterial Composites for Broadband Noise Reduction via Topology Optimization
dev.to·13h·
Discuss: DEV
⚙️Tape Engineering
AStake provides a comprehensive platform for staking
dev.to·13h·
Discuss: DEV
📰Feed Readers
KLA Corporation (KLAC) Presents At Goldman Sachs Communacopia + Technology Conference 2025 Transcript
seekingalpha.com·3h
⏳Time Capsule Networks
Time To Say Goodbye: Potbelly's Acquisition And What It Means For Investors
seekingalpha.com·2h
📡RSS
Identifiability and minimality bounds of quantum and post-quantum models of classical stochastic processes
arxiv.org·6d
🧮Kolmogorov Bounds
AI tool built for learners supports learning better than ChatGPT
phys.org·2d
🔲Cellular Automata
XSS in Google IDX Workstation → RCE! $22,500 Bounty Earned
infosecwriteups.com·1d
🌐DNS Security
Silence is golden – or at least does not affect trade mark rights
ipkitten.blogspot.com·1d·
Discuss: ipkitten.blogspot.com
📋Swedish Patents
Cut Costs, Not Accuracy: LLM-Powered Data Processing with Guarantees
arxiv.org·6d
💻Local LLMs
Taming Infinity: How AI Plans with Delayed Decisions
dev.to·4d·
Discuss: DEV
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap