🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🎯 Performance Proofs
Complexity Analysis, Algorithm Verification, Formal Bounds, Optimization Theory
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
On the way to medical superintelligence: Microsoft presents research
heise.de
·
35m
🎵
Audio ML
Just speak the truth
drewdevault.com
·
20h
·
Discuss:
Hacker News
🐧
FOSS
Self-Improving CLI Agents in 5 minutes
colinharman.substack.com
·
3d
·
Discuss:
Substack
⚡
Proof Automation
Datadog's $65M/year customer mystery solved
blog.pragmaticengineer.com
·
2h
·
Discuss:
Hacker News
🌊
Stream Processing
Spark AI (YC W24) is hiring a full-stack engineer in SF (founding team)
ycombinator.com
·
2d
·
Discuss:
Hacker News
🌀
Brotli Internals
Multi-Stage Programming with Splice Variables
tsung-ju.org
·
2d
·
Discuss:
Hacker News
🔗
Concatenative Programming
Show HN: DotnetEbpf - Write Linux eBPF kernel applications in C#
github.com
·
8h
·
Discuss:
Hacker News
🛡️
eBPF Security
Focus on the Experts: Co-designing an Augmented Reality Eye-Gaze Tracking System with Surgical Trainees to Improve Endoscopic Instruction
arxiv.org
·
16h
🗺️
Competency Maps
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org
·
6d
🧮
SMT Solvers
ARCH-COMP25 Category Report: Stochastic Models
arxiv.org
·
6d
👑
Coq Tactics
Implementing a Real-World Approval Workflow with Meridian (Part 2)
dev.to
·
18h
·
Discuss:
DEV
🔄
Archival Workflows
AI-Powered Cybersecurity Systems: Attack Prediction Models
dev.to
·
2h
·
Discuss:
DEV
🎯
Threat Hunting
BlokLy AI: From space to site
dev.to
·
14h
·
Discuss:
DEV
🌀
Brotli Internals
How GenAI Gets Smarter: The Power of Context with RAG
dev.to
·
1d
·
Discuss:
DEV
🌀
Brotli Internals
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org
·
4d
🔲
Cellular Automata
Student Learning Journey Framework(1751201949184500)
dev.to
·
1d
·
Discuss:
DEV
🗺️
Competency Maps
Single Core Hundred Thousand Concurrency(1750947668443300)
dev.to
·
4d
·
Discuss:
DEV
🌊
Stream Processing
Harnessing AI and Automation for the Future of Innovation in DevOps
devops.com
·
13h
🏠
Homelab Orchestration
Advancing Artificial Intelligence: Safety, Personalization, and Practical Applications in Recent Research
dev.to
·
3d
·
Discuss:
DEV
🔲
Cellular Automata
[R] Free access to an H100. What can I build?
reddit.com
·
19h
·
Discuss:
r/MachineLearning
🏠
Homelab Archaeology
Loading...
Loading more...
« Page 27
•
Page 29 »