Skip to main content
Scour
Discover
Docs
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Type Theory
📐 Type Theory
Type Systems, Generics, Traits, Static Analysis
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
47
posts in
32.2
ms
🔍
Type Inference
arXiv
·
18h
18 hours ago
From Heuristics to Transformers: A Comprehensive Survey of
Type
Inference
from Stripped Binaries
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for From Heuristics to Transformers: A Comprehensive Survey of Type Inference from Stripped Binaries
🔤
Types
scalac.io
·
6d
6 days ago
Scala in the AI Era: Why
Type
Safety
Matters for LLM
Systems
Covers
2 stories
See all stories this covers
including
openai/openai-python
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Scala in the AI Era: Why Type Safety Matters for LLM Systems
🌲
Tree-sitter
GitHub
·
1d
1 day ago
Show HN: Perl-lsp – annotation free
static
analysis
for Perl
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Show HN: Perl-lsp – annotation free static analysis for Perl
💎
Refinement Types
Medical Xpress
·
1d
1 day ago
New framework renders AI more trustworthy for cancer
subtyping
Covers
2 stories
See all stories this covers
including
Robert Egan - Science X
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for New framework renders AI more trustworthy for cancer subtyping
🔍
Type Inference
nLab
·
12h
12 hours ago
amnestic isofibration
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for amnestic isofibration
📋
Dhall
Hacker News
·
2d
2 days ago
Local
lint
,
type-check
and AI security dashboard for modern full-stack projects
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Local lint, type-check and AI security dashboard for modern full-stack projects
🧮
Functional Programming
crumpledpaper.tech
·
3d
3 days ago
The Fastest Python Struct?
Covers
3 stories
See all stories this covers
including
uv
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Fastest Python Struct?
📦
Devbox
Nature
·
1d
1 day ago
Implementing trust in non-small cell lung cancer diagnosis with a conformalized uncertainty-aware AI framework
Covered by
Medical Xpress
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Implementing trust in non-small cell lung cancer diagnosis with a conformalized uncertainty-aware AI framework
🧮
Functional Programming
Abstract Nonsense
·
1d
1 day ago
[video] Interview with Simon Peyton Jones
Covers
Co-Creator of Haskell: Functional Prog., Thinking in Types, Useless Languages [video]
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for [video] Interview with Simon Peyton Jones
🎨
CSS
motionscript.dev
·
6d
6 days ago
The Open Source Alternative to Claude Design
Discussed on
Hacker News
and
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Open Source Alternative to Claude Design
🔵
Go
tip.golang.org
·
10h
10 hours ago
Go 1.27 Release Notes - The Go Programming Language
Covered by
3 sources
See all sources covering this story
including
Andrew Nesbitt
,
Leon Mika
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Go 1.27 Release Notes - The Go Programming Language
🔗
HTMX
Datastar
·
1d
1 day ago
Why another framework?
Covers
Htmx: Access modern browser features directly from HTML
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Why another framework?
📋
Dhall
hgres.org
·
4d
4 days ago
hgres
Covered by
hash.dev
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for hgres
🐹
Golang
Peter Mbanugo
·
1w
1 week ago
Zero to Hello World in Odin
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Zero to Hello World in Odin
🔗
Dependent Types
arXiv
·
18h
18 hours ago
Subtyping
patients with chronic disease using longitudinal BMI patterns
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Subtyping patients with chronic disease using longitudinal BMI patterns
📋
Dhall
skovhus.dev
·
1d
1 day ago
Moving
Linear
from styled‑components to StyleX
Covers
2 stories
See all stories this covers
including
Plan and build products
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Moving Linear from styled‑components to StyleX
📋
Dhall
buttondown.com
·
5d
5 days ago
Public postmortem: manually adding subscribers failed
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Public postmortem: manually adding subscribers failed
Less-relevant results
🔒
Privacy
The Register
·
2d
2 days ago
The
database
that refused to die: How Postgres survived its own creators
Discussed on
Hacker News
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The database that refused to die: How Postgres survived its own creators
✨
Gleam lang
blog.kacaii.dev
·
6d
6 days ago
Learning Lustre:
Type-safe
frontend development
Discussed on
Lobsters
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Learning Lustre: Type-safe frontend development
🔗
Dependent Types
nLab
·
6d
6 days ago
exhaustible set
Love
Like
Not for me
Save
See related topics
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for exhaustible set
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
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
Discover
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
Like
Save
Not for me
Report