Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔠 Type-Level Programming
Dependent Haskell, GADTs, Type Families, Kind System
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9421
posts in
792.7
ms
LSU Research Bites: Eco-Friendly
Foam
Offers Powerful New Way to Remove
Microplastics
from Water
lsu.edu
·
1h
📦
OPAM
punctilio
: the best text
prettifier
lesswrong.com
·
35m
🔤
Typography
Fluent
mlajtos.github.io
·
1h
·
Discuss:
Lobsters
💎
Refinement Types
Evaluate generative AI models with an Amazon Nova
rubric-based
LLM judge on Amazon
SageMaker
AI (Part 2)
aws.amazon.com
·
4d
🔲
Cellular Automata
Decoding
the Future: A Guide to 8 Cutting-Edge AI
Architectures
dev.to
·
3d
·
Discuss:
DEV
🔲
Cellular Automata
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
1d
🎮
Verification Games
Building a Fake News Kill Chain with
VeraSnap
and
CPP
— Full Implementation from Capture to Verification
dev.to
·
4d
·
Discuss:
DEV
🔒
Protocol Verification
On the Computational Efficiency of Bayesian
Additive
Regression Trees: An
Asymptotic
Analysis
arxiv.org
·
1d
⏱️
Computational Complexity
Lolong
: Largest crocodile ever held in
captivity
en.wikipedia.org
·
1h
·
Discuss:
Hacker News
🩹
Self-Healing Systems
5,300-year-old ‘
bow
drill’
rewrites
story of ancient Egyptian tools
ncl.ac.uk
·
1h
·
Discuss:
Hacker News
🤖
Robotics
Russians
urgently
supplied
with new satellite internet terminals after Starlink blackout
pravda.com.ua
·
52m
·
Discuss:
Hacker News
📡
Network Protocol Design
It's Time to
Rage
Against the AI Music Machine
time.com
·
1h
·
Discuss:
Hacker News
🔲
Cellular Automata
Show HN:
AdKit
MCP:
Inject
Ads into Your LLMs
adkitmcp.com
·
1h
·
Discuss:
Hacker News
🔌
IOKit
The First
Person
Project: How to
prove
you are a real
person
online
firstperson.network
·
59m
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Seedream 5.0 Image Models (
T2I/I2I
) API Collection - Competitive Pricing - Unified API Access
atlascloud.ai
·
1h
·
Discuss:
Hacker News
💻
Apple Virtualization
What can't be automated? The Last Human
Bottleneck
bturtel.substack.com
·
1h
·
Discuss:
Substack
🩹
Self-Healing Systems
Low-fidelity
prototyping
: The fastest way to make better design decisions
balsamiq.com
·
1h
·
Discuss:
Hacker News
🔄
Reproducible Builds
We're all called
Julia
, or
maybe
ChatGPT calls itself
Julia
solresol.substack.com
·
1h
·
Discuss:
Substack
📚
Automata Learning
AI
Bookkeeping
Software for Small
Businesses
meetfyno.com
·
52m
·
Discuss:
Hacker News
🔢
Algebraic Data Types
I have a new favorite coding
font
fantinel.dev
·
1h
·
Discuss:
Hacker News
🔤
Typography
Loading...
Loading more...
« Page 9
•
Page 11 »
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
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