Twitter | Pretraživanje | |
Jose Cardona  👌🐶
types, cryptography and memez
1.809
Tweetovi
119
Pratim
412
Osobe koje vas prate
Tweetovi
Jose Cardona  👌🐶 3. velj
My dog just got his teeth cleaned and is still kinda drowsy/disoriented from his anesthesia and it's incredibly cute. Normally he goes insane for these. My poor boy LOL
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona 👌🐶 proslijedio/la je tweet
ShriramKrishnamurthi 31. sij
My experience teaching software engineering. (Context: I said my proudest teaching moment was getting my students to appreciate the Waterfall Model of software development.)
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 28. sij
Odgovor korisniku/ci @Anka213 @ndm_haskell
As an example changing data, when I know that I have to change a bunch of typeclass instances or lenses that I don't want ghci to freak out over. I also use file auto save. So I trade manual saving for manual recompiling which ends up being the same thing
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 28. sij
Odgovor korisniku/ci @laurentgiroud @Anka213 @ndm_haskell
I used IntelliJ with scala and Java, it's not like I've never used an ide, it's that ghci is actually insanely useful unlike javac/scalac for both writing and inspecting code.
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 28. sij
Odgovor korisniku/ci @Anka213 @ndm_haskell
There are times where I intentionally do not want to recompile and ghcid is more of an annoyance. I really think the productivity boost is overblown, but to each their own. I think it's a great tool, but it's not for me.
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 27. sij
If ski resorts play a bunch of music from the 80s nonstop (i.e free fallin'), can anyone tell me what they played in the 80s?
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 27. sij
Odgovor korisniku/ci @ndm_haskell @Anka213
But why wouldn't I just use :reload? It's practically the same thing in my experience. I did use ghcid and I thought it wasn't any more productive than cabal v2-repl.
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 27. sij
Odgovor korisniku/ci @Anka213
I'm not naming and shaming but there's many a tweet every single week about it and it's so annoying. Moreover ghci itself (with cabal v2) is pretty great. Hardly need anything else aside from syntax highlighting.
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona 👌🐶 proslijedio/la je tweet
Oskar Wickström 26. sij
TIL a bunch of things about Haskell Hedgehog! ☺️🙌
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 26. sij
I mute everyone that complains about haskell having no IDE. I got tired of the dumb circlejerk. You don't need one. If you are hellbent on complaining about not having one, I definitely don't want to read what you have to say.
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 6. sij
Odgovor korisniku/ci @_CaptJakk @tqbf i 2 ostali
The Boneh source I linked also covers merkle-damgard constructions albeit in less depth than his thesis
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 6. sij
Odgovor korisniku/ci @_CaptJakk @rmspeers i 2 ostali
Re: resources, Dan Boneh's unfinished book is fairly good. It covers message integrity in depth in chapters 6 through 8. 8 In particular starts on keyless hash functions (such as the SHA family).
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 6. sij
Odgovor korisniku/ci @_CaptJakk @rmspeers i 2 ostali
What part of the "why"? Do you mean why they're effectively one-way?
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 4. sij
Blue square hills are harder than black diamonds when you ski. Not because of the hill though, but that person who decides "carving" is going across the whole track diagonally forcing you to full stop while you're picking up speed. That's the real leg workout
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 30. pro
OO is fine they said
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 23. pro
Odgovor korisniku/ci @nuttycom @deech
`do` notation just allows you to inline a lot of stuff you could do with just bind. You can always break up a lot of stuff into smaller functions but you may end up with a ton of really redundant functions by not having it.
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 23. pro
Odgovor korisniku/ci @nuttycom @deech
even just typeclasses and `do` syntax go a long way for making error composition suck less.
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 23. pro
Odgovor korisniku/ci @lorisdanto @AmericanAir
I empathize with this in anger. I feel like air travel companies only ever listen when being called out on social media. In person it sucks. Delta delayed my flight 2 hours which forced me to pay for a 1 night room out of pocket and all I got was an "I'm sorry" from their PR.
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 23. pro
Odgovor korisniku/ci @deech @nuttycom
I think there's a few solutions to the issue that show promise but we cannot yet bank on wrt imperative languages: - Make the frontend language an imperative front to a functional IR, and expose a few of the features that alleviate this pain. - Algebraic effects.
Reply Retweet Označi sa "sviđa mi se"
Jose Cardona  👌🐶 23. pro
Odgovor korisniku/ci @nuttycom @deech
Algebraic data without a lot of the other niceties we have in haskell is just like those waterslide if chains, except with `case` statements. I don't think ADTs alone are the solution.
Reply Retweet Označi sa "sviđa mi se"