|
Jose Cardona 👌🐶
@
JM0x5C
Toronto, Ontario
|
|
types, cryptography and memez
|
|
|
1.809
Tweetovi
|
119
Pratim
|
412
Osobe koje vas prate
|
| Tweetovi |
|
Jose Cardona 👌🐶
@JM0x5C
|
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 pic.twitter.com/AfkDKxLSxj
|
||
|
|
||
| Jose Cardona 👌🐶 proslijedio/la je tweet | ||
|
ShriramKrishnamurthi
@ShriramKMurthi
|
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.) twitter.com/ShriramKMurthi…
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
28. sij |
|
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
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
28. sij |
|
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.
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
28. sij |
|
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.
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
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?
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
27. sij |
|
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.
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
27. sij |
|
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.
|
||
|
|
||
| Jose Cardona 👌🐶 proslijedio/la je tweet | ||
|
Oskar Wickström
@owickstrom
|
26. sij |
|
TIL a bunch of things about Haskell Hedgehog! ☺️🙌 twitter.com/jacobstanley/s…
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
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.
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
6. sij |
|
The Boneh source I linked also covers merkle-damgard constructions albeit in less depth than his thesis
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
6. sij |
|
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).
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
6. sij |
|
What part of the "why"?
Do you mean why they're effectively one-way?
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
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
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
30. pro |
|
OO is fine they said pic.twitter.com/LLvQN0qOZl
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
23. pro |
|
`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.
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
23. pro |
|
even just typeclasses and `do` syntax go a long way for making error composition suck less.
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
23. pro |
|
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.
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
23. pro |
|
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.
|
||
|
|
||
|
Jose Cardona 👌🐶
@JM0x5C
|
23. pro |
|
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.
|
||
|
|
||