The venerable master Foo was walking with a novice. Hoping to prompt the master into a discussion, the novice said: “Master, I have heard that property-based tests are a very good thing - is this true?” Master Foo replied: “Foolish pupil - tests are merely a poor man’s types!”
Chastised, the novice returned to his room, intent on studying types. He carefully watched “Propositions as Types”, read the entirety of Oleg’s website and gathered an impressive collection of PDFs. He learned much, and looked forward to informing his master of his progress.
On his next walk with Master Foo, the novice attempted to impress his master by saying “Master, I have diligently studied the matter, and now understand that tests are truly a poor man’s types.” Master Foo responded by hitting the novice with a stick, saying “When will you learn? Types are a poor man’s tests!” At that moment, the novice became enlightened.
(source - https://blog.snork.dev/posts/a-poor-man-s-types.html)
Chastised, the novice returned to his room, intent on studying types. He carefully watched “Propositions as Types”, read the entirety of Oleg’s website and gathered an impressive collection of PDFs. He learned much, and looked forward to informing his master of his progress.
On his next walk with Master Foo, the novice attempted to impress his master by saying “Master, I have diligently studied the matter, and now understand that tests are truly a poor man’s types.” Master Foo responded by hitting the novice with a stick, saying “When will you learn? Types are a poor man’s tests!” At that moment, the novice became enlightened.
(source - https://blog.snork.dev/posts/a-poor-man-s-types.html)
"Programmers read blog posts like a compiler reads source code: they get to the first thing they disagree with, stop reading, and complain."
— random comment
— random comment
😭2
I must say with great pain and agony that my leetcode graph is greener then my github graph
👏5
https://faultlore.com/blah/c-isnt-a-language/
designed to be a pl forced to be a protocol
designed to be a pl forced to be a protocol
Faultlore
C Isn't A Programming Language Anymore - Faultlore
https://fireborn.mataroa.blog/blog/matchctl-the-first-dating-app-for-linux-users-because-youve-already-mounted-devsad/
I was kinda excited then I read the disclaimer
I was kinda excited then I read the disclaimer
https://iter.ca/post/yt-adblock/
personally I am ok with spending 15sec staring at a blank buffering screen then to watch ads for same duration (tho a world where blocking ads is impossible would be a nasty one)
personally I am ok with spending 15sec staring at a blank buffering screen then to watch ads for same duration (tho a world where blocking ads is impossible would be a nasty one)
https://www.youtube.com/watch?v=OJv8rFap0Nw
originally was searching for this one but found above incredibly relevant
originally was searching for this one but found above incredibly relevant
YouTube
Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023
Keynote talk by Simon Peyton Jones and Tim Sweeney from Epic Games.
Verse is a new programming language, being designed at Epic Games as the language of the metaverse. Verse is a functional logic language, with a bunch of innovative ideas. Like Haskell,…
Verse is a new programming language, being designed at Epic Games as the language of the metaverse. Verse is a functional logic language, with a bunch of innovative ideas. Like Haskell,…