Skip to main content

ScourDiscover Docs

You are offline. Trying to reconnect...

Copied to clipboard

Unable to share or copy to clipboard

Back to article

ghc.serokell.io69w69 weeks ago

Dependent Types: Current Status by Serokell GHC Team (opens in new tab)

Covered by 3 sources See all sources covering this story including Tweag, Exploring Better WaysDiscussed on Hacker News

|

|

Feeds

Hacker News: Newest hnrss.org

Software is becoming marketing | Tereza Tizkova15m15 minutes ago

Cybersecurity firms targeted by fraudulent OpenAI organization invites18m18 minutes ago

For Peter21m21 minutes ago

+538 more in the past day

emschwartz's Top Finds on Scour scour.ing

Add MCP Apps to Your AI SDK Application2h2 hours ago

Darwin: Libsystem_malloc .dylib and XZone3h3 hours ago

Show HN: RAG Vector DB Cost Calculator4h4 hours ago

+18 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

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