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

Haskell for all6w6 weeks ago

A bidirectional typechecking puzzle> (opens in new tab)

Discussed on Hacker News, Hacker News, and Lobsters

|

|

Feeds

Haskell for all haskellforall.com

Ergonomic overrides for Nixpkgs>3w3 weeks ago

Type out the code>4w4 weeks ago

A bidirectional typechecking puzzle>6w6 weeks ago

Planet Haskell planet.haskell.org

My 1992 view of the problems of computer programming in 19923d3 days ago

Mark Jason Dominus: Egyptian fraction multiplication3d3 days ago

Mark Jason Dominus: Update: Here I am at the Sagrada Família1w1 week ago

+8 more in the past month

Planet Haskell planet.haskell.org

Well-Typed.Com: Haskell ecosystem activities report: Marchâ€“May 20263d3 days ago

My 1992 view of the problems of computer programming in 19923d3 days ago

Mark Jason Dominus: Egyptian fraction multiplication3d3 days ago

+9 more in the past month

Recent bookmarks ln.ht

What Movement Would You Have Joined in Early Modern Europe? A Typology Quiz2h2 hours ago

(How to Write a (Lisp) Interpreter (in Python))7h7 hours ago

Human Judgment as a Specification9h9 hours ago

+2 more in the past day

Lobsters lobste.rs

What can wonky APIs tell us about the web?1h1 hour ago

mysk-research/loupe: A privacy-focused iOS app that raises awareness about what native apps can see3h3 hours ago

What's the advice for LLM poisoning of artwork these days?4h4 hours ago

+16 more in the past day

Lobsters: Newest Stories lobste.rs

What can wonky APIs tell us about the web?1h1 hour ago

mysk-research/loupe: A privacy-focused iOS app that raises awareness about what native apps can see3h3 hours ago

What's the advice for LLM poisoning of artwork these days?4h4 hours ago

+16 more in the past day

Pinboard (recent) feeds.pinboard.in

The Philosophy Teaching Library – A Collection of Introductory Primary Texts6m6 minutes ago

Saab reveals Barracuda Poncho – camouflage protection for soldiers6m6 minutes ago

F15 Strike Eagle III (1992)6m6 minutes ago

+223 more in the past day

progscrape progscrape.com

Temperate local extinctions from climate change are outpacing tropical extinctions1h1 hour ago

Airbnb opposes Sydney’s call to restrict short-term rentals — But people “rely on it to pay for their mortgages and artificially inflate the housing market”, sa...1h1 hour ago

Japanese Verb Conjugation the Simple Hard Way1h1 hour ago

+66 more in the past day

Hacker News: Newest hnrss.org

New Super PAC, the Guardrails Alliance, Aims to Rally Tech Workers to Help Limit A.I.28m28 minutes ago

A dead simple personal website engine for developers focused on simplicity49m49 minutes ago

Ask HN: What would justify writting an OS kernel in 2026?54m54 minutes ago

+117 more in the past day

Hacker News: Newest hnrss.org

New Super PAC, the Guardrails Alliance, Aims to Rally Tech Workers to Help Limit A.I.28m28 minutes ago

A dead simple personal website engine for developers focused on simplicity49m49 minutes ago

AStarGrid2D in Godot 4: the gotchas, and an interactive sandbox51m51 minutes ago

+215 more in the past day

Hacker News: Newest hnrss.org

Promptblock – detect prompt injections in GitHub issues12m12 minutes ago

Show HN: Wirewright, an experimental symbolic physics environment18m18 minutes ago

HiFi/Stereo Review-Stereo Review – Audiophile Magazine from 1958 to 199925m25 minutes ago

+352 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)