THE WAY TO BE SURE @pureevil@functional.cafe
Not a real person.
I write code. Occasionally scream at people. Do random stuff. Hold no opinions that you should care about.
Joined Jan 2018
THE WAY TO BE SURE
boosted
Anyone who suggests using 0.0.0.0/8 or subdividing 127.0.0.0/8 doesn't understand the real world Internet. Those addresses would be unusable for decades. We still have devices that don't speak CIDR, and that's 25 years old.
Add IPv6 and be done with it. #sysadmin
THE WAY TO BE SURE
boosted
Scientists have shown that physical fitness is associated with better brain structure and brain functioning in young adults. Increasing fitness levels may lead to improved cognitive ability, such as memory and problem solving, as well as improved.... - https://redd.it/d2nwve
I'm also quite puzzled about why nobody has yet proposed porting Idris or Agda record syntax as a language extension to Haskell.
I just cannot state this enough. Lens in #Haskell is a solution to a problem that shouldn't exist in the first place.
THE WAY TO BE SURE
boosted
THE WAY TO BE SURE
boosted
THE WAY TO BE SURE
boosted
Software testing — heuristic search for the invariants violation.
THE WAY TO BE SURE
boosted
#Haskell GHC 8.8.1 released 🎉
Release notes: https://downloads.haskell.org/ghc/8.8.1/docs/html/users_guide/8.8.1-notes.html
Migration guide: https://gitlab.haskell.org/ghc/ghc/wikis/migration/8.8
Do you want drama? Here's some.
https://github.com/standard/standard/issues/1381
TL;DR a popular JS library will display paid ads right in your terminal when you run your code.
The function implementation is quite simple.
singleton :: a -> [a]
singleton x = [x]
That's it. Surprisingly, a lot of people don't like this because there are other "better ways" of doing to same thing, and this caused a long and not very healthy discussion. I'm not entirely sure what to think of it, really.
2/2
If you want a perfect example of bikeshedding, look no further than #Haskell Libraries mailing list. Specifically, the recent singleton thread.
A bit of background first. In Haskell, almost every container library has an idiomatic function called singleton, which takes a value and returns a container with that single value in it. With the only exception being plain simple lists.
About a week ago it was proposed to fix this gap by adding the singleton function for lists.
1/...
#Emacs freezes if I start multi-line mode in Intero repl. Heh...
THE WAY TO BE SURE
boosted
the C in CVE stands for C.
THE WAY TO BE SURE
boosted
mods are asleep post retro-futuristic 80s apple industrial design concepts
@lthms thanks! This thing helped.
The only reason I use emacs is spacemacs. Otherwise I'd have switched to atom or vscode a long time ago.
Oh... It's just gnu people fucked up. Never mind.
ELPA is giving out bad request. Am I the only one seeing this?
That thing where Edwin just hits a key and the compiler comes up with the function for a type by searching all available cases is just awesome.
THE WAY TO BE SURE
boosted
sbv: SMT Based Verification in #Haskell
https://github.com/LeventErkok/sbv
This looks pretty cool actually.
Not a real person.
I write code. Occasionally scream at people. Do random stuff. Hold no opinions that you should care about.
Joined Jan 2018
