Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
raddan
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
16 ms
·
241.
▲
by
raddan
1y ago
There’s a difference between being required to perform the normal functions of the government and being required to espouse a political philosophy. The Hatch Act makes it clear that you can have a political opinion, but that it occurs on yo
242.
▲
by
raddan
1y ago
“UTM SE” is now on the App Store. Perhaps this was just a mistake? https://apps.apple.com/us/app/utm-se-retro-pc-emulator/id156...
243.
▲
by
raddan
1y ago
My first thought was "oh, this just looks like a functional language" but my next thought was "with the added benefit of relying on the horrors of the C preprocessor."
244.
▲
by
raddan
1y ago
I think there are actually a lot more kids like this than you’d think. Like many of those kids, I was so desperate for a job (I needed a job, to pay rent and to eat) that I would have been happy to take any computer job, since the alternati
245.
▲
by
raddan
1y ago
On the other hand, you were probably also learning on the job, which meant they were paying you to learn. Not a bad arrangement, especially if they did not demand senior-level code from you. I was also fortunate to get paid to learn web dev
246.
▲
by
raddan
1y ago
It’s weird to say that you can be three times more efficient at taking down AI slop now that AI is here, given that the problem is exacerbated by AI in the first place. At least without AI authors were forced to actually write the slop them
247.
▲
by
raddan
1y ago
Of course we already have a system that does this: journals and conferences. They’re peer-reviewed venues for showing the world your work.
248.
▲
by
raddan
1y ago
The problem with an endorsement scheme is citation rings, ie groups of people who artificially inflate the perceived value of some line of work by citing each other. This is a problem even now, but it is kept in check by the fact that autho
249.
▲
by
raddan
1y ago
Ha ha. Thanks. Love it.
250.
▲
by
raddan
1y ago
> Only the stateful things need to remain stateful. And I think it is worth noting that there is effectively no difference between “stateful” and “not stateful” in a purely functional programming environment. You are mostly talking about
251.
▲
by
raddan
1y ago
In functional programs, you very explicitly _do not_ need to understand an entire program. You just need to know that a function does a thing. When you're implementing a function-- sure, you need to know what it does. But you'r
252.
▲
by
raddan
1y ago
That's because in many languages there is a difference between a stored reference being immutable and the contents of the thing the reference points to being immutable.
253.
▲
by
raddan
1y ago
FWIW, the original version of this chart is what Steve Jobs was referring to when he first used his “Bicycle for the Mind” analogy. There’s a clip of him talking about it somewhere on YouTube at an early computer fair.
254.
▲
by
raddan
1y ago
Yes, but you are not a computer. There is no point building another human. We have plenty of them.
255.
▲
by
raddan
1y ago
Not with any of the BSDs, although I have tried. Instead I either use a USB to GigE adapter or a Waveshare carrier board (for the Zeros). The built in NICs for the ones that have them usually work fine. If you really need wireless you can b
256.
▲
by
raddan
1y ago
Can you expand a little? What you’re suggesting sounds a bit like program verification, or at least program analysis. But what properties are you checking? I have written many program analyses (though never any for C#; I’ll have to check it
257.
▲
by
raddan
1y ago
I too would like to see a side-by-side comparison but if we assume that the claim is true, one reason might be that NetBSD runs very few daemons after a default install. I run NetBSD on a handful of Raspberry Pi Zero machines, and it is rea
258.
▲
by
raddan
1y ago
I also love Solaris. I remember reading it the first time as a teenager. It is so matter-of-fact in its telling, but the facts are so bizarre, that I found it to really induce terror. It has always struck me as more of a horror novel than a
259.
▲
by
raddan
1y ago
I did the same thing and spent slightly less than you did because I did not need the extra linesets, etc. I was also able to install this in a location that few professionals would have tolerated (interior wall). My thinking was that even i
260.
▲
by
raddan
1y ago
I usually treat “think pieces” like these as mere mental stimulation. It’s pretty difficult to say anything definitive about how everyone should live or how everyone should think, but I don’t think that means we ourselves should not reflect
261.
▲
by
raddan
1y ago
I’m curious about what ways you have to distance yourself from yourself. The photo trick is an interesting one I had not thought of. I’ve found that some engrossing activity is a good way to disconnect for awhile: running is my go-to, but a
262.
▲
by
raddan
1y ago
I hear what you’re saying but the C# standard library is pretty well-behaved. If you’re really that concerned about it, wrap questionable calls in an exception handler and convert them into option types, and then you can force everything d
263.
▲
by
raddan
1y ago
It’s niche because the vast, vast majority of programmers just continue to do what they know or go with the crowd. I spend roughly 50% of my time doing FP and 50% doing imperative (most OOP) programming. I am dramatically more effective w
264.
▲
by
raddan
1y ago
Cool. I’ll have to check this out. I often find myself rolling my own “option type” when writing C#. Agreed with getting developers to see the value. The most convincing argument I’ve been able to make thus far has been “isn’t it embarra
265.
▲
by
raddan
1y ago
I am an avid functional programmer (it’s my default when working on solo projects) and I teach a PL class that covers the lambda calculus, LISP, etc. But the bulk of the course uses F#. I’ve been using F# regularly for the last 13 years. I
266.
▲
by
raddan
1y ago
> The obvious implication, obvious even to people such as yourself who are...limited? Instead of the ad hominem attack, why not try a real argument? In your words, “no one is being fooled here.”
267.
▲
by
raddan
1y ago
Since we’re on a roll, we might as well deploy the military everywhere else we’ve tried things that don’t work. Clearly we can’t stop school shootings. Let’s put the military in schools. We can’t stop people without insurance from using the
268.
▲
by
raddan
1y ago
I dunno, man. The first time I visited SF was in 2001. I was stunned back then by the homelessness problem. I vividly remember walking down the sidewalk near the Transamerica building during the morning commute and seeing folks in business
269.
▲
by
raddan
1y ago
Did you actually look at any part of the paper? Their approach is not some hand-wavy qualitative measure. They are measuring an actual phenomenon in people with known COVID infections. If you have a methodological problem with the paper, tr
270.
▲
by
raddan
1y ago
And not only that, Java was like 40 years late to the party. ML had Hindley-Milner type inference back in 1978! I can only imagine how foreign ML must have felt compared to other languages at the time.
More ›