🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⏰ Temporal Logic
LTL, CTL, Model Checking, System Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Context engineering case studies: Etsy-specific question answering
etsy.com
·
2d
📊
Feed Optimization
Discrete optimization for on-call scheduling (2021)
rainforestqa.com
·
16h
·
Discuss:
Lobsters
,
Hacker News
🧮
Compute Optimization
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com
·
19h
·
Discuss:
Hacker News
,
r/programming
⚡
Performance Mythology
Trap: Autoregressive Transformers in APL
github.com
·
3d
·
Discuss:
Lobsters
📊
APL Heritage
Scamlexity
guard.io
·
1d
·
Discuss:
Hacker News
,
Hacker News
🎫
Kerberos Attacks
CZI Launches RBio: Reasoning Model Trained on Virtual Cell Simulations
chanzuckerberg.com
·
13h
·
Discuss:
Hacker News
🏴
Scottish Computing
Attention Is the New Big-O: A Systems Design Approach to Prompt Engineering
alexchesser.medium.com
·
2d
·
Discuss:
Hacker News
⚡
Effectful Programming
Express middleware for JWT-based authentication against FusionAuth
github.com
·
1d
·
Discuss:
Hacker News
🎬
WebCodecs API
DeepThink3D: Enhancing Large Language Models with Programmatic Reasoning in Complex 3D Situated Reasoning Tasks
arxiv.org
·
4h
⚡
Incremental Computation
Adaptive Autonomous Agent Calibration Via Dynamic Bayesian Meta-Learning
dev.to
·
2d
·
Discuss:
DEV
📊
Quantization
Futurity as Infrastructure: A Techno-Philosophical Interpretation of the AI Lifecycle
arxiv.org
·
4h
⚖️
Emulation Ethics
My AI Unit Test Agent is Alive! Now for Part 2: The QA Agent 🤖
dev.to
·
15h
·
Discuss:
DEV
🏠
Homelab Pentesting
Advanced Aerosol Classification via Dynamic Feature Fusion and Bayesian Inference in Cleanroom Monitoring
dev.to
·
1d
·
Discuss:
DEV
📄
Document Digitization
XDR-LVLM: An Explainable Vision-Language Large Model for Diabetic Retinopathy Diagnosis
arxiv.org
·
4h
🤖
Advanced OCR
DEF CON 33: Field Notes on AI Security, AI Red Teaming, and the Road Ahead
hackerone.com
·
18h
⚔️
Lean Tactics
[Media] I Have No Mut and I Must Borrow
reddit.com
·
11h
·
Discuss:
r/rust
🦀
Rust Borrowing
The Developer’s Guide to AI Application Testing: 10 Essential Tools for 2025
dev.to
·
1d
·
Discuss:
DEV
🔍
Concolic Testing
Hybrid Intelligence Systems and Cognitive Biases in AI: Integrating Large Language Models with Classical Reasoning for E
dev.to
·
29m
·
Discuss:
DEV
🔲
Cellular Automata
Classification errors distort findings in automated speech processing: examples and solutions from child-development research
arxiv.org
·
4h
🧮
Kolmogorov Bounds
Efficient Constraint-Aware Flow Matching via Randomized Exploration
arxiv.org
·
2d
🎯
Performance Proofs
Loading...
Loading more...
« Page 8
•
Page 10 »