Alex Benishek @4X3L@mastodon.host
Computer Science student
Has passionate feelings about type systems and the use of Javascript on the desktop.
He/Him/His
Today is a great day to drink a beer and read a book after work.
I am reading through the Stormlight Archive and Syl as a wingman is the greatest thing ever.
"Do you lift bro?"
"liftIO $ putStrLn "yeah brah"
I thought I'd get use to using a 24 hour clock but instead I just got really good at subtracting by 12.
Study with reference. I was tagged on tumblr to draw my fav weather type, nad it is: foggy wet night =D
#creativetoots #mastoart #digitalpaintin
if you want to support me via patreon or ko-fi:
https://www.patreon.com/roh42
https://ko-fi.com/richardsilva
Jk, the author mentioned the same thing I just did. I should have finished reading before posting...
http://www.cs.utexas.edu/%7Ewcook/Drafts/2009/essay.pdf
A really great paper on ADT's and Objects, specifically difference between them. While not mentioned in the paper, it speaks to the contrast between correctness from types and correctness from tests.
I would disagree with the author that haskell does not enforce information hiding/encapsulation. A polymorphic function which has a type of some typeclass will be forced to only on interacting with the inhabitant of that type through those typeclass methods, and so cannot access any specific information about the inhabitant.
I finally got around to downloading the DLC for Breath of the Wild. Master mode is a little disappointing to be honest. It is less of "Oh wow, I need to think a lot more about combat" and more like, "Oh wow, I just broke all of my weapons fighting a single bokoblin. "
It is kinda frustrating how we still have not figured out how to write concurrent programs that are both correct and efficient. There are a lot of solutions and they are all terrible.
THE SOY BOY DIET by @Hbomberguy https://www.youtube.com/watch?v=5MS0TrsI7rE
Death to America
Despite what people may tell you, markets aren't enough to keep people rational. Culture and institutions are important.
kษ:สณ 
honestly, HumanBody is the worst hacked-together nonsense i've ever seen.
- no documentation (_everything_ we have is from reverse engineering by enthusiasts)
- little to no runtime modification, everything's baked in at DNA compilation time
- all the sensory hardware is fragile and pretty much impossible to replace when it inevitably breaks
- the built in security is decent but has to constantly download patches to cope with the latest malware, and is only necessary cause of larger systemic problems
The wrong way of benchmarking the most efficient integer comparison function https://blogs.msdn.microsoft.com/oldnewthing/20171117-00/?p=97416 | https://lobste.rs/s/wbgxha #assembly #c #c++ #performance
people here have probably said this before, but it bears repeating Show more
Does any fellow Masto users understand the appeal of vinyl records? I always thought it was a sound quality thing but recently found a vinyl record for an electronic music album and was very confused.
sick of machine learning hype ...
somebody at work just linked an article titled "Stunning AI Breakthrough Takes Us One Step Closer to the Singularity"
the breakthrough? the next gen of google's AlphaGo program beat the original AlphaGo 100-0. it is impressive!
but getting better at reinforcement learning on a specific task doesn't mean machines are magically going to be superintelligent anytime soon
At this point I have spend more time fiddling with the hosting and CSS of my website than I have writing content for it.
Great talk on type systems! The presenter is engaging and informative.
