Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)

Article URL: https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf

Comments URL: https://news.ycombinator.com/item?id=43613994

Points: 17

# Comments: 1

https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf

Vytvořeno 1mo | 7. 4. 2025 19:10:13

Chcete-li přidat komentář, přihlaste se

Ostatní příspěvky v této skupině

Ask HN: Cursor or Windsurf?

Things are changing so fast with these vscode forks I m barely able to keep up. Which one are you guys using currently? How does the autocomplete etc, compare between the two?

Comments

12. 5. 2025 9:10:05 | Hacker news

White House fires head of Copyright Office amid Library of Congress shakeup

Article URL: https://www.washingtonpost.com/politics/2025/05/11/white-house-copyright-offi

12. 5. 2025 9:10:04 | Hacker news

I ruined my vacation by reverse engineering WSC

Article URL: https://blog.es3n1n.eu/posts/how-i-ruined-my-vacation/

Comments URL:

12. 5. 2025 6:40:08 | Hacker news

Intellect-2 Release: The First 32B Model Trained Through Globally Distributed RL

Article URL: https://www.primeintellect.ai/blog/intellect-2-release

Comments URL:

12. 5. 2025 4:30:11 | Hacker news

Continuous Thought Machines

Article URL: https://pub.sakana.ai/ctm/

Comments URL: https://news.ycombinator.com/item?id=4

12. 5. 2025 4:30:08 | Hacker news

The Academic Pipeline Stall: Why Industry Must Stand for Academia

Article URL: https://www.sigarch.org/the-academic-pipeline-stall-why-industry-must-stand-for-aca

12. 5. 2025 4:30:03 | Hacker news

I hacked my clock to control my focus

Article URL: https://www.paepper.com/blog/posts/how-i-hacked-my-clock-to-control-my-focus.md/

12. 5. 2025 2:10:11 | Hacker news

Techie