skysight-inc/HackerNews huggingface dataset:
These are funny and also terrifying.

But oh boy, I hope my new licenses [1] won't end up on this list.

(They're not done yet; please wait until then at least!)

[1]: https://yzena.com/licenses/
Opening this page in Chrome i get the following message:
"your browser is stalking you."

I love this. I will adopt it.
wow.

Somehow I'm reminded of those old pneumantic mail tubes interwoven with the fabric of the building...
Nope. FB ("Meta") are shoveling cash onto a bonfire and will not reap the benefits because a competitor that people trust will beat them to produtc-market-fit long before they recoup their "investment".
Also they don't have to spend it all at once, they have been crawling the web for a long time already and are not starting from scratch. So far it's just more in the background and integrated into the OS (Siri etc.)

https://www.bloomberg.com/news/newsletters/2023-10-01/could-...
There's no metaverse. There's not going to be a metaverse. Nobody wants a metaverse.
You can apply this logic to anything. If you were working on database software, would you make a variable transactionId or idOfGroupOfStatementsThatMustBeExecutedAtomically ?
I write safety critical code, so I've worked with many of these: frama-C, TIS, Polyspace, KLEE, CBMC, and some that aren't on the list like RV-match, axivion, and sonarqube.

With virtually any tool in this category, you need to spend a good amount of time ensuring it's integrated properly at the center of your workflows. They all have serious caveats and usually false positives that need to be addressed before you develop warning blindness.

You also need to be extremely careful about what guarantees they're actually giving you and read any associated formal methods documentation very carefully. Even a tool that formally proves the absence of certain classes of errors only does so under certain preconditions, which may not encompass everything you're supporting. I once found a theoretical issue in a project that had a nice formal proof because the semantics of some of the tooling implicitly assumed C99, so certain conforming (but stupid) C89 implementations could violate the guarantees.

But some notes:

Frama-C is a nice design, but installing it is a pain, ACSL is badly documented/hard to learn, and you really want the proprietary stuff for anything nontrivial.

TrustInSoft (TIS) has nice enterprise tooling, but their "open source" stuff isn't worth bothering with. Also, they make it impossible to introduce to a company without going through the enterprise sales funnel, so I've never successfully gotten it introduced because they suck at enterprise sales compared to e.g. Mathworks.

RV-match (https://runtimeverification.com/match) is what I've adopted for my open source code that needs tooling beyond sanitizers because it's nice to work with and has reasonable detection rates without too many false positives.

Polyspace, sonarqube, axivion, compiler warnings, etc are all pretty subpar tools in my experience. I've never seen them work well in this space. They're usually either not detecting anything useful or falsely erroring on obviously harmless constructs, often both.
Everyone thinks bears like honey, but in reality it is the protein from the larvae they are after. The honey is simply a nice side benefit.
Actually, the definition of cloud is "a visible mass of particles of condensed vapor (such as water or ice) suspended in the atmosphere of a planet (such as the earth) or moon".

https://www.merriam-webster.com/dictionary/cloud
> were lauded as high-level and the end of all frameworks for years before being rebranded

Sources please? I've never met a single person that thought this.

> Because it literally is the example on MDN?

You're very stuck on this bad example. With even a cursory understanding of how Web Components work you can understand that you can recreate the same component accepting the same props in any popular component based framework. Or using Web Components you could do this example component just as many different ways as you could with another component framework.

There are many reasons to not use Web Components. Outside of some specific use cases I wouldn't use them. "A single MDN example weirdly used multiple attributes for list items, instead of child components or one attribute" is not one of them.
You Don't Know JavaScript Yet
From my experience, URNs really should be used more often for these sorts of things. One thing that AWS got right almost from the get go
https://twitter.com/drphiltill/status/1710096996604723273?s=...

It seems that while the explosion would have been avoided with a deluge or flame trench, it could have also likely just been mitigated with a thicker concrete pad or a vent system.
Libraries safely wrapping unsafe code in safe interfaces, and everyone reusing those safe interfaces is like, the whole point of…reusable libraries???

Also, you’re replying to someone who I’m fairly sure is on one of the core Rust teams, if not closely involved, I’m somewhat more inclined to trust _them_ when they say 80% of libs don’t contain unsafe (given that it cleanly meshes with my own experience of Rust libraries).
In practice, chasing down the build variations has been proven workable with a good track record. See eg https://reproducible-builds.org/
my guess is they try to put everything in so the user doesn't have to. but personally i like to setup my linux based distros how i like it.
Cold war satellite images reveal unknown Roman forts
You joke and yet our power generation and transportation systems aren't the only aspects of human existence that are utterly unsustainable. We've bricked every major marine fishery on the planet and our agriculture requires non-renewable inputs and unsustainable amounts of water.
Documenting best practices in your codebase
Mac event could be a gaming-filled nightmare for PS5 and Xbox
> The computer that runs the cloud should be able to be purchased and not merely rented.

How is this different than colo space that has been predominant for years? Perhaps simply that it can be purchased more easily and standardized like a typical cloud VM?
I was making Windows 98 apps with Delphi 4, and they were 350 KB large

And I was upset that they were so big. Sometimes I used UPX. Or I kicked out all Delphi GUI libraries, and created the GUI with the Win32 API calls directly. I got 50 KB Hello Worlds.
Wouldn't the saner alternative be not to give the banks a monopoly?

What monopoly are you talking about anyway?
I absolutely loved Chromecasts for this (At least the non 4K ones), there was basically no real GUI after it's setup, everything was on the phone, usually in the same place for every app and it responded to at least some of the TV remote inputs

My mom loved it too
If you are genuinely in the market for multiple racks of servers you (a) know how much a rack of hp/dell gear costs, which gets you within an order of magnitude of what this is going to cost, and (b) would not buy one of these without a sales call even if you could.
Increasing value sounds very moral to me.
Dutch ASML EUV machines are build using US licensed EUV tech and US made Cymer light-sources. ASML wouldn't be able to have EUV machines today without the US being on board, so don't you think they shroud have a say where their tech is being used?

For the record, I'm not Chinese, nor USAn, nor Dutch, just an outside observer to this shit show.
This sounds like Synology to me.
Except if everyone gets paid the same, you're not being rewarded for the value you provide. I don't think salary should be tied to location, but it should be tied to experience, ability, and effort.
No they don't, hence projects like https://open-next.js.org/ and the multitude of stories of 3rd party serverless offerings being half-broken. They also keep breaking at time goes on since they're playing catch up on the build output:

https://www.reddit.com/r/nextjs/comments/1685dyr/avoid_aws_a...

https://www.reddit.com/r/nextjs/comments/160ui01/is_aws_ampl...

https://betterprogramming.pub/beware-of-next-js-on-aws-ampli...

_

To actually use the build output format, you need an implementation that Vercel does not open source.

Compare that to Remix which maintains an open reference implementation for their adapter format, which in turn makes supporting additional platforms incredibly simple.
I think this is a very valuable comment, and the replies don't do it justice.

I strongly agree from my own and my peers experience with the sentiment that latency from zero to running code is just higher in Rust than Python or Go. Obviously there are smart people around and they can compensate a lot with experience.
I have off-box backups of my configs. Thanks for the VM idea; sometimes I forget to use VMs to do things "embedded" devices usually do for me; switches, routers, etc!

There's going to be a point soon where I have two fiber providers (and thus two WAN links) for a little while, I'll try move the existing pfSense off of my Protectli box to a VM, keep everything up for the family while I configure OPNSense on the Protectli, then if I do it right, I can move everything over with minimal reconfiguration.
A profitable division in a small market (relative to facebooks ad business) just isn't worth the effort.

They had to spin it into the "metaverse" which is this mythical thing that might be big enough theoretically to make "real" money for them.
The Clang static analyzer is integrated into the build pipeline. Any warnings will cause the build to fail. Additionally, build with the flags -Wall and -Werror. When testing, run with runtime checkers such as Valgrind and sanitizers.

Periodically, run other static analyzers like Klocwork and Coverity. They can catch many more issues than Clang. It's not that Clang is bad, but it has inherent limitations because it only analyzes a single source file and stops analysis when you call a function from another module
+1 Agree

Other podcasts I'd recommend: ADSP [1] (if you're into programming), 2.5 admins [2] (if you're into computers). But I have no recommendations about hardware design because AFAIK the podcasts you mention and what Oxide is doing are pretty unique.

[1] Algorithms + Data Structures = Programs https://adspthepodcast.com/

[2] Allan Jude, Jim Salter, Joe Ressington https://2.5admins.com/
Maybe Apple users only probably want to use that search engine because Apple didn't take the money and use it to build a better search engine.
I love they do not mention "AI" in the article.
Unofficial Yahoo Finance API is down (again)
The official finance API was closed down by Yahoo 6 years ago. Since than the unofficial API is dying a slow death. Last week servers became unreachable outside of US.
> So with random() it will know it needs to re-evauluate it all the time because its non-deterministic.

This is often not true. SQL Server for one, and I know it isn't the only common DB that behaves this way:

SELECT RAND() AS NotSoRandom
, RAND() AS NotSoRandomAgain
FROM SomeTable

results in:

NotSoRandom NotSoRandomAgain
0.417713566427078 0.417713566427078
0.417713566427078 0.417713566427078
0.417713566427078 0.417713566427078
0.417713566427078 0.417713566427078
...

This often confuses people trying to select random rows (or all results in a random order) with ORDER BY RAND().
I've always wondered why Ikea didn't offer convenient in-house delivery options. Good job.
Don't think it's easy to reverse engineer these kind of advanced machines?
Yes, but Apple will use only 8GB (not gb) .
> Or is it just “support” for essentially what pfsense was a decade ago?

"Just"?

I'm sure all of use nerds and geeks on HN think commercial support is often not important, but there are plenty of SMEs that need to de-risk some things when running their infrastructure.
Huge fan of the people behind Oxide as well as the concept behind the product. Can someone tell a layman like myself where a 44M Series A funding round lands among other Series A rounds? I was at a startup during 2021 and when we raised 25M, it was a big deal for us and seemingly huge. Compared to that 44M is insane. Is this notably high or is my frame of reference just small? Either way, I really look forward to seeing Oxide's progress going forward.

It's a company run by people who care and have cared for a long time, and they have all my faith.
Companies don't exist to provide employment

We can acknowledge that it is disruptive to employees lives
Maybe for you it's unusual - in my previous work all the apps contained graphs, and I just joined a company where almost all the apps also contain graphs
I used to use a program that some devs were convinced had tons of false positives. Until you actually look at it. Usually something silly was going on to either cause it to not see what you were doing (rare) or there really was an issue (not rare). The 'oh that is a false positive' usually clues me into there is a whole class of bugs that this project has that need some deep looking into. Now I am not saying that happened to you but sometimes they are worth looking at. I saw one yesterday the dev did not understand why it would randomly crash. His destruction loop was backwards and was using pointers that may or may not still be good. Sometimes you cannot control the lib. So you have to 'ignore' but that only gives you time to mitigate.
Doesn't work on my phone, the top half of the "slides" are cut off. (My phone probably belongs in a museum, though...)
I believe "Reality Labs" is to Meta what a black budget is to a country.

It is impossible to spend that much money on AR R&D. This is Meta's moonshot factory, and I'm sure this funds 10s-100s of projects that may not have anything to do with AR.
Of course, it just checks that the token was indeed generated by the identity provider. You still need to check that its contents match what you expect for your application.

Issuing a request to another server from my backend would be a non-starter, completely incompatible with any sensible performance or security model.
Cybertruck is a "pickup truck"-ish thing designed from first principles.

Iterative implementation works very well for many kinds of software development projects. When an iteration involves 200 tanker trucks carrying fuel and oxidizer and dozens of rocket engines and results in destroying launch infrastructure and dumping debris into wetlands and inhabited areas, one might conclude "iteration" has made the jump from sound engineering principle to management fad dogma.
I understand that’s your definition and I’m saying that there are many companies where the cloud experience (of not worrying about physical infrastructure but having flexibility and elasticity) is offered to product teams by an internal platform team. That gives you an articulation point where you could migrate from AWS to Oxide racks, and yes, lose some functionality and some guarantees, but also gain more control and potentially make huge savings.
Tim Apple can’t afford to be handing these things out with the purchase of every high-profit-margin device, so you get one free trial per lifetime (read the fine print). It’s your own damn fault you used yours back when there was no content. /s
I think the rate at which you are posting is fine within the norms of HN.

When you had a popular post, were you trying to gain traction more or less than you are now?

Anyway, my take is that things take off because they strike a chord with readers.

They just happen to be in the right place at the right time.

So mostly, traction is the result of other people's lives, not the author's intent. Sure the author's hard work plays some role. But traction only has a very loose correlation to it in regard to any specific story.

Over time a lot of hard work writing probably has a stronger correlation to the degree the writing gets better...for some arbitrary definition of better.
Why wouldn't they, they are the sole provider of the parts, manuals, tools, the software is so locked down you have to ask for their blessing to install them. You can't go to rock auto and get parts for your MacBook Pro.
Same for me, but where it really falls apart is if someone is watching me type.
That’s a shallow problem that goes away as you start using the language.

Lifetimes need something to stand out as an identifier. 'a is weird, but works. Whether it could use a different ASCII sigil is a bikeshed problem.

Types borrowed <> from C++ to look less weird to C++ programmers. But this again is just a surface level issue. Semantically, the wrapper types are incredibly useful. Having all nested types spelled out is convenient when reading code – you know what you're getting and what are the standard properties of it.
Please don't behave this way.

It is not intellectually interesting.
All-analog photoelectronic chip for high-speed vision tasks
With hypervisor support it really isn't
It’s a classic walled garden strategy
RiiR: Rewrite it in Rust
Exactly and this is looking very likely as I said before: [0].

Again, we are slowly realizing why Meta is spending billions on XR headsets and Apple's move to spatial computing just validates the spending.

I expect the Vision Pro to under perform in sales, but it is the next generation of Vision products (2nd and 3rd) that is going to be extremely competitive and cheaper against Meta Quest.

[0] https://news.ycombinator.com/item?id=36223235
The thing is that VR gaming seems to be a tiny niche. Even if profitable on paper, is it really worth the organizational costs to maintain a division that addresses a tiny market with no synergies of any kind with the rest of the business?

If this was not the case, you would see lots of Facebook restaurants or cleaners or hair salons etc. since these are all easy to make profitable.
Thanks for sharing this! It's a very insightful analysis and I think you're largely right.
They've reinvented the IBM Mainframe. Big rack-sized box with lots of redundant hardware that serves guest VMs. This is basically a zSeries in drag.

The key difference is the price structure -- IBM leases the hardware wherever they can get away with it, and uses a license manager to control how many of the machine's resources you can access (based on how much you can bear to pay). This, however, is like a mainframe you own.
Good idea, but the lake is too narrow for that

From the Starship Noise Assessment https://www.faa.gov/sites/faa.gov/files/2022-06/AppendixB_No..., it looks like you need maybe 20 miles distance for a tolerable level of noise (around 100 dB)

So I'm not sure regular launches from the lake will be tolerated by the lake shore's inhabitants. This is why Starship launch platforms should be 30km from shore (not 20km as I wrote previously)
How is money spent on R&D a loss?
500 mile high waves would be impressive.
Thank you for your concern, it was purposefully rude.
In general, the error messages are also nice and offer suggestions on how to fix the problem. Far from being yelled at, it's more akin to pair programming. "Try doing this..." "Did you mean to do this?"
I feel Quest is so well priced because Meta is probably losing money trying get consumers to buy them
Like too much the idea.

If they manage to do get an IBM mainframe level after-sales support, they will rock.

Does someone know how much the lowest level box costs?
The institutional knowledge and skills from building a mature VR gaming landscape could arguably be used as a stepping stone to their "metaverse" though.
What else are they supposed to do with all the money they are making? Give up and become a dividend company?
In the US this also happens, if, like in Krakow, you happen to try it in an actual old and dense city, like NYC.

It of course cannot happen in car-oriented suburbs, where you a driver can't even expect pedestrians to exist.
I use a number of tools. The most important consideration is a zero false positives policy. If there are any flase positives people soon learn to ignore all errors. I've traced production bugs to code where immediately above the line at fault was a comment to turn off the static checker for the next line. Someone didn't check to see if the tool was right because experience is the tool was normally wrong.

Don't forget that real errors you fix will disappear so even a few false positives are bad because you see them all the time and so they seem worse than they are.

Now that our tools have a zero false positive policy we can require all attempts to silence warnings are allowed only after a bug report is opened with the tool. Everytime we upgrade we grep and remove the silence warning comments for things fixed.
And as we know, "free" search is really just a way to sell ads. So Apple would be effectively getting into the ads business and competing with google on that front. I hope I speak for other Apple users when I say we don't want that. I pay the Apple tax to have some of my privacy respected and a less ad-riddled OS.
A tale of broken badges and 23,000 features
Yeah, no. They're different things. Formal methods, including static analyzers, can prove the absence of issues in all possible conditions under some assumptions. Tests verify that implementation, under the tested conditions, once.

You can't replace testing with formal methods, but formal methods are more powerful when they work. That sqlite hasn't found them useful is just a reflection of how absurdly far out they are on the testing spectrum and how complicated the problem domain they're operating in is (very).
Thanks for the info; I tried OPNSense originally but I had an issue with PPP on my old internet provider I never could get working so I switched to pfSense reluctantly and it just worked.

I doubt I have anywhere near the networking knowledge you have, so some of the more complex things I have set up; like my BGP routes for my Kubernetes clusters and my VLANs/trunks etc, that have taken a lot of tinkering might take me quite some time. I expect the way they're configured will be different, terminology might be different, and of course the UI will be different, so I can't just do it by reference.

I have no problem taking my time, so long as we have the basic networking we need for family and working from home.
>I also now get irrationally upset when I experience a runtime error.

Had this experience in my first Rust program. It turned out Rust had silently changed the types of some variables based on some code hundreds of lines later, which caused an overflow at runtime. Spooky action at a distance!
That's kind of by design, though. One of the mandates of modern corporates is "generate value for the shareholders at all costs". This frequently means betting on and pushing risky ventures to be the first or, even better, the second to set foot on a whole new market.

Many gaming streaming projects fell before Microsoft and Nvidia cracked the code, and MS is using it to pull people to their ecosystem. Sony lost a lot of money over the years flailing around with GaiKai until they had a stable streaming offer. Even Google lost much of their investment in Stadia.

Similar stories goes with AR games, live streaming, targeted ad services, etc. Some companies have to burn cash and take losses to map all the pitfalls and opportunities of the new market.

The whole metaverse thing is poorly define and kinda useless, but executives firmly believe that when you get all the high income families hooked up with eyes and ears covered by technology, you'll be able to advertise and sell products and they won't be able to look away without turning off their entire platform, and most people don't make this sacrifice.
They're more than willing to burn a lot of cash and kill many jobs for the small chance of breaking through and reaching that magical market with the excessive ammount of disposable income of the top Apple fans and engagement levels not even tiktok or the most predatory gacha games could reach.
The question I always have with studies around the positive effects of viagra, cialis, and the like is… what about women.

I know nothing, but I always see that women shouldn’t take these drugs (for some reason). Could we apply the same learnings to find a drug that benefits both sexes?