skysight-inc/HackerNews huggingface dataset:
No mention of how 22 years ago Bill Gates wrote a memo launching Microsoft's "Trustworthy Computing" initiative:

> Our new design approaches need to dramatically reduce the number of such issues that come up in the software that Microsoft, its partners and its customers create. We need to make it automatic for customers to get the benefits of these fixes. Eventually, our software should be so fundamentally secure that customers never even worry about it. ...

> So now, when we face a choice between adding features and resolving security issues, we need to choose security. Our products should emphasize security right out of the box, and we must constantly refine and improve that security as threats evolve.

See https://web.archive.org/web/20150626172158/http://archive.wi... for the full memo.
That would be if they censored games to Japanese standards everywhere, which they don't. They use different censorship rules (and wheel positions) in different countries.

I'm not going to argue how to do analogies on the Internet on a dead thread, but I'm confused about everything you say.
Church-Turing Thesis (~1939)?
Customer: I can't find anything I'm looking for in your store.

Store: I spent a lot of time arranging things around in the store, if you can't find what you're looking for you can stop complaining and write signs for us.

Customer: Or I can just use your competitor who actually cares about their customers. ¯\_(ツ)_/¯
Invite HN: Global Pizza Party May 22
Every year, we give away tons of free pizza.

Feeding people and throwing parties at scale is not easy or simple, but it is great fun.

I'm organizing our Toronto party, and I wanted to reach out and invite everyone. Link below. Many other cities are having their own parties, but I only speak for Toronto.

Take a break from all the serious stuff and join us for some pizza!

This is the holiday Bitcoin Pizza Day, honouring that time a dude paid hunders of millions of dollars worth of bitcoin for a couple pizzas. The pizza is paid for with crypto, so if you hate that consider it reparations :)

Link to Toronto event details: https://www.meetup.com/toronto-crypto-meetup/events/30070131...
A few things to exclude from training might include:
- articles with mistakes such as incorrect product names, facts, dates, references
- fraudulent and non-repeatable research findings - see John Ioannidis among others
- outdated and incorrect scientific concepts like phlogiston and LaMarckian evolution
- junk content such as 4-chan comments section content
- flat earther "science" and other such nonsense
- debatable stuff like: do we want material that attributes human behavior to astrological signs or not? And when should a response make reference to such?
- prank stuff like script kiddies prompting 2+2=5 until an AI system "remembers" this
- intentional poisoning of a training set with disinformation
- suicidal and homicidal suggestions and ideation
- etc.

Even if we go with the notion that AGI is coming, there is no reason its training should include the worst in us.
I work on a small internal ERP, and our new UX guy said “nobody needs all this info”. And I said “agreed, nobody uses more than six columns. But the key stakeholders can only agree on 5.”

I think that’s the key: nobody needs 20 buttons on a microwave, but some people love defrost or popcorn or whatever.
FYI, one man’s “terrorist” is another’s freedom fighter.

Terrorism is not an ideal, it’s a tactic. One the zionists and america uses, but when they do it’s ok?

I labeled hamas a “people” because they are not a nation state - not even close.
JWST was conceived ~30 years ago and there's been a lot of advancement since then. I agree that the atmosphere and the background light from the earth and sky can get in the way of terrestrial telescopes. On the other hand, the ability to build giant apertures AND equally enormous instruments have benefits of thri own. Check out the proposed instruments for the 39m E-ELT at

https://elt.eso.org/instrument/

These things are immense. The METIS is supposed to cover 3-13 microns, an impressive accomplishment through the atmosphere. On top of that they can be upgraded and the data can be offloaded with current technology vs. waiting for lasercomm to eventually bring the bandwidth. Even the Hubble is ultimately limited by the chassis. E-ELT expects to do 15x Hubble's resolution and directly characterize exoplanet atmospheres.

Of course if the sky gets gunked up by infinite comsats, all bets could be off.
In my opinion, yes. But they ate diversified in a way already: I have driver license and pay taxes, but never contacted with DMV or IRS.
I don't say it is necessarily a good metric for promotions, but solving complex problems is not the same as finding complex solutions
Hidden deeply in browser settings because the browser should inherit the locale from your OS, right?
Full-system verification is more powerful than unit tests. You can prove an implementation of a distributed system is free of entire classes of bugs, modulo your specification.

The reason is that there is simply no way to practically write tests to cover enough out of all possible executions of a distributed system. Think arbitrary interleavings of message arrivals, failures, restarts and events affecting every single entity in the distributed system.

We built a framework on top of Verus (called Anvil) that allowed us to write a top-level specifications of the form "If the ZooKeeper operator says it can reconcile a ZK cluster according to a 'spec', it will eventually bring up a ZK instance running on spec.num_replicas pods, managed by a stateful set etc.". We can then make sure the implementation of our ZK operator, repeatedly trying to executing a control loop to reconcile the current and desired states of the ZK instance it is managing, delivers on that specification. Using verification here allows us to be sure that our ZK operator is correct even in the face of failures, asynchrony, series of edits to the required desired state (think repeatedly asking the operator to switch between 3 and 10 replicas), and more. This stuff is honestly impossible to write tests for (and unsurprisingly, no open-source Kubernetes operator we've seen tests for such cases extensively).

That said, we still need to use traditional testing to be sure our assumptions about the boundary between verified and unverified code is correct (e.g., think of the Kubernetes API itself, assumptions about built-in controllers etc).

The precursor to our use of verification in this context was, in fact, a system we built to do automatic reliability testing: https://www.usenix.org/system/files/osdi22-sun.pdf -- even that work found a lot of safety and liveness bugs, but I feel it barely scratched the surface of what we could do with verification.

So while the tooling still has a long way to go, I personally hope full-system verification becomes mainstream someday.
> For jobs where I met the hiring manager (referral, networking, etc.) I had 2 out of 3 applications lead to offers. For resumes submitted online I had 1 out of 50 even respond.

I don't think this means what you think it means. In fact, I only see survivorship bias in your personal anecdote.

Meeting the hiring manager usually takes place after resume filtering. This means that you received offers in processes where you weren't rejected at the very first stage. That's what's expected, isn't it?

Also, it's quite plausible that those hiring processes where you received no feedback happened to be fake job postings where, even though a job ad is posted, there is no job offer at all.
Yeah, it happened. SpaceX offers RSUs and up until recently, valuations were climbing rapidly.
This is Real Genius but on the job market
If they use recruiters, I'm out. They are part of the problem.
Not a secret - just not documented very well if at all.

We all knew there were SIMD instructions, but if there’s no information on how to use them or what they do…
> Presumably no one is colluding to use the algorithm together. They are each independently clients of the algorithm.

If you replace "the algorithm" with "our mutual friends pricing advice", it's the same old blatant price fixing clearly prohibited.

And no need to presume: the FTC arguments are quite clear they were advertising to take each landlords data and tune the pricing as if they owned all properties themselves. It's page 23 in the PDF, 11/23 in the memorandum.

https://www.ftc.gov/system/files/ftc_gov/pdf/YardiSOI-filed%...
The goal is to solve complex problems with as simple a solution as possible.
I'll put my hat in the ring and say thank you to the "Who's Hiring" threads going on every month!
That’s not comparable to running 100mile mountain ultras at course record paces.
Proprietary/popular games on Linux come with the same monetization strategy on every platform. You want to play Fortnite, you get the Fortnite ads/loot boxes/nudges even on Linux (plus you'll get banned by anti-cheat quick).
Not even close.

That can break and isn’t perfectly 100% available like my analog method and has much less transportability
> with all their US-sponsored weapons; under what conditions do we see the UK or Australia using these weapons where there is still a country left over afterwards?

The idea is that the more weapons you have the less likely it is that you would ever need to use them in a defensive full-scale war.

> Tactically, Australia will probably just lose any fight against anyone more scary than New Zealand or Papua New Guinea.

They might lose it strategically, but I don't really see how or why would China want to invade Australia (besides maybe trying to nuke its major cities). It hardly makes sense logistically.
I don’t think this is true at all. History is full of terrorist causes which materialized with full public support.

Plenty of people supported the ANC, while the ANC was considered a terrorist organization, still Apartheid South Africa ended and the ANC is now in government.

Plenty of people supported the IRA, but still Northern Irish Catholics got civil rights and a political avenue for Irish reunification. Shin Féin even holds a plurality in Northern Ireland’s assembly and is increasing in popularity in the Republic of Ireland.

Plenty of people supported violent resistance of the Civil Rights movement (including Martin Luther King). Though the Civil Rights movement never ventured into terrorism, other black liberation groups certainly did, this did not undermine the cause of black liberation. And if we go even further back in history, support for John Brown—a terrorist and a full blown insurrectionist—did not undermine any sympathy for the abolitionist movement.
> Terrorism is not an ideal, it’s a tactic

Sure. But citing comments like yours is how you get an Israel aid package passed by the Congress. (I didn’t lobby on it, but I did on Ukraine, and showing that there are people who support horrible means for their end is a good way to deplete marginal support for that end.)
I went through the above blog post and now I feel sad that I'm not in a position to hire OP, because he seems like a humble and super motivated guy people could work with. I have a few tech projects coming up that could certainly use some technical maintainers later, so hopefully those pan out productively in the near future (I do a few technical projects for fun, but like Google, I don't have the time to pay attention to grow them).

At OP, wish you all the best in your hunt, and here's hoping to something going your way for once. Godspeed.
> Yep, I have multiple scars and gray hairs due to them.

Look on the bright side: at least you have your hair :-)

I swore off C++ because (maybe coincidentally, maybe not) I started losing hair around the time I was a f/time C++ developer.

I'm liking Go and C# (and some Java and Kotlin, sometimes) these days for programs that are not suitable to be written in plain C.

I've tried liking Python/PHP type languages, but getting a type error only when it is encountered in production gives me the heeby-jeebies.
How are fungi causing you trouble? I associate fungi as being positive for plant growth.
I see what you're saying. But as I stated, the world changed, and Russia (and even the USSR) changed during that period and signed the documents to marked such change.

Going back in time just because "Russia has nukes" doesn't seem like a very viable option - not to mention that others also have nukes.
I simply bought 4x32GB ddr4 memory (~200 bucks) for a normal desktop mainboard and a high-thread-count cpu.

You can experiment with a lot of models, it's just going to be slow.

With ddr5 you can even go higher with 48GB modules.

Otherwise I got a 3060 12G, which can be had for 200€ used.

Its a very affordable setup.
> Q: Assume that you have an infinite stream of data that is coming in from multiple threads in an unordered fashion. Write the stream items to the console in order.

If I were the interviewer I would be interested in what clarifying questions the candidate would ask and/or how they would highlight parameters and assumptions needed because the question is vague to the point of being unanswerable otherwise.
The real solution is obviously to use geolocation to find the closest country which officially uses the individual language(s).
I watch a YouTuber called Theo Browne sometimes. He is primarily a front end dev. When I watch him talk about his solutions to things I feel like i've been hit on the head with a baseball bat. The sheer number of things that go into his demos is eye watering. The number of arcane terms about React he will mention in a single video astounds me.

I don't mean to specifically call him out, but I worry that the complexity is what keeps him popular. And then you have someone like Pieter Levels just slinging raw php into production and not talking about anything like Suspense or Server Side Rendering or Hydration.

They both get to the same ends (well Pieter Levels makes magnitudes of order more money I think) but there is a gulf in complexity. I'd actually argue something like Nomad List is much more feature rich than anything I see from Theo.
At least to a Chinese reader it’s immediately obvious. 文 is the suffix to all written languages. 中文 英文 法文 西班牙文 etc.
If a court determined that someone was intentionally leaving voicemails so that their messages would get destroyed while their company was subject to a legal hold, that would be illegal. I think pretty generally, courts are sympathetic that humans are human, but they're decidedly unsympathetic to malintent.
I worked for almost 27 years, for a company that is renowned for "small things."

Their stuff costs a lot more than most, but thousands of customers thought they were worth the premium, and built their entire careers around that equipment.

I think they ran into trouble, when they started selling huge numbers of cheaper items. They made a lot of money, but their brand lost its sheen.

I'm hoping that they are re-establishing their original baseline.

It did teach me to take this stuff seriously, though. It's not a matter of process; it's a matter of culture, and that is something that needs to be developed organically.
They’re privately traded by institutions. The company also regularly does buybacks, and I’m referencing those prices.
Podcast transcripts on HN? What's next? YouTube subtitles hosted on Git, linked on HN?
it's a somewhat complicated comparison to make, but i think basically the answer is yes

there's also a coincidental factor, though; wood is cheap where forests are abundant, and although having abundant natural resources such as arable land and wood doesn't guarantee wealth, exhausting your natural resources through deforestation and desertification virtually guarantees poverty.

as for 'cheaper', well, the numerator is dollars, but what's the denominator? i would say it's 'house', but neither concrete nor wood is sold by the house; cement and sand and gravel and rebar are sold by the kilo, and wood is sold by the square meter. so we need some way to make them comparable

one approach is to try to compute 'cost per strength', on the theory that a house's worth of materials is enough materials to be strong enough to work as a house. but there are two different kinds of strength involved here. floors and roofs must resist flexure without breaking, and materialswise, that mostly depends on the material's tensile strength. they also must resist impact loadings, which depends on tensile strength but also flexibility: a more flexible floor can elastically absorb a greater impact energy before reaching the same tensile strain, and a tougher material is one that has a higher elastic energy capacity in this sense. walls, on the other hand, mostly must resist compression from above, and typically this mostly depends on their ability to resist buckling, not their material compressive strength. resisting buckling depends on not strength but stiffness: the material of the buckling beam must not bend far enough that the beam's effective compressive stiffness starts to decrease, causing it to bend further

a lot of people confuse strength and stiffness; i recommend watching the first demo in dan gelbart's https://www.youtube.com/watch?v=MtxA20Q-Uss, although for most of us it took a lot more than that to get enlightened

reinforced concrete (either pretensioned or in compression) gets its stiffness from sand and gravel, which are cheap as dirt (most of the cost of sand is the truck that delivers it to your building site) and its tensile strength from steel. i think the answer is that steel is in fact very much cheaper than wood per unit of either tensile strength or toughness

on the other hand, people usually build concrete walls to be much, much stiffer than wood-framed walls, so it's common for a given area of wood-framed wall to cost less than the same area of concrete wall. to compensate for this, people very commonly build the floors and frame of a building with reinforced concrete, then fill in the walls with cheap hollow brick. this is i think cheaper than a similarly non-load-bearing wood-frame wall made out of 2×4s and drywall, but not by that much

on the gripping hand, galvanized steel studs are cheaper than wooden 2×4s, and they're starting to become popular for low-cost construction, covered with drywall or cementboard
New Frontiers in Dataset Corruption
Anybody know the year of the interview?
Great idea indeed, also hoped the niche for its application could be bigger...
I still remember my first steps with C on my Amiga, after years of BASIC. I opted for the Dice compiler because Lattice was too expensive. At that time the norm was to send the money via mail and receive floppy disks in exchange via the same means. By pure chance, the Dice distributor in my country lived in my city and we could close the deal in person, in a parking lot like smugglers or pushers!
Why is Birthdate a required field on the User Profile required for YC founder-matching?

(Gender is optional.)

Also, once you get past that User Profile, to the founder-matching Profile, the very top of the first form says "Your profile will get much more attention if you add a picture." Why implicitly endorse that, which has undesirable historic baggage of prejudice and unfairness?

In hindsight, I realize that the prominence of schools on the profiles (and the text field using the example of Stanford) didn't jump out at me, maybe because it's common on a US resume (unlike gender, birthdate, or photo).

Maybe other people will have additional "what?" reactions to other things in the forms.

Edit: On the matching profile form, it won't let you submit the form and proceed until you add a photo. ("Please fix the errors below before continuing.") I was able to get past that by uploading a blank image, but I'm not going to proceed further if it seems like current YC thinking isn't a match for me.
Similarly, I got one of these refurbished Lenovo tiny desktops. Real PCI Express lanes, NVMe storage, etc etc.

Lenovo ThinkCentre M900 Tiny Desktop (Intel Core i5-6500T Upto -3.1 GHz, 16 GB Ram

https://a.co/d/aoZyBft

So much more capable than a cheaper single board computer.
This article confuses static linking and deterministic builds. I.e Nix, a "store-based system" (author's term), still very much dynamically links. Static linking means copying actual program code from libraries into the executable itself, such that external .so files don't need to be loaded.
Articles are rarely worth reading, so I don't blame them
I'm kinda sad "databases" got excluded. On the one hand, I get excluding SQL & ACID; but B-trees I'm disappointed to see not make the main list¹. They're such a fundamental datastructure, and I continue to run into programmers who do not understand how a B-tree works. (E.g., that it is inherently ordered/sorted, and what sort of operations it makes fast. I'm willing to lower the bar so that "how it works" isn't required.) But I think there's a lot of practical stuff in relational algebra, too: in particular, the notion of a "key" — I also find programmers who do not understand this — and the various normal forms and why you want them. Practically speaking, I think something like 99% of engineers are going to touch these topics in a "a user of them" sense.

While I wouldn't include ACID either I think, but I think you do want something like this: https://jepsen.io/consistency — then you can talk about it when you have to work with aaS cloud systems don't obey anything on that list, at all.

Also I think you're going to have to work to convince people that floating point was a good idea. (I agree, but I doubt that agreement is universal.)

(¹I know it's like on a "good ideas" sublist in the excluded section. But it's such a good idea I'd've pulled it out to the main list.)
Clients also don't want to be told they'll have to adapt their workflows/processes. A long time ago the COO of our very small company was adamantly opposed to replacing Exchange (which went down with some regularity) with a SaaS because they'd have to make changes to the filing system for their contracts (was before Google had nested labels). The CEO overrode them but the issue was clearly that they didn't want change.
I’ve not found this to be the case.

I’ve argued at work before for us to deliver a simpler subset of a feature, that delivers most of the value sooner, then to assess later whether we actually need the rest of the feature.

This is also why I’m confident about my continued employment in the age of AI: CEOs are always asking how we can deliver faster. They might not be able to afford more software engineers, but they can always use more.
> sitting in the White House, he was surrounded by countless advisors and lobbyists working overtime to talk him out of his crazier ideas

Weren't most of the "hawk"/classical interventionist Republicans subsequently mostly purged from the party in favour isolationists and/or nutjobs? Bolton isn't coming back to the White House if Trump wins...
Yeah it's Gurman, but it's sourced from a 2023 article that's just speculation and one patent. Apple files a lot of patents for things that never make it to market.
But if someone were leaving voicemails for just the purpose of communicating?