๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ Proof Assistants
Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Strict US written description and enablement requirement applied to ADCs and platform inventions (Seagen v Daiichi Sankyo)
ipkitten.blogspot.com
ยท
12h
ยท
Discuss:
ipkitten.blogspot.com
๐
Swedish Patents
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Edward Z. Yang: Learning to love mesh-oriented sharding
blog.ezyang.com
ยท
15h
๐๏ธ
Database Sharding
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
More accurate locations
so.nwalsh.com
ยท
11h
โ
Format Verification
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Otoroshi 17.9 is here: discover mailer, Swagger UI, zip site, llms.txt, workflows
clever.cloud
ยท
12h
โก
gRPC
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Bottoms Up Factoring, A Question of History
pballew.blogspot.com
ยท
1d
ยท
Discuss:
www.blogger.com
๐
Interval Arithmetic
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Critical flaws found in AI development tools dubbed an 'IDEsaster' โ data theft and remote code execution possible
tomshardware.com
ยท
1d
๐
Indie Hacking
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Data Processing Inequalities and Function-Space Variational Inference (2023)
blog.blackhc.net
ยท
21h
ยท
Discuss:
Hacker News
๐งฎ
Kolmogorov Bounds
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
System Design Interview: Design WhatsApp
newsletter.systemdesign.one
ยท
5h
๐
Streaming Systems
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Lessons from a Swift Interview
oskargroth.com
ยท
3d
ยท
Discuss:
Hacker News
๐
Functional Compilers
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
State of decay in self-hosted commenting (code review)
bykozy.me
ยท
2d
ยท
Discuss:
Hacker News
๐
CBOR
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Exoplanet formation inference using conditional invertible neural networks
arxiv.org
ยท
16h
๐ง
Machine Learning
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
n8n AI Automation Workflows: 5 Templates That Save 100+ Hours
dev.to
ยท
5h
ยท
Discuss:
DEV
๐ค
Archive Automation
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Text Rationalization for Robust Causal Effect Estimation
arxiv.org
ยท
16h
๐ง
Machine Learning
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Multiplying our way out of division
xania.org
ยท
1d
๐
Interval Arithmetic
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Inertia-Constrained Generation Scheduling: Sample Selection, Learning-Embedded Optimization Modeling, and Computational Enhancement
arxiv.org
ยท
16h
โก
Incremental Computation
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
I built an API testing tool that generates tests from a single cURL
github.com
ยท
7h
ยท
Discuss:
Hacker News
๐
Homelab Pentesting
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
[P] Fast and Simple Solution to Kaggle's `Jigsaw - Agile Community Rules Classification`
reddit.com
ยท
12h
ยท
Discuss:
r/MachineLearning
๐
Feed Optimization
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
I made a prompt framework that makes LLMs stop hedging and speak straight
news.ycombinator.com
ยท
18h
ยท
Discuss:
Hacker News
โจ
Effect Handlers
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
CFO: Learning Continuous-Time PDE Dynamics via Flow-Matched Neural Operators
arxiv.org
ยท
16h
๐
Riemannian Computing
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The Effect of Document Summarization on LLM-Based Relevance Judgments
arxiv.org
ยท
16h
๐
Information Retrieval
Preview
Share
Show Feeds
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
« Page 10
โข
Page 12 »