HN user

sethev

2,158 karma

I've worked in a variety of language but my main interest lately is Clojure.

You can contact me at sethev@gmail.com

Posts67
Comments277
View on HN
fly.io 6mo ago

Design and Implementation of Sprites

sethev
169pts106
www.lileks.com 1y ago

Institute of Official Cheer

sethev
2pts0
www.linusakesson.net 2y ago

A Mind Is Born

sethev
1pts0
www.youtube.com 4y ago

A History of Clojure by Rich Hickey

sethev
1pts0
www.youtube.com 4y ago

Spec-Ulation Keynote – Rich Hickey

sethev
2pts0
www.youtube.com 6y ago

Search 0:01 / 38:23 What's in a Name? Fast Fuzzy String Matching (2015)

sethev
1pts0
www.infoq.com 6y ago

Rust Moving Towards an IDE-Friendly Compiler with Rust Analyzer

sethev
235pts64
sockpuppet.org 7y ago

Applied Cryptography Engineering (2013)

sethev
79pts9
github.com 8y ago

Transit data interchange format

sethev
1pts0
clojure.org 8y ago

Git Deps for Clojure

sethev
20pts0
www.washingtonpost.com 9y ago

The 70 mph test run that Hyperloop is hailing as a ‘Kitty Hawk moment’

sethev
3pts0
www.youtube.com 10y ago

What's in a Name? Fast Fuzzy String Matching [video]

sethev
2pts0
www.youtube.com 10y ago

Fast fuzzy string matching [video]

sethev
1pts0
www.youtube.com 10y ago

“Eve” by Chris Granger [video]

sethev
1pts0
www.goodmath.org 12y ago

Functional Programming Comes to the Macintosh – Introducing Swift

sethev
8pts1
www.philipreames.com 12y ago

Code for late safepoint placement available for LLVM

sethev
2pts0
worrydream.com 12y ago

Inventing on Principle

sethev
2pts0
www.youtube.com 12y ago

GopherCon 2014 Writing High Performance Databases in Go by Ben Johnson [video]

sethev
1pts0
blog.podsnap.com 12y ago

Managing inhomogeneously bitemporal data with Datomic and clojure

sethev
1pts0
www.kalzumeus.com 12y ago

Conversion Optimization in Practice: Baconbiz 2013 Presentation

sethev
26pts9
dancingpenguinsoflight.com 12y ago

Monads, or Programmable Semicolons

sethev
1pts0
tonsky.me 12y ago

Decomposing web app development

sethev
2pts0
github.com 12y ago

Code for "Scalable Atomic Visibility with RAMP Transactions"

sethev
3pts0
www.infoq.com 12y ago

LightTable IDE Goes Open Source, Adds Plugin Support

sethev
2pts0
thinkrelevance.com 12y ago

Kyle Kingsbury – Cognicast Episode 048

sethev
2pts0
blog.datomic.com 12y ago

Schema Alteration

sethev
6pts0
www.infoq.com 12y ago

What Is a Strange Loop and What Is It Like to Be One? [video]

sethev
8pts0
www.compoundtheory.com 12y ago

Clojure EDN Walkthrough

sethev
2pts0
www.youtube.com 12y ago

Coordination and Consistency in Distributed Databases [video]

sethev
1pts0
g33ktalk.com 12y ago

Datomic by Rich Hickey [video]

sethev
94pts19

Interesting idea - I like seeing a list of pet-peeves followed by a proposal for a straightforward way to have a set of 'alternative defaults' that remains backwards compatible. If you don't want to opt in, don't run the new PRAGMA edition = 2026.

Too often it's just a list of issues and a wish that everyone else will change.

In (mild) defense of SQLITE_BUSY - busy_timeout just tells sqlite to sleep and retry up to the timeout when it receives SQLITE_BUSY. It seems like a sensible default for a library to leave that up the calling code - which may have something else it could do while it waits. However, that logic often gets missed!

I don't think it's a knock on the original prediction to say it didn't turn out to be true. In fact, at the time it probably felt like a pretty conservative prediction. That being said, if you think back to the year 2000, we were pretty far from building such a machine at that time.

To me it's an interesting lesson in how hard it is to predict technology advances which still applies to our own predictions of the future.

Right - but the big difference is that the received wisdom for healthcare is that the higher cost in the US is an unfathomable mystery and/or due to "waste". If you said "writing software is more expensive in the US because software engineers there have higher salaries" everyone one would nod their head in agreement.

I'm actually making a very simple point. You said most of Jeff Bezos wealth is imaginary / not real. But he's proven that he can turn it into cash at a rate of at least $1B per year.

And again, he only owns 9% of Amazon. Of course if he dumped all of that stock at once the price would go down, but Bill Gates sold almost all of his Microsoft stock for cash and Microsoft stock has continued to go up. Jeff Bezos could certainly do the same and come out the other end with around $260B in cash - but he has zero reason to go do that..

Here's another way to look at this: do you have a retirement account? Is the money in there imaginary? If not, why not?

Without making any value judgement, there’s a very clear distinction between earning wages as compensation for labor (even very high wages) and increasing your net worth through ownership of a company. That’s a valid distinction no matter how hard the second person works.

I have no idea if this is what AOC meant, but it’s clearly not possible to earn $1B via wages in compensation for labor.

You're not even staying consistent in your own replies in this one comment. Let me boil it down: are the 11,000 people who earn their salary at Blue Origin getting real money or not?

My point is has nothing to do with despising blue origin - it's just a direct contradiction to your absurd belief that this wealth is imaginary. You can't fund that big a company on imagination!

By legislation and policymaking - just like any other numbers we as a society end up picking (like the age to get a drivers license or buy alcohol or the income tax brackets).

Just like those cases, what other countries are doing would mostly be irrelevant - except, just like now, people may try to find arbitrage opportunities by getting creative about where they live.

Dollars are the way we denominate wealth - no one who understands this thinks that these numbers represent cash that they hold. But that's a far cry from it being imaginary.

This seems to come up on every thread like this. Owning 9% of a company that generates ~$80B in profits and employees 1.5m+ people is literally a massive amount of wealth and putting a dollar figure on that is both straightforward and accurate.

Anyone who owns a house can understand that liquidity and net worth are two different things. But shares of Amazon are far more liquid than a typical home.

In case you need a real example, Bezos personally funds Blue Origin by selling around $1B worth of Amazon stock each year. That's 11000 people earning their salaries + a huge amount of capital investment that are all funded from this so-call "imaginary" money. I can assure you that each time those people get a paycheck, it's just as real as yours.

Yes, there is a data race there. The value of a volatile can be changed by something outside the current thread. That’s what volatile means and why it exists.

Edit: thread=thread of execution. I’m not making a point about thread safety within a program.

The Hard Problem strikes me as a "why" question and humans have a poor track record of ever answering a "why" for a foundational question (at least in a way that we can demonstrate to others). Our most successful explanations build up from simpler things to explain more complex things. But at some point, the explanation bottoms out on things we can't further explain - like the fields in quantum theory. There's currently no further thing below those that explain "why a field theory?"

If we solved the Easy Problems of consciousness, i think we would find ourselves in a similar position where most people would simply accept that we had an explanation and move on but some people with a more philosophical bent would continue to search for underlying explanations.

Right - I mean, what you're describing makes sense, but it doesn't sound like what they're describing. Their benchmarks are running on an EC2 instance and the post's author is here saying that they run on virtualized hardware. Plus they run on top of a file system. None of that screams "direct DMA from our buffers" to me.

I'm not saying it's impossible, but typically people who want to lean on hardware guarantees for extra performance control more of the stack.

This seems sketchy. O_DIRECT skips the operating system's page cache, it does not guarantee that the SSD driver sent the data to the SSD or issued a flush to the drive itself. The data could still be in the driver's memory or the in non-durable memory in the drive itself when this engine says "ok, we're good".

EDIT: sketchy from an answering "what exactly are the guarantees?" perspective

It's fascinating to read the perspective of someone seeing X-files as a show from before their time. The clunky phones in the show, for example, were actually advanced technology that most of us had never seen in real life. The closest thing I'd seen was the IBM technician Brick that an uncle had.

I want to twiddle the dials on a car radio

That's one thing I miss. As a kid in the early 90s, I used to collect car radios whenever someone was replacing theirs (which seemed to happen a lot more back then) - they were fun to take apart because so much of it was mechanical. Even the buttons to remember a station were mechanical and worked by using latches and levers.

I don't doubt that number, but it's always a bit baffling to look at the median income in expensive cities. New York city's median household income is $87k, which means that the majority of households are well below the income level it takes to live there.

That stresses me out just to think about it.

I apologize for not quoting you directly “Then go get some!”. That’s what you said in response to there being no evidence. Would you like a link to your comment?

You're the one in this thread claiming people are responsible for "going and finding the evidence" of other people's unsourced claims. You could have just not replied since you didn't have something to contribute.

IMHO, people making claims should provide the evidence for them. One link is behind a paywall and the other clearly states that it is making informed speculations.

I could make all sorts of claims on the spot here. It doesn't create a duty for people reading this thread to go investigate them.

Sure, but Joel isn't saying that's impossible or that people who do that are crackpots. In fact, he was an advocate of writing specs ahead of time [1] - for people.

At the time "generating a program from a spec" was an idea floating around that you could come up with a "spec language" that was easier than regular programming languages but somehow still had the same power and could be compiled directly into a program. That's the crackpot idea that Joel is referencing - but that's not what a spec language used with an LLM is doing.

[1] https://www.joelonsoftware.com/2000/10/02/painless-functiona...