skysight-inc/HackerNews huggingface dataset:
I run the one from 2011 (16 Gb of ram though) and it runs highly minimalistic Arch Linux. So far so good.
First we had too big to fail, now we have too stupid to fail.
Leadership requires taking some risk
I take it that you're not a fan of his book - could you outline why, or whether there are any better ones? Thanks.
Worth noting that Exercism is (or at least was at the beginning of the year) experiencing a bit of a funding problem. It would be a remarkable shame if it were to go away, or be less accessible. Such a great resource.
> Zen 2 has up to 64,

64 is _very expensive_.
And how is the lead from that brick going to get into your body? Brick licking?
This article seems to have a big miss the basic point on exponential technical progress shifting the "comparative constraint" every 18 months.

A $35 raspberry pi AI chess blows away deep blue from algorithmic and compute progress. So the comparative constraint is on a exponential fall off curve not a constant per "more valuable" areas to be automated. Not only that a bright highschool student can research a bit online and build a competitive solution given algorithmic and compute advantages of today vs late 90s

Right now it may cost $10 Dollars in compute and a day guiding GPT4 to productive economic activity; but GPT7-turbo will cost 2c and take 2 min of guidance for equivalent comparative value.

It would make no sense to look at early computers and say phone operators will always have a job because of the comparative cost constraints of automating phone switch boards with computers will use "too much energy" and there are "more valuable things" for computers to do vs low cost of human operators.

Fair to say that jobs will change :)
Just this morning I have been working on a font rasterizer for an eink screen project. So it’s really interesting to see one this small.
The short answer to the first question is… not great.

There are no Vulkan constructs corresponding to those things. Vulkan lets you run compute shaders written in GLSL, HLSL, or any language for which there exists a compiler that outputs SPIR-V. Vulkan doesn’t have its own shader language. Deciding how to break the problem down into separate shader programs each with different workgroup sizes is a challenge.

And the end result performs very poorly compared with tensorflow. However, I haven’t yet put much effort into optimisation, so I expect there’s some easy performance gains to be made.

I don’t know anything about WebGL or WebGPU.
So as long as you don't kick them it's fine.
It's interesting research, but at the end of the day, the websites are there to make money. Well, looking at the table, maybe the author's own isn't, but the rest is. And so, I think the businesses don't optimize more because there isn't much more money to be made that way. Instead, the same effort is better spent elsewhere, like marketing, having a software that's quickly adaptable, that's easy to get interchangeable developers for. So they are optimized, just not for the speed on low-end devices. Different goals.
It's not only MBAification.

The world's economy has suffered a global, organized, and incredibly large dumping attack against a huge set of industries and social organizations.

The good news is that it seems to have stopped.
the problems i allude to involve the steel no longer being steel within a very short time after hitting the water. As with the wiki reference, stuff you're expecting to pin together with steel will likely not stay together.

It's not pessimism to say "this could be done better; we've seen the methods being used fail repeatedly before"
Sexy aircraft. Congrats to everyone who took part!
That nothing. I have AIs telling me that 12345 < 5432. Never trust a LLM with facts.
They might not make any improvements but as long as they keep up the payments (https://www.opensecrets.org/political-action-committees-pacs...) they will probably be ok.
Any electricity customer in EPB's jurisdiction can get 20gbps (synchronus) fiber to their door — this includes dead-end dirt roads beyond multiple one-lane bridges (i.e. "out in the sticks"). 300mbps is only $59 (including all fees).

More publicly-owned utilities should exist, similar to Chattanooga/Hamilton County, Tennessee.
So don't lick or eat the bricks.
If you really don't understand that the argument

"If phone companies can't remove all death threats, they shouldn't exist (even though nobody expects them to try remove any death threats)"

is fundamentally different from

"If Facebook can't remove all death threats, they shouldn't exist (given that it's their policy to remove death threats)"

then I don't know what to tell you.
Any advice on how to get Opus to not bullshit me and hallucinate the opposite of the correct answer? This is less about code, but more about best practices and functionality of applications (e.g. how do I do x y z with Github Desktop). It will often make up the perfectly wrong answer with total confidence and not budge even when pressured. I haven't had that issue with ChatGPT.

It's entirely possible that ChatGPT is behaving better because of the default beefy system prompt I'm using that asks it explicitly to not make stuff up and let me know when it's unsure, which unfortunately Claude doesn't seem to offer, requiring you to manually say that each time.
By “sit on” do you mean “keep using” or “avoid”?
You can buy them out of a catalogue, and if you need it in a building I think the building requirements are simpler than most other retail space. I used to work in the railroad industry and even train washes, a much rarer thing than car washes, were purchased practically as turnkey things.
Try this on either your favorite GPT or favorite kid learning stats..

"What are the actuarial odds of an American male born June 14, 1946 in NYC dying between March 17, 2024 and US Election day 2024?"
There are definitely some shills all over HN now... But even aside from that, the sheer novelty aspect (+less robotic ethical alignment) of it is enough for many
Really expected a picture of the steel Reef Stars with the article.

Found the site from the sponsors of the project. Bit of a surprise, the Mars, is Mars Candy Bars (M&Ms, Snickers, ect...) Also, a partnership over in Australia on the Great Barrier Reef using the stars. (348 Reef Stars with 5,115 coral fragments of opportunity) Both have fairly extensive pictures of the steel frames coated with sand and the installation.

The main MARRS stats are: "30 sites across ten countries, 60,000 Reef Stars, planting 900,000+ living coral fragments."

Apparently started with "10 years in Sulawesi, Indonesia to restore reefs damaged by dynamite fishing."

[1] https://www.mars.com/news-and-stories/articles/the-big-build...

[2] https://www.gbrbiology.com/2022/04/08/mars-and-coral-rubble-...
It's not based on Boinc, but I think Folding@Home has some decent visualizations
The Luddite's Guide to Defending Cash (2023)
Ask HN: What's the best way to exit tech?
I am fed up with what the tech sector has become and, even though it's going to be hard, I am seriously considering transitioning to another sector altogether.

I am in my early 40s and I have some savings. I would be really interested in the experience of people who have transitioned out of tech jobs (programming, management, whatever), what they have transitioned to, and how they've done it.
That seems unlikely, given professional rideshare drivers will have to wash their cars probably two orders of magnitude more than the average driver.
If you're looking to check for issues with your SPF, DKIM and DMARC setup: https://aboutmy.email/ is a tool that calls out all the issue with a message that you send to their temporary address.
Latency Numbers every programmer should know
Oh this is really nice. Sorry I will take a deeper dive.
In 2004, the assumption made by the GCC developers was that you would be walking stacks very infrequently, in a debugger like GDB. Not sampling stacks 1000s of times a second for profiling.
I think such an argument would need quite a lot more work, the lack of Solomonoff induction doesn't mean we don't have probability theory.
Don't know how it compares to other manufacturers, but I've been pretty happy with the minimal BS that comes on my last two Sony phones.
i miss the days when running this sort of thing was not an obvious energy (and fan noise) tradeoff. i was big into the distributed.net [1] client in the late 90s, running it on my powermac. when i got to college in '98 seti@home had taken over everybody's screensavers.

[1] https://en.wikipedia.org/wiki/Distributed.net
Someone should build this as a service
Auto pilot, adaptive cruise control, engine start stop controller, brakes, gas, etc, etc. Modern cars can’t drive without software. 100m+ lines of code in a car, 70-100 cpus according to this article: https://medium.com/next-level-german-engineering/porsche-fut...
Old desktops with Boinc running 24/7 make an useful alternative to direct electric heating. Of course a heat pump is more efficient, but not everyone has that.
Curious why?

This is maybe 1/3 of my use of GPT4. Quite often, the log dump and nearby code is enough, often even without explicit instructions. Being able to do this task is similar to GitHub CoPilot code autocomplete working well too. Still not 100%, but right often enough that it flipped my use from not-at-all in GPT 3.5 to quite-often in GPT4.
> We didn't lose news, what we lost was editorial oversight, basic ethics, fact checking, the pursuit of an objective voice, the resources to do good work, the courage to stand on principles, and so on

If there was any of those in the press, ever, they wouldnt have lied about nonexistent WMDs for 8+ years.

The entire privately owned 'free' press was just the corporate propaganda arm of the establishment. The illusion of 'quality' was there only because the 'editorial oversight' that you mention was keeping the 'undesirable' news out and 'desirable' ones in, creating a facade of consistency. The moment the Internet broke the blockade, things came crashing down within a span of years.
Most people won't know where most cities are - why not keep it general.
What if you voted in an opposing party's primary solely to select a less-electable candidate (for "the other" party)?

Here in Tennessee, that's apparently illegal; but several county DAs have sworn not to prosecute.
Yes, thanks for clarification.
One time I was driving around, and I thought to myself "Boy, it sure is lucky we had all the products for asphalt laying around, or it would have been difficult to build all these roads."

Then I realized that if the products for building roads weren't around, then we wouldn't have had those roads in the first place, and I wouldn't have been reflecting on how lucky we were to have all this stuff.
[where this model breaks down] -- Alice and Bob go to your website and have a conversation. Eve hacks into the website and modifies the E2EE code. She can switch between serving the normal webapp and the malicious non-E2EE webapp. There's no good way to detect it. There are people out there who really like end to end security, but don't like browser-based e2ee because it doesn't have end to end security.

Note: https://www.cyph.com/ is a bbE2EE chat system.
> I only tried Claude because ChatGPT UI is really buggy for me (Firefox, Linux).

It is buggy on every platfrom in my experience.
Last year I finished over a decade on very large Perl project, collaborating within a team. When I joined that project it was already over a decade old a most of the code was much like what you are probably imagining. When I left the project, all the parts we had touched were much like any other high quality modern codebase, and we could almost as readily maintain the decade-old parts (that we had worked on) as the week-old parts.

Having worked in many languages over many decades, I've learned that a high quality codebase is built by high quality developers, largely independent of the languages they use. You can build an unmaintainable mess in any language as easily as you can build a high quality codebase in Perl. I would concede that you can more easily build an unmaintainable mess in Perl than in many languages but that's up to you; you can do most things more easily in Perl than in many languages ;)
I don't think discoverable credentials on hardware authenticators are a good default pattern (even though requiring(!) resident/discoverable keys is the suggested behavior [2] by the FIDO alliance!?)

They have their uses for special use cases for authentication against local or otherwise non-synchronized relying parties or as a component of authentication protocols that aren't a good fit for native WebaAuthN (like SSH), but a regular old website can just ask me for my user ID (which is my email address in 99% of all cases).

Unfortunately, there isn't [1] a way to say (in WebAuthN API terms) something like "give me a discoverable credential if you have unlimited storage, otherwise nevermind", so as far as I understand, a relying party can only say "preferred" (taking up a scarce slot on a HW authenticator) or "discouraged" (making a platform credential non-discoverable needlessly, except on platforms that ignore that flag anyway like Apple/iCloud Keychain).

As an aside, that issue [1] having been closed without any accomodation for that use case fits with my anecdotal observation of the WebAuthN working group having largely pivoted towards the "Passkey paradigm". Hardware authenticators somehow don't feel like a first-class API concern anymore.

[1] https://github.com/w3c/webauthn/issues/1822

[2] https://github.com/fido-alliance/how-to-fido/issues/16
It's too bad cars are getting these proprietary things that are tied to a specific OS.
Here's the thing: if you don't play, you definitely can't win and your odds are zero. You can't win if you don't play.

I personally buy a single $2 lottery ticket about 2-3 times per month. I know I'm not going to win. But you know what I do? I spend at _least_ 30 minutes, if not the entire day, fantasizing about what I would do with the money.

Am I going to win? Not at all. But I think I now have a better idea of what my financial priorities are than I did before I started playing! I know what I'd do with my money if I won $1M, 2M, 5M, 10M, 25M, 50M, 100M, 250M, 500M, 1B... I know what I'd do with the money. And you know, I may never get to $1 billion, but given my current income and age, I will definitely hit the $1M and $2M marks, possibly the $5M point. And so knowing what I would do with that kind of money? That's pretty fun to think about.

In a world where my wife and I go to see Dune 2 in movie theaters and it costs $100, or in a world where a burrito can cost $15-20, or gas prices at $6+ per gallon, a $2 piece of entertainment with the tiny, infinitesimal chance of winning big seems eminently reasonable to me.

Now, if you're Bruno Mars and have a gambling problem, then maybe you should spend those $6/mo on something else.
The Mechanics of Async Await
> This is a cartel, not capitalism

When there wasnt regulatory capture in late 19th, entire US ended up getting owned by ~12 robber barons. The housing situation was the same back then: Barons would be buying up or building entire neighborhoods in which people would have to live like feudal tenants on knife's edge.

These futile attempts to redeem capitalism are making it difficult to address the problems that it creates.
No, it would not. It would require the LLM to provide a proof for the program that it outputs, which seems reasonable in the same way that a human decompiling a program would be able to provide a record of his/her reasoning.

The formal verifier would then merely check the provided proof, which is a simple mechanical process.

This is analogous to a mathematician providing a detailed proof and a computer checking it.

What is impossible due to undecidability is for two arbitrary programs, to either prove or disprove their equivalence. However, the two programs we are talking about are highly correlated, and thus not arbitrary at all with respect to each other. If an LLM is able to provide a correct decompilation, then in principle it should also be able to provide a proof of the correctness of that decompilation.
My brother recently got decent wired or fiber broadband at his house in rural Maine. But he had Starlink for a while before that and it was a game-changer. You could actually do all the normal Internet things. The prior wired connections got 1Mbps down with a tailwind and the subsequent mobile hotspots had very restrictive data caps and also were still pretty slow.
The chubby dolphin; beauty is in the eyes of the beholder!
Somebody already posted that the (it was only one) CEO actually did.

I'll just point out that dog food is food. It may not be healthy for a human in large amounts, but it can't be worse than eating fast food for a week or so.

I know an unreasonably large amount of people that claimed to try it. Most when they were children. I doubt that my bubble is unusual on this.
I was thinking about this the other day

I’d happily pay $100/month to access the internet similar to that of pre-2005ish

As in, banning almost all commercial activity

I truly believe Google isn’t getting worse, just the incentives behind the creation of web content have become progressively maligned with that of the user’s desires

I want a high quality internet, and am willing to fork out large sums of money to access it

I hope I’m not alone
A Modern Car Runs on 100M Lines of Code – But Who Will Write Them? (2021)
Yeah, by the way browsing on iPhone 6S Plus is quite okay, compared to even MacBook Pro (2011, but that’s a laptop!), I would say.
When the LAPD Blows Up Your Neighborhood [video]
China has a lot of big cities along the coast that will flood as the oceans rise.
I’ve been using HTMX on a greenfield project (not reimplementing something) and I’ve found it easy to work with and effective. Nothing magical, but simpler. Less effort, not more.

After being reminded of the importance of supporting low-spec clients[1] I’ve been testing without the HTMX library loading as well, and mostly that works like it should. I say mostly because I didn’t get the markup right everywhere yet.

I can see why some wouldn’t like it. But, it’s not a good/bad or works/doesn’t thing - it’s just different.

[1] https://danluu.com/slow-device/

Edit: typo, HTML -> HTMX
Before there was the mining of bitcoins, there was BOINC. Where your spare computing cycles helped cure cancer, find aliens, solve mathematical proofs.

And then self-interest trumped altruism.
It doesn’t help when you get a new iphone it doesn’t ship with its documentation. You have to get to the actual documentation page on apples site, and then dig a little to get to a page that looks like this (1) that merely outlines a few possible gestures. Not which ones to use when beyond a one sentence example. And this is just for the OS. What apps ship with documentation that outlines how these gesture functions are used in their app?

https://support.apple.com/guide/iphone/learn-basic-gestures-...
I'm looking for land on Zillow, currently... and it seems like even if you do all the selection/finding: the seller's realtor is still going to charge you the buyer's fee [when you don't have/use a realtor, yourself].

Years ago, I just had to stop working for realtors even though the make-ready work paid quite well (it's so fake; "seller's report is worth less than the paper it's printed upon").
Yep. Also since there is that shift for-profit-mode.
I've worked in plenty too. They start out faster. Delivery and quality both decrease almost imperceptibly for a long period. When somebody who understood how everything was built leaves because they got offered 20% more elsewhere, delivery and quality both plunge quite a lot and the decline accelerates.

It's incredibly unusual for them to recover delivery speed and quality after not doing automated testing for so long. It's incredibly hard to "bolt on" testing afterwards - both because the culture and context isn't there but also because the tooling and infrastructure can't be built up in a week. Most companies in this state look for quick fixes like:

* Elaborate branching strategies

* Entirely different versions of the software for different clients (because you're too afraid to upgrade them all).

* Ever more infrequent releases.

The next step is technical bankruptcy. That's when your devs start whingeing about wanting to do a full rewrite. That's usually the point where you've probably ended up losing money overall by dodging tests.

It can work without tests you manage to hit product/market fit before the decline sets in, but I find that companies in this situation often tend to struggle developing and will often stagnate. 1/50 might tap into some undiscovered new market opportunity and hit it out of the park either way but it's rare.
Endorsing DORA metrics and microfrontends...

Surely i will love this article.
Your argument would be more compelling without the swipe in the final sentence.
What are you referring to? I’ve been a redditor since I was a digg refugee, and I can’t remember any meaningful change to the commenting system since then. Maybe some different sorting mechanisms with different defaults, but that’s about it.
There's a lot to like about htmx, but one thing that does not sit well with me is its opinionated design decision that it will only render content if its sent with a 200 OK (tech TL;DR: shouldSwap defaults to false for non-200 response codes).

Most sane services will only return a 200 OK if, well, things went OK. Most sensibly designed services will return 400 range if an error has occurred that has been handled gracefully.

I am aware that you can kludge a hack in the form of a JS snippet to force htmx to render content on !=200, but it shouldn't be that way IMHO.
"No Ma'am That's Not History", Hugh Nibley
https://www.amazon.com/History-Brodies-Reluctant-Vindication...

_A Case for the Book of Mormon_, Callister
https://www.amazon.com/s?k=a+case+for+the+book+of+mormon&cri...
Are you pretending that Starlinks upfront cost of $599 and $120/mo is affordable for the community that this article is about?
> Passkey support is disabled by default

Thank, I hadn't noticed that, I thought I had to wait for the extension to be updated after the announcement from KeepassXC.

> After that, the UI seems reasonable enough.

I tried it on webauthn.io and I'm wondering if there's a point in showing a prompt on every login attempt, if passkeys are phishing proof. Why not just allow the login right away? Maybe show a notification that it happened, but why wait for user confirmation?
As far as I can tell from their website, this isn’t related to Oxide Computer and I’d guess there’s going to be a cease and desist real soon now.
I'm not someone who usually gets excited by new major releases of frameworks/libraries but this one feels different. I got my start with CRUD PHP websites with jQuery. I've been using HTMX for the last year and it fills me with nostalgia while also allowing me to move faster when building UIs.
I don't think we are. Starlink is better than pretty much all of the alternatives if you can't get good wired broadband. (And can be a real game-changer in rural areas.) But it's mostly worse than good wired alternatives.
If you live in a place where roads are salted, washing your car is generally recommended to reduce rusting and paint damage. I don't go to the car wash often and I only use the one at my local gas station, but it's rare that I go there and there aren't already at least two cars in line. And I live in a very low population density area.

At 1 car every 14 minutes on average, a single bay will easily clear $1,000/day of revenue.
Frankly, this seems obsolete.

Soon we will have 30,000 autonomous drones delivered via a rocket anywhere on earth in 30 minutes or less. Starlink satellites will monitor the drones as they pick off soldiers one by one.

The future of warfare is terrifying
How a Silicon Valley trend is impacting an $8B Canadian farm industry – CBC News
+1 I am genuinely confused
I didn’t know that, that’s interesting. I’d expect 100-199 responses to be able to render a result as well, at the very least.