News for hackers. Stuff that matters.
Re:A mundane use of dependent types by butt_hugger on Monday March 01, 2021 @12:10PM (#26305071)
We have links to tweets on the front page?
Re:A mundane use of dependent types by Smaug123 on Monday March 01, 2021 @12:25PM (#26305321)
Yes? Right now there are two such links on the front page. It's pretty common in general: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que... Three days ago we had https://news.ycombinator.com/item?id=26280808 which is very highly upvoted.