HNHacker News
TopNewBestAskShowJobs

kod

718 karma · joined June 28, 2007

submissionscomments
kod··on Microsoft acquires Citus Data (YC S11)
Great news, their product is awesome and this will hopefully let more people use it.

Knowing that Citus is available as an option if you need to scale makes Postgres that much more compelling of a default choice for data store.

kod··on Why Don't People Use Formal Methods?
Standard ML has existed for 35 years. Even if you started programming with Fortran, it's been around longer than half of your career.
kod··on If not SICP, then what? Maybe HTDP?
Yeah, that's a good book, but as you noted it falls under teaching a language, not so much teaching how to think.
kod··on If not SICP, then what? Maybe HTDP?
It's the best book I've found for actually teaching people how to solve problems using programming, rather than just learning semantics.

I use it for continuing education at a company, the only complaint I've heard from people is that it's very deliberately paced.

I do wish there was an equivalent that used a statically typed language, because the actual approach is very fundamentally based on types. I've spoken with the authors about this, and the reasoning was twofold: 1. people are going to have to deal with unityped languages in industry; 2. existing error messages for static languages were bad. At this point, something like Elm might be a good fit, although you'd lose out on lispy things like quasiquote.

kod··on Tales of an Aging Gamer: We keep getting older, the games stay the same
If this is turning into a recommendation thread...

  - Celeste
  - Into the Breach
kod··on Software Methodology: Why One Size Fits No One
https://www.jiujitsutimes.com/video-bjj-black-belt-ryan-hall...

https://www.mmamania.com/2018/12/29/18160674/ufc-232-full-fi...

Works in the ring. Works outside of the ring.

BJJ isn't defined by rolling around on the ground for minutes, it's defined by the importance of training against resisting opponents safely, which most traditional martial arts cannot or are not willing to do.

kod··on I Do Not Like Go
Even if you believe that distinction, Scala is different because library writers can use the same language as application developers. That's not true of the divide between implementing and using Go.
kod··on How low can you go? Ultra low latency Java in the real world [video]
I've talked with HFT firms that spent effort fighting the JIT because they cared more about the latency of rarely reached code paths than the common path.
kod··on The True Cost of Rewrites
> how come folks enter the market everyday with new software which keeps replacing all of that stuff you think is irreplaceable?

Because they don't (yet) have the calcified, dysfunctional processes that led to the need for a rewrite in the first place.

kod··on After losing half its value, Nvidia faces reckoning
Those look to all be used 3gb cards
kod··on Why Use F#?
Sounds like you are confused about what @tailrec does.

@tailrec is not necessary to enable tailcalls.

All the annotation does is error if a function is not able to be optimized for tail calls.

The (attempt at) optimization takes place either way, you don't need the annotation unless there's some doubt in your mind.

kod··on Apple to build campus in Austin and sites in Seattle, San Diego and Culver City
In terms of terrain and culture, once you're in Jollyville / Round Rock, it's not really Austin any more, it's indistinguishable from generic city USA.
kod··on Apple to build campus in Austin and sites in Seattle, San Diego and Culver City
Article just says within a mile of their current campus
kod··on Why Use F#?
Isn't async in f# considerably less efficient than in c#?
kod··on Why Use F#?
Why is the compiler being single pass related to correctness?
kod··on Apple to build campus in Austin and sites in Seattle, San Diego and Culver City
Their campus location is so far north, it's more like south Dallas than Austin.
kod··on After losing half its value, Nvidia faces reckoning
Where are you finding new 1060s for under 200?

https://pcpartpicker.com/products/video-card/#c=373&sort=pri...

kod··on Developer on Call
https://en.wikipedia.org/wiki/Contract#Formation
kod··on Ask HN: What should an ideal developer interview process look like?
Are you saying max 1hr to understand a problem and write 100 loc? Seems unreasonable unless you are working in languages with a bad signal to noise ratio.
kod··on OCaml for the Masses (2011)
Kotlin doesn't belong in these discussions, no exhaustive pattern matching.
kod··on Google's interview system: it's not about solving the problem
My experience at facebook was being told I could use any language, choosing the language my preferred project was implemented in... and then having the interviewer repeatedly and incorrectly argue with me about syntax trivia.
kod··on Book Review: A Philosophy of Software Design
How to Design Programs https://htdp.org/
kod··on At Netflix, Radical Transparency and Blunt Firings Unsettle the Ranks
It's my understanding that labor is not the biggest cost at netflix, compared to licensing and production, which is part of why they pay engineers so much.
kod··on Perl 11
> its design (up to Perl 5, at least) smacks of total Lisp ignorance.

https://groups.google.com/forum/?hl=en#!msg/rec.arts.startre...

https://groups.google.com/forum/?hl=en#!topic/comp.lang.clos...

kod··on Repl.it raises $4.5M from A16Z, Paul Graham, and others
Great tool, my 11 year old's class is using it to learn programming.

Might want to spell check the announcement, e.g. "oppurtinity"

kod··on The highest paid workers in Silicon Valley are product managers (2016)
Level N, e.g. Level 1 for new hire, level 5 for principal, etc
kod··on GitHub and Jira Software Integration
GitLab Issue Boards tracks capex?
kod··on Introducing Haskell to a Company
From my repeated personal experience, hiring decent programmers and teaching them Scala is not hard.
kod··on Java 11 released
If it doesn't have what 305 calls "deconstruction patterns" and "nested patterns", it's not really pattern matching. I'll be impressed if those make it in within 15 months.
kod··on 'Super Mario Bros.' speedrunner hits nearly inhuman 4:55 world record
Cormier vs Jones 2
← PreviousPage 4 of 11Next →