Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Alloy
⚙️ Alloy
Specific
model checking, formal specification, relational logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
62
posts in
20.0
ms
CRN
SIG
Seminar, 17 June 2026
🧬
Computational Biology
science.nasa.gov
·
6d
6 days ago
Actions for CRN SIG Seminar, 17 June 2026
SIG
Autoscaling Bi-Weekly Karpenter Working Group for 2026-06-08T16:00:05Z.mp4
⚡
Incremental Computation
Content type:
Video
youtube.com
·
2d
2 days ago
Actions for SIG Autoscaling Bi-Weekly Karpenter Working Group for 2026-06-08T16:00:05Z.mp4
Less-relevant results
Nominations now open for NRO NC Election 2026
💬
NATS
Content type:
Blog
blog.apnic.net
·
13h
13 hours ago
Actions for Nominations now open for NRO NC Election 2026
'Deadliest Catch' star
Sig
Hansen addresses retirement rumors after multiple heart attacks
🦀
Rust
Content type:
News
local12.com
·
5d
5 days ago
Actions for 'Deadliest Catch' star Sig Hansen addresses retirement rumors after multiple heart attacks
Show HN: Nucleus – A security-hardened, Nix-native container runtime
💻
Operating Systems
Content type:
Code
github.com
·
18h
18 hours ago
·
Hacker News
Actions for Show HN: Nucleus – A security-hardened, Nix-native container runtime
1,200-Year-Old Game Board Found in Ancient Volubilis Carved into the Steps of a Medieval Public Bath
🔗
Dependent Types
labrujulaverde.com
·
1d
1 day ago
Actions for 1,200-Year-Old Game Board Found in Ancient Volubilis Carved into the Steps of a Medieval Public Bath
Event: 15. juni, 15. juli og 14 august 2026 – Refusal summer reading club
🔗
Session Types
analogist.dk
·
5d
5 days ago
Actions for Event: 15. juni, 15. juli og 14 august 2026 – Refusal summer reading club
SIG
Network Meeting for 2026-06-08
🔐
Noise Protocol
Content type:
Video
youtube.com
·
1d
1 day ago
Actions for SIG Network Meeting for 2026-06-08
The History Behind the Signs Lighting Up Our Daily Lives:
Vacuum-Form
Signage and Human Connection
🔤
Typography
Content type:
News
Content type:
Blog
bethmathews.substack.com
·
18h
18 hours ago
·
Substack
Actions for The History Behind the Signs Lighting Up Our Daily Lives: Vacuum-Form Signage and Human Connection
Samsung Galaxy Z Fold8 Ultra moniker confirmed by Bluetooth
SIG
📱
Laptops
gsmarena.com
·
6d
6 days ago
Actions for Samsung Galaxy Z Fold8 Ultra moniker confirmed by Bluetooth SIG
How Jana Frost uses collage and set-building to explore time, symbolism and the subconscious
🎨
Generative Art
Content type:
News
creativeboom.com
·
1d
1 day ago
Actions for How Jana Frost uses collage and set-building to explore time, symbolism and the subconscious
Re
: The small random questions thread [WAAAAAAAAAAluigi]
🗂️
Personal Wikis
bay12forums.com
·
4d
4 days ago
Actions for Re: The small random questions thread [WAAAAAAAAAAluigi]
fix(agents): strip stale compaction thinking signatures before Anthro… · openclaw/openclaw@6c259af
∀
Lean4
Content type:
Code
github.com
·
5d
5 days ago
Actions for fix(agents): strip stale compaction thinking signatures before Anthro… · openclaw/openclaw@6c259af
QotD: Can you finish the phrase “When i dig through bulk, I’m looking for ________”?
👗
Fashion
elitefourum.com
·
13h
13 hours ago
Actions for QotD: Can you finish the phrase “When i dig through bulk, I’m looking for ________”?
S-1 - AParadise II Acquisition Corp. (0002114463) (Filer)
📝
CMS
sec.gov
·
1d
1 day ago
Actions for S-1 - AParadise II Acquisition Corp. (0002114463) (Filer)
Spring surprise games
🎮
Godot
Content type:
Blog
blog.zarfhome.com
·
15h
15 hours ago
Actions for Spring surprise games
GR
SIG
Seminar, 12 June 2026
📊
Scientific Visualization
Content type:
News
science.nasa.gov
·
5d
5 days ago
Actions for GR SIG Seminar, 12 June 2026
[
SIG
ContribEx] Weekly Contributor Comms Meeting for 2026-06-05T14:55:08Z.mp4
🎚️
Audio Codecs
Content type:
Video
youtube.com
·
5d
5 days ago
Actions for [SIG ContribEx] Weekly Contributor Comms Meeting for 2026-06-05T14:55:08Z.mp4
Minimum Distortion Quantization with
Specified
Output Distribution
📡
Information Theory
Content type:
Academic
arxiv.org
·
14h
14 hours ago
Actions for Minimum Distortion Quantization with Specified Output Distribution
After this database listing, it looks like the 'Galaxy Z Fold 8 Ultra' is for real
📱
Laptops
androidcentral.com
·
6d
6 days ago
Actions for After this database listing, it looks like the 'Galaxy Z Fold 8 Ultra' is for real
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help