For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Typelevel Native (typelevel.org)
1 point by vberg on Sept 20, 2022 | past
Typelevel Scala and the future of the Scala ecosystem (2014) (typelevel.org)
34 points by luu on July 25, 2021 | past | 11 comments
Why Are Fibers Fast (typelevel.org)
1 point by jmfldn on Feb 25, 2021 | past
Why Are Fibers Fast? (typelevel.org)
1 point by g0xA52A2A on Feb 22, 2021 | past
Higher-kinded types: the difference between giving up, and moving forward (2016) (typelevel.org)
28 points by jxub on Sept 14, 2019 | past
John De Goes has been barred from participation in Typelevel projects (typelevel.org)
5 points by counter2015 on Sept 6, 2019 | past
Typelevel Sustainability Program Announcement (typelevel.org)
1 point by based2 on April 27, 2019 | past
A Tale on Semirings (2018) (typelevel.org)
58 points by lelf on March 17, 2019 | past | 2 comments
Refactoring with Monads (typelevel.org)
13 points by Garbage on March 11, 2019 | past
Concurrency Basics (typelevel.org)
2 points by ingve on Dec 6, 2018 | past
Concurrency Basics (typelevel.org)
11 points by tosh on Dec 5, 2018 | past | 1 comment
Scala Compiler Phases (typelevel.org)
1 point by barbierocks on Sept 25, 2018 | past
Let the compiler derive HTTP clients from Types (typelevel.org)
2 points by pheymann on Sept 10, 2018 | past
Optimizing Tagless Final – Saying Farewell to Free (typelevel.org)
2 points by g0xA52A2A on Jan 22, 2018 | past
Cats 1.0.0 is released (typelevel.org)
2 points by kailuowang on Dec 28, 2017 | past
Announcement: cats 1.0.0 Released (typelevel.org)
2 points by adamwk on Dec 27, 2017 | past
Of Variance and Functors (typelevel.org)
1 point by portal_narlish on Dec 26, 2017 | past
Scala Cats hits 1.0 (typelevel.org)
2 points by hugofirth on Dec 26, 2017 | past
There are at least three types of strings (typelevel.org)
1 point by ddispaltro on Oct 4, 2017 | past
There are at least three types of strings (typelevel.org)
1 point by dmit on Sept 5, 2017 | past
Cats 1.0.0-MF (typelevel.org)
2 points by based2 on Aug 5, 2017 | past
An IO Monad for Cats (new Typelevel Scala Project) (typelevel.org)
2 points by bad_user on May 1, 2017 | past
There are more types than classes (typelevel.org)
1 point by ofbriggs on Feb 13, 2017 | past
EDSLs as functions (typelevel.org)
3 points by ddispaltro on Nov 25, 2016 | past
API Design for Heaps (aka Priority Queues) (typelevel.org)
2 points by dmit on Nov 17, 2016 | past
Higher-kinded types: the difference between giving up and moving forward (typelevel.org)
139 points by dmit on Aug 22, 2016 | past | 56 comments
Why is ADT pattern matching allowed? (typelevel.org)
2 points by ddispaltro on May 6, 2016 | past
Typelevel boycotts LambdaConf over politics (typelevel.org)
23 points by dudul on March 25, 2016 | past | 29 comments
Why is ADT pattern matching allowed? (typelevel.org)
4 points by ddispaltro on Dec 6, 2014 | past
Higher Leibniz (typelevel.org)
12 points by ddispaltro on Sept 21, 2014 | past | 1 comment

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You