skysight-inc/HackerNews huggingface dataset:
And that's the difference: engineers see risk and ask how do I make it less bad, MBAs see risk and ask how do I make it look less bad.

Making bad planes is terrible for PR and it's terrible for profits. You can have the most spineless, profit driven sociopath in the world at the helm of your organization but as long as they see problems as things to be solved, the problems will get fixed because it is the rational strategy. But if leadership does not consider the possibility that things could actually be better, they're going to be doing damage control until the end of time.
Never forget the articles about the impact of LSD on early Cisco/Networking...

See previous thread here:

https://news.ycombinator.com/item?id=38970587

(and the menlo park studies... LSD is intrinsically linked to the development of silicon valley)
Perhaps the page existed in the past but now it doesn't. Or at some point a link was misspelled.
> Not a single nuclear reactor today has been produced fully with nuclear energy.

Which I did not claim at all. I keep saying that we need both nuclear and renewables, and you keep opposing renewables to nuclear. We won't go anywhere, let's stop here.
Does it even matter? It's an official communication.

(In the future [as in the past when abstract entities were involved] we will not be concerned so much with whether or not an entity physically produced a message [in a single take, for purists], but with whether or not that entity approves of the message)
Andrej Karpathy LLM Paper Reading List for LLM Mastery
Apple Releases macOS Sonoma 14.4.1 with Fix for USB Hub Bug
As others have said, great write-up.

Seeing as this post might draw some useful attention, I'm going to piggyback and ask - does anyone have any resources for finding manuals for arcade machines?

Specifically I'm working with a 2004 Pro-Striker Bowling Machine Game - very similar to the one shown here: https://www.pinrepair.com/bowl/pstrike.htm

I've spent several hours in Google and haven't come up with anything useful... I'd be willing to pay for a copy of the manual, especially if I could post it somewhere others could find it.
He's said that he had a difficult relationship with his father, who sounds like a mean, small-minded man. The posters of half naked men on Arnold's wall probably didn't help.

Bodybuilding was once mocked. Maybe it needed someone who grew up defying norms to make it popular.
Async and Thread are of different abstraction levels[1].
The easier to use, the higher the abstraction level.

Rule of thumb: use the highest level of abstraction for your case.

Of course, the Async implementation can be atrocious or in conflict with something already used by your code, forcing you to use a lower level of abstraction.

[1]https://blog.codinghorror.com/the-wrong-level-of-abstraction...
> not very useful for most work

We seem to be on a timeline where most of the significant use cases that the model doesn't handle well today is less than 2 years away from significant improvement.

My (completely baseless) guess is that within 2 years we begin to see "high budget" feature length productions beginning to move towards a cost saving model which fully allocate the production budget to primarily virtual content.

In less than a few years time there will almost certainly be a vast ecosystem of production and post production tools to give creators the controls to reliably create and fine tune their shots.
This is kinda funny, I just added a "Website" link to my docs[0], came to HN and saw this comment...

That being said, for people reaching the docs, the extra links do feel a bit like noise, taking away the attention from the information on the page.

[0]: https://docs.uxwizz.com/
All tidal wetlands are blue carbon ecosystems
Also, IBM POWER have SMT at levels above 2; at least POWER 7 had 4-way SMT ("hyperthreading").
> It's been said that a sufficiently detailed spec already has a name: a program.

You could create a spec that would specify exactly what a program does, but generally speaking that would have no useful purpose.

For every program that does something, there are multiple ways to implement it. Often, different ways of implementing a program have different performance profiles, which is why many programs become more complex than the most naive way of implementing it.

A spec almost never specifies anything other than the simplest possible way that a program should be implemented (because when creating a spec, performance is irrelevant). This is usually way easier to make sure that it is correct than a spec that would specify exactly how a program should be implemented, including things done for performance.

Furthermore, you don't have to necessarily trust a specification. Specs can also be proven to have certain properties, i.e. they can be formally verified and proven to have absence of (perhaps certain classes of) bugs, and in some cases, can even be proved to have full correctness (yes, the spec itself, not just the program that implements it).

So I don't think it's fair to equate a program to a "sufficiently detailed spec", since most of those details are actually irrelevant (or at least, they should be, and can be proven to be) with regards to the correctness of a program.
E-mail is hard. This is gluing seven AWS services together. I wouldn’t certainly run any serious e-mail servers with a stack like this, good luck debugging why only half the emails come through…
Let me try to explain. The current way (which must continue working the same way even if the language is changed) does not allow you to distinguish a goroutine that should terminate but hasn't due to some bug versus a goroutine that can legitimately run for a long time. Making the goroutine "id" explicit can allow you distinguish the two cases. Store the id in some global or long lived variable or array if you want the goroutine to run for a long time. Otherwise carefully control the scope of such an id so that the runtime has a chance to catch the first case. That is my initial thinking but it would need to be fleshed out more. For instance, there should be a way to test that goroutine has terminated. Currently you do this explicitly by passing a channel and waiting for a message.
What Is Storybook? An Overview for Developers
There is plenty of established precedent for gating certain public health hazards behind age requirements, I'm guessing it gets tangled in the courts for awhile but ultimately survives in some form.
are we ruling out content filtering? any content filter that is going to filter HTTPS without SSL decryption is going to look at the esni, which is in the client hello.
Some Linux distros don’t have the latest Python versions in their package repos, but there are definitely other ways to install versions side-by-side.
> the last person on earth

Being overly dramatic just makes you sound silly.

> I find it horrendous how a single american company can pollute the night sky for every human being in the world

Except of course that with the visible eye you never even see Starlink and 99.99% of humanity has never seen a single sat, and don't notice it. And of those who have most have seen a short bus of sats for a few seconds. And somehow those people are still alive.

The sky is fine and not polluted.

There are some concerns about earth based astronomy but they are often overblown. And sats are just one of many things humans do that make astronomy harder.

More regulation to take into account astronomy make some sense, but SpaceX has been a model citizen in that regard.
One way to think of it is as an enhanced version of the Atari 2600 graphics chip with a sort of primitive "GPU" put in front of it to offload the "racing the beam" stuff. Amiga "copper lists" later generalized the concept to drive a larger array of relatively simple specialized I/O chips (presumably due to Jay Miner).
i was thinking about perhaps one time PASSCODES linked to your ticket that you can easily burn in your memory:::

tree#5737cherry۲
bird#115٨lime۲
those fancy symbols are arabic numbers they act as seperators : ۲ = 2 || ٨ = 8

with my my name oompa loompa::
L#oompa٨149۲
oompa#L۲149٨
#Loompa٨O۲115
the original idea was alot more complicated but harder to burn
:::
banana#4680٨yellow۱۲
tree#5791٨cyan۱۲cherry
=======

tree#cyan۲cherry
-----ticket backup only!!!\ not 2FA!
--- i added emojis here but hackernews wont display em
If you pay, you have to be being tracked surely?
Haha, thanks! Just trying to narrow my "unknown unknowns"...your experience sounds cool! You could write about some of it, I'm sure it'd be an interesting read :)
Quoting OP

> Cookie prompts is the best example of bad faith compliance

If cookie prompts are used by both by the official EU and GDPR sites then that was clearly the intent of the law.
Not sure if this is deliberate, but it seems like a straightforward application of the "paving the cowpaths" approach to standards that was advocated so much in the last decades.

Basically I guess, browser vendors decided that there is no way to convince every captive portal operator on earth to adopt some kind of standard, so they just "standardized" the existing practice of querying some random http host and see if it gets intercepted.

I think there are also discentives to standardisation, unfortunately: Captive portal operators want their portals seen by humans, often just to get people to agree to some ToS. If this were standardized, someone would build a tool that could log into a captive portal without user interaction, and while this would be awesome for me and you, it defeats the entire purpose of the portal from the operator's perspective.

So I fear, this is why we (techies) can't have nice things.
I doubt it.

83-93, disk prices dropped about 300x

93-03, about 1000x

03-13, about 20x

13-23, about 3x

SSDs are catching up but they're not going much faster.
Lots of good things to investigate already in the thread. I would throw in the potential for an anycast routing issue. TCP is stateful and if there is asymmetric routing, maybe the packets are coming from one anycast device, but the returning packets are routing to a different one.

Would suspect some of the other responses first though, but if they don't help this could be a possibility if they are using anycast.
Well they said that it needs further testing. If it would be mostly fixed, it would mean that ecc could help even more.
I mean the on-die-ecc probably already helps
Judge Tears Apart Musk's Lawsuit over Hate Speech on X
It is executed by your runtime which may or may not behind the scenes be using a single thread for your execution and/or the underlying I/O/eventing going on underneath, no?
Programmers will be among the first ones obsoleted by their own revolution(2017)
If you don’t set high expectations and hold decisionmakers accountable to the consequences of their decisions, why would you expect the quality of their decisions to be high rather than merely expedient?

It sounds like the pay for that position should be high enough to compensate for the risk, and that the penalty for failure should be consequential enough that only people with the talent, skills, and judgment to be confident in their decisions would take the job.

The financial people have skin in the game in the form of this kind of personal legal liability, and that seems to keep the financial shenanigans mainly on the “obscure but within the letter of the law” side of the line no matter what kind of pressure the CEO might bring to bear to cook the books.

When security and technical governance are a cost center and compliance is optional (or, at worst, a potential PR threat)—and when privacy has no concrete value but data does—wouldn’t it be bad business not to monetize the data and be quiet about it so as to minimize the PR threat?
Interesting product. I'm curious about the output of example flow (phishing mail scan).
We plan to add integrations and pre-built workflows in the coming weeks. Would love your input in our Discord channel! https://discord.gg/n3GF4qxFU8

We're building a motley crew of blue teamers, security engineers, and data folks.
Of course it matters. Would we let a legal defendant put forth AI generated evidence as an alibi? No. In this case there are serious concerns of a coverup.
One can always find justification for more complex solutions ;)
China spent the first 15 years it had with significant computing resources in-country using them to hack the rest of the world. Once you do that, there is no restoring trust, no matter how hard you try.
Using an A.I. article from lawnlove.com as a source....okayyyy

This country has really gone downhill with education

My teachers would have yelled at me for having a source like that.
That was a good article! I saw the handbook recommendation on a other HN post as well, will take a look. Thanks!
Show HN: See who shipped what with this sheet
That hypothetical wouldn't be the GPDR, and also, it doesn't exist. There is no US GPDR for a reason.
So much for "I'm a free speech absolutist".
Just wondering if threads in Rust can suffer such problems?

Background: I am coming from the JS/TS/Node world, and have decided to jump onto a compiled language. I narrowed down my choices to Go and Rust and eventually decided to go with Rust, because it didn't use GC for memory management.
You're either lying or not reading.

> but "the exact same problems" is absolutely an incorrect statement

> the last time she was trying to download an app for tracking hours at work, and somehow downloaded the wrong app with a similar name

> There was even a post on HN last week about an scam app being the first result in the app store

it's the _exact same problem_
No it's exactly true. You can write up anything you want and put it on a site. The post I was replying to was suggesting an open access system (both read and write) for exchanging ideas. This exists.

What it doesn't do is effectively replace the non-open system for access to academic journals. I have a lot of sympathy for open (read) access to research, particularly publicly funded. It just isn't sensible to wave a wand and say "all papers are free to read now" without some plan for the other parts of the system and the ecosystem (academic research) that relies on it.
Well client side routing is fundamentally broken unless you do serve a 200 and the index
Most machines of that era had a pretty standard architecture except for a few strange ones like Atari and TI-99/4A (minuscule amount of ordinary RAM but a fair amount of “video RAM” the CPU can access through ports; no bitmaps, only tiles) and the early Sinclair (which used Lancaster’s “cheap video” https://www.tinaja.com/ebooks/cvcb1.pdf to delete the display controller)

One thing that did matter was color choice. My TRS-80 Color Computer had a terrible choice of colors that you’d expect from a physicist or electrical engineer, the C-64 had a small number of hand-picked colors that looked nice. (Somebody ought to tell the people who maintain contemporary terminals because I usually have to do “:syntax off” to see what I am editing with vi and it was annoying as hell to set up a Linux computer attached to a TV this weekend because I was sitting at an odd angle which made most colors illegible except for white.)

Another interesting fact to me is that 1980s era display controllers were conceptually simple but had a huge part count in terms of gates because of multiple wide data paths. Today it is fun to build them with FPGAs but difficult to build them out of discrete parts. I saw an ad in Byte circa 1979 for a gfx card for S-100 computers that had much better specs than the average home computer but was a fairly large board packed with chips on both sides.

Thus most of the home computers had an ASIC display controller and projects like

https://www.commanderx16.com/

struggle and wind up using an FPGA or microcontroller for the display controller as opposed to something authentic. Sometimes though I think it might be fun to try building a display controller on a few big breadboards.
One easy way for the automakers to solve their problems would be to exploit Moore's law, and move all of their designs to a 28nm planar node of transistor production (which are somewhat more durable than the smaller FINFET nodes).

Because many of them were still at 180nm (or higher), they wasted the silicon material with a much larger die size.

Spend the money to stay current. Nobody is going to mass-produce vacuum tubes for you overnight.
Well, at that price I might be interested.
So surveillance is OK if 1) it's done in the West, and 2) it's done by a private firm?
Z notation is the framework which left me with this conclusion. It was allegedly named this by its founder because it is "the ultimate" language. I thought it was terrible.

I've used plenty of type systems, and they have all provided a means to annotate the code and then prove certain properties about the code, but I have never in my life seen a type system which let me define a whole specification as formal verification does.

I have also seen type systems go waaaay overboard. They ended up inhibiting development velocity because they were so intent on forcing the programmer prove of the code properties that actually didn't need to be proven.

In general, I think type systems that try to strongly limit the scope of the properties they are trying to prove and apply a cost/benefit trade off to the value of the proven properties and the costs of the annotation work best.
Yep, it was really clever how it was built in separate stages.
It's a worldwide game nowadays though.

For civilian aircraft manufacturing... Boeing (US), Airbus (EU), and Comac (China).

All of which have varying degrees of state capture.

Maybe that's the nature of highly-compled and -refined products? You only have meaningful competition at the internal level?
Fake AI-Generated Books Swarm Amazon
Uber also made something called fx, which is fantastic.

You don't have to use it, but when you do, it helps ensure that you organize your code in a way that becomes very easily testable. It enforces a modular approach to composing together golang services.

Being more easily testable helps prevent bugs, like these leaky goroutines.
That's a good list, thank you! Will keep the ~Google~ duck overlords busy :)
> The technology will have to develop more to truly compete, but I believe most of finance will transition to crypto rails over the coming 20 years.

Why, from the perspective of

we "just got done" recently making banking + Apple Pay + Stripe + all those sorts of things "really good"

Why would we transition away from 'what currently works' for something that will be about the same/equal/maybe slightly worse?

In what way would a crypto transition for actual finance be better than what we have today?

It depends on who/what you ask. When I think crypto finance I think of:

* will every transaction be publicly traceable? Who is this good/bad for? We don't currently have that today.

* will governments really be ok sitting by the wayside + not getting involved and letting their currency take a back seat? Aren't there talks of governments getting into crypto themselves in "stablecoins"? Will it just be another extra layer in the soup/sea of finance processing where it's a wrapper around/from fiat?
I didn't realize that you were coming at it from a review angle, I was thinking of the "turn left at Subway" sort of advertising in Google Maps.

I'm not trying to imply anything, I just personally use two ad free map services that you seemed unaware of.
Yes, you're right, thank you!
It feels like something is slipping away... (I'm talking about the logo, so many memories)
I'm not sure why it would, though I don't know much about local Swedish politics. In the UK, any historical hordes are considered property of the crown and not the property owner, and it doesn't seem to stop treasure hunters from trying to find them or cause conflict between the crown and the property owners.
UK says China state actor, APT31, targeted parliamentarians
Loved this game. Never was quite sure what made it so much more attractive to me than other driving games at the time.
India's already there and it doesn't seem to have stopped it there.
If the policy is "you can't sell you privacy" that would be pretty cool. It would require tech companies to come up with a business model that doesn't profit from pervasive surveillance. It is well within our rights as a society to deem such a model unacceptable.
Archived: https://web.archive.org/web/20240321143253/https://www.thegu...
Sam's Law:

"As an idea or subject gains wider popularity and interest, the level of passion and laser focus on the _outcomes_ of the idea or subject gets diluted to the average level of understanding of the interested audience for the core subject"

(my weak attempt at describing this issue)
If you've seen what they have done with cars you probably aren't optimistic about what's going to happen when they take those away.
According to the article you are not mistaken.
> in certain places you can be imprisoned or lynched for slaughtering one

Only one country isn't it ?
I didn't really like it, it look big and impressing, but its to much a mix of styles, new and old and all together weird.
Crypto investors have lost more than $75B to 'pig-butchering' scams
Will check the other recommendations out, I was planning to go with vultr. Thanks!
I don't know your work/life balance but 170.000€ per year as a self-employed developer in a European country with a low cost of living is a unicorn position.
Boeing CEO Dave Calhoun to step down, part of a shakeup after 737 MAX problems
I'm quite familiar, I've restored and written simulators and implemented FPGAs for almost all of them in various states of disarray. Your claim was that they had special architecture optimisations, that was not the case, and a common misconception -- your quite condescending tone notwithstanding. OOP was indeed available, but it was software -- just like in CL, and not backed by hardware, and essentially the same way it is done today.
As for the MSP program, absolutely 100% yes. Would love to hear your use-case / pain points regarding existing SOARs (both oss and close sourced). Shuffle is the OG of FOSS SOARs, but the momentum behind that project seems to have stalled...
Using existing techniques, the formal specification is almost always multiple times larger than a formally correct implementation. The accompanying proof is then tens to hundreds of times larger than the specification assuming one is even constructible at all (which is basically only true for small programs).

Luckily, a sound proof verification engine is feasible, so you are unlikely to have a "proof error" despite the proof "implementation" being so much larger. But, the fact that the specification is much larger than the implementation means there is more room for specification errors than implementation errors. The reason why you might still want a formal specification even if it is larger is that you can prove it and you can formally reason about the specification, goals, and interactions. It remains to be seen if we can invent a way to consistently make a formal specification simpler than the implementation which would be the holy grail as there would be no downsides.
doesn't load..
Congrats! What is the business model? Also, I see that the license is permissive which is great but how do you protect yourself from other companies hosting your solution and competing your cloud offering?
I'm confused here. What defines the "webserver" versus the "the SPA"?

The way I've implemented SPAs is to run nginx. All my JS and CSS is in /static/ and served up by nginx. "/" returns an index.html. "/api/*" gets forwarded to a back end of some sort, usually Python's Bottle because it's lightweight and simple to use. If the route doesn't exist, Bottle returns a 404. If I have an endpoint that includes an ID of some sort in the URL, like /api/getobject/12345, but you request an object that doesn't exist, then I still return a 404.

How are you implementing SPAs in a way that you can't return a 404?