stank345

8 ms·

31.
by stank345 5y ago
> defaulting to dynamic and making static opt-in undermines a lot of the potential benefit of static typing. I don't think that it works the other way around Yes, there's certainly truth to this. However, I write a lot of TypeS
32.
by stank345 5y ago
That's an interesting perspective (and now that you mention it I can think of someone at work who loves types and also tends to break stuff). I myself love static types because it allows me to avoid certain classes of errors and I try
33.
by stank345 5y ago
I feel the same way. Much better to encode the complexity of what you're modeling in types instead of ignoring the inherent complexity. By precisely encoding the shape of the data in types you are forced to engage with the values it ca
34.
by stank345 6y ago
> Why did they adopt Scala in the first place? I think in the case of Scala many companies became invested in Spark and Scala came along for the ride. Then as time went on, it turned out you could do advanced FP in Scala, despite its war
35.
by stank345 6y ago
I strongly identify with this. I lucked into learning pure, typed FP at work and I can't go back. I think there are professional opportunities doing FP in Haskell/functional Scala, though they are few and far between and in certai
36.
by stank345 6y ago
FWIW like you I was always much better at deadlifting than squatting (my deadlift was always about 50% more than my squat). Since the pandemic, I've been using kettlebells and really been enjoying them, specifically kettlebell front
37.
by stank345 6y ago
I lived in Paris for 5 months in 2006 and I loved it. Took the subway everyone and had no problem with homeless people (at least no more than with other major American east coast cities). Did get targeted by scammers once. I thought the sub
38.
by stank345 6y ago
FWIW I did something similar. Deleted my reddit account and now just occasionally visit specific subreddits that I used to subscribe to. I find that actually going to a subreddit to find specific content I want to look at helps break the lo
39.
by stank345 6y ago
Yeah, agreed, but it's nice that it gives you the flexibility to be able to throw a `// @ts-ignore` in there and tell the compiler not to worry about it. I've definitely done that when consuming wonky libraries with mess
40.
by stank345 6y ago
I agree that TypeScript's type system is clunky compared to Elm, but being able to add a good amount of type safety with such a small learning curve and a large ecosystem at your disposal is a massive win. And Elm has its own problems
41.
by stank345 6y ago
As an example from my personal experience, up until last year, Brazil required Americans to get a tourist visa. They also charged identical visa fees based on what Brazilians have to pay to visit the US as a tourist. On their website they m
42.
by stank345 6y ago
This is a nice part about having kids. You get to play with them and be reminded about how fun it is (tag and climbing the jungle gym is still fun and so are legos!).
43.
by stank345 6y ago
Being in quarantine with your kids is very different from being with your kids under normal circumstances. My 5 year old is going stir crazy and we can't really go places. My wife is on maternity leave with our 3 month old, which is al
44.
by stank345 7y ago
> If you create a fizzbuzz application with good performance and clean code, you have solved one problem You haven't necessarily solved a problem if the definition of "clean" is subjective and not actually associated with
45.
by stank345 7y ago
I think it's a reaction to programmers' particular tendency to focus on things that aren't best serving the goal of solving the problem at hand. Programmers often have a "pet" focus that relates to what they enjoy:
46.
by stank345 7y ago
My advice is to start working on a project you care about and then learn everything required to make it happen. If you already know JavaScript, maybe build and deploy a static website. Once you've done that then perhaps make it interac
47.
by stank345 7y ago
I did the first three in this series of online Coursera courses from UC San Diego and I thought they were quite good: https://www.coursera.org/specializations/data-structures-alg... You end up implementing the algorith
48.
Modeling State with TypeScript(azavea.com)
2 points by stank345 7y ago|0 comments
49.
by stank345 7y ago
Can you elaborate? I'm also a vim + tmux user
50.
by stank345 7y ago
I have experienced the exact same thing in Python and it feels bad to not make changes out of fear of breaking something. So much so that I won't do refactoring on a large codebase written in a dynamic language with not great code cove
51.
by stank345 8y ago
The language options are based on responses from the ACS (American Community Survey), a yearly survey done by the Census Bureau. They go around to different households interviewing people about what languages they speak at home and responde
52.
Show HN: Language Map of the United States(languagemap.us)
7 points by stank345 8y ago|4 comments
53.
The Power of Types in Idris(azavea.com)
1 points by stank345 8y ago|0 comments
54.
by stank345 10y ago
> I believe that people are happier when they have a sense of connection and belonging in their community. Cities discourage this. > I believe people are happier in environments that feel more natural and alive. Cities discourage this
55.
by stank345 11y ago
> I would also spend my free time learning a skill so I could get a better job at some point in the future. Depending on your situation, free time that you can actually use to learn a skill -- after you've commuted home, fed yoursel
56.
by stank345 11y ago
Isn't it possible for us to invent/discover new antibiotics?
57.
by stank345 11y ago
In all likelihood, they also don't have access to education or birth control.
58.
by stank345 11y ago
Agree completely. My wife is Brazilian and she dislikes that term, but what else can you say? United States-ers? Technically Mexico is the United Mexican States, so that won't work either! The silly thing is that it's viewed as a
59.
by stank345 11y ago
Yeah, I just figured it was a typo. It begs the question though: what percentage of us are putting 20% down?
60.
by stank345 11y ago
You mean a $20k down payment, right? Most of us aren't buying million dollar homes...

More ›