Skip to main content

ScourDiscover Docs

Discover About Docs Changelog

You are offline. Trying to reconnect...

Copied to clipboard

Unable to share or copy to clipboard

Back to article

jonmsterling.com20w20 weeks ago

Disentangling unification and implicit coercion (subtyping interaction problem) (opens in new tab)

Discussed on Hacker News

|

|

Feeds

✨ Discovered from this domain

Jon Sterling jonmsterling.com

Hacker News: Newest hnrss.org

Train LLM from Scratch30m30 minutes ago

Rust Prevents Data Races, Not Race Conditions33m33 minutes ago

Trump says multiple people have been arrested for allegedly vandalizing Reflecting Pool36m36 minutes ago

+383 more in the past day

jaens's Likes on Scour scour.ing

Linear types proposal for Hare11w11 weeks ago

Reinventing aliasing XOR mutability and lifetimes14w14 weeks ago

Unified Context-Intent Embeddings for Scalable Text-to-SQL15w15 weeks ago

cylee's Top Finds on Scour Today from all feeds scour.ing

Enable software developers to compile hotspots into custom hardware accelerators14h14 hours ago

Ag.ide Index, rank, and refactor your repo's worst code14h14 hours ago

A synthetic order analytics pipeline built on CDC from Postgres to ClickHouse18h18 hours ago

+1 more in the past day

matmat's Top Finds on Scour Today from all feeds scour.ing

Standards Overview | Recently Updated Documents3h3 hours ago

Epic Games Open-Sources Lore Version Control System4h4 hours ago

Microsoft reveals how to verify Windows 11’s Secure Boot update, what to do if your PC missed it5h5 hours ago

+13 more in the past day

Keyboard Shortcuts

Navigation

Next / previous post: j/k
Open post: oorEnter
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: gh
Interests: gi
Feeds: gf
Likes: gl
History: gy
Changelog: gc
Settings: gs
Discover: gb
Search: /

Pagination

Next page: n
Previous page: p

General

Show this help: ?
Submit feedback: !
Close modal / unfocus: Esc

Press ? anytime to show this help

Docs Blog (opens in new tab)Changelog Roadmap (opens in new tab)