skysight-inc/HackerNews huggingface dataset:
Given the challenges of techniques like TLS interception (i.e. through pinning and other good security features), about the only measure I can see left is network isolation.

You can set up a local network that has no WAN connectivity on it. About anything else is difficult to verify even the most basic of security properties. Certifying is another step up (although you could argue certifying is just a third party saying something passed a finite list of tests) - the real challenge is defining a meaningful certification scheme.

There has been some good work towards consumer IoT device security (i.e. the 13 steps approach from the UK), that covers some of the lowest hanging fruit - https://www.gov.uk/government/publications/code-of-practice-...

The trouble is that these set out principles, but it's hard to validate those principles without having about the same amount of knowledge as required to build an equivalent system in the first place.

If you at least know the system is not connected to a WAN, you can limit the assurance required (look for WiFi funcitonality, new SSIDs, and attempts to connect to open networks), but at a certain point you need to be able to trust the vendor (else they could put a hard-coded "time bomb" into the code for the solutions they develop).

I don't see much value in the academic/theoretical approaches to verification (for a consumer or stakeholder concerned by issues like these), as they tend to operate on an unrealistic set of assumptions (i.e. source code or similar levels of unrealistic access) - the reality is it could take a few days for a good embedded device hacker to even get binary firmware extracted from a device, and source code is likely a dream for products built to the lowest price overseas and imported.
What's really scary is what if Starliner fucks ISS up during the undocking process...
I've seen the narrative before and I agree that parenting attitudes have changed, but are there any stats/studies to show that kind of severe outcome has really become more common over the decades? (As opposed to simply more-feared.)
Are you sure we're not conflating memorization with repetition, at least in certain domains? These debates focus a lot on early childhood education and core skills like math and literacy – but I think for, say, math competencies expected at an 8th-grade level (which these NAEP scores focus on) like ordering fractions or working with linear equations, I'm not sure "memorization" is more applicable than "repetition" (and, in any case, memorization isn't a significant subgoal – e.g. formulae or rules for determining concavity etc. where remembering them isn't comparable to bulk memorization.)

You could certainly argue that this is more about foundational skills like reading and writing, but it does limit the scope of how we're thinking about things.

(Personal caveat: I was taught elementary school math using a "reform curriculum", so my memory might be faulty.)
Agreed. Every time we get a thread like this, the majority opinion seems to be to call it a bad thing and to blame technology.

But, why shouldn't we be enjoying the place that is supposed to be our own? I can get a lot more work done when allowed to just be comfy working in my room without many disturbances. I can work on my hobbies and socialize with people who have the same hobbies, without any of us having to be able to come over.
AFAIK olive oil became pricier due to the Russian invasion of Ukraine and some bad harvests (dry seasons)
We've deployed a few dozen, and we don't have a public API right now but send me and email: austin@sorcerer.earth
It’s an app because that’s the only way to distribute iOS safari extensions
Uvalde comes comes to mind.
There's a major difference you missed - in a Civil Law system the judge has significantly less leeway to interpret the laws and commonly will refer to a superior (up to the constitutional court level) court to get clarification.
You may be right, but Apple execs are accredited investors worth tens to hundreds of millions and as such are easily able to invest in private companies, so that doesn't rule it out. Nepotism is another possible explanation if there are any connections there. And while it wouldn't be illegal while they were private, it would still be immoral, and it would become illegal when not disclosed as a risk at IPO.

It could also further jeopardize Apple's standing with regulators, since they profess to apply their rules fairly and equally without secret deals (which is transparently ridiculous but Tim Cook said it in congressional testimony so it would be perjury if proven wrong).
I have some shelly devices which manage to do all that, and cost next to nothing. Work with local rest services or cloud, password protection, TLS. Sure, it costs more than zero, but not much.

In the end, freedom goes away because we could not be arsed to ask for it at least, let alone fight.
> Don't smash up your parents' piano simply because practicing scales is a chore :)

I witnessed evolution of UIs from Turbo Vision to modern web and mobile frameworks. My first commercial website went live in 1999. No, UI is not hard and doesn’t require any mastery. As a matter of fact, building decent UI for a client-server application is a simple task with the right tools and processes. Modern Web is not parents‘ piano - you can call it elegant only if you have seen nothing else. It’s a fridge with mostly expired cheap food, from which you have to cook a decent meal for a party. It is possible, no doubt. Without food we will die, so we have to cook it. Instead we could just go shopping.
For me, staying at home during the pandemic did feel like a vacation, but it doesn't feel like that anymore. I've reasoned that the difference between spending lots of time at home now vs. the pandemic is that during the pandemic the standards for socializing and doing anything were so low, it was like a weight off. With things being closed and social distancing, it was not expected of you to really do anything. You could excuse poor social habits.

Now that things are back to normal, staying at home too much and not socializing as much as pre-pandemic, feels like wasted potential, and I can't chalk it up to everything being shut down and people not being able to get together.
It is a matter of degree
The dark secret of Swift optionals
One good turn deserves another
> How exactly do we force the CPU to use the last opcode in its branch prediction model?

In the tail call case: because each opcode is implemented by a function that has an indirect tail call at the end.

In the computed goto case: each `goto curInst->handler` is its own indirect branch.

> Related to that: in your second example, what exactly happens in `goto curInst->handler;`?

`curInst->handler` is a pointer that points to some label. The goto is an indirect branch to exactly that pointer value, i.e. that label.

It's a super crazy and dangerous feature! It obviates the need for a switch; it is the switch.
IMO we shouldn't rely on TIA to deliver content because the original source is really bad. They have limited resources and are already being abused by lazy devs, moreover the picture you will get might have been modified to be something else on the archive.
Like with the gardening and cooking example above!

You might be able to build a perfectly wonderful garden, but that doesn't mean you can use the vegetables you carefully cultivated in any meaningful way in your kitchen to cook a healthy and delicious meal if you can't cook at all (but you can still share the vegetables with your neighbors who might share their cooking with you)! :)
I agree with it. But mostly, tech is, and should be fun. Exploring. Creating. Learning. Just downright, fun.
I've been reading this book, I think it's great!

It feels aimed at someone who isn't a beginner, but not so advanced that they'd already be professionally trained in network operation
It's unfortunate bordering on ironic that both of these are available only through the App Store.
I'm guessing they mean that given a bunch of correlated nodes but no collider (in which case the casual graph must be a tree of some sort) you not only don't know if the tree be bushy or linear, you don't even know which node may be the root.

(bushy trees, of which there are very many compared with linear ones, would be an instance of Gwern's model* of confounds being [much] more common than causality?)

* https://news.ycombinator.com/item?id=41291636
This is an interesting new level in the system I had not heard of before.
How are you maintaining a sorted list (required) O(1)?
That's probably more of an ecosystem culture thing. e.g. Python's culture is that there shouldn't be many.
Also, many (most?) of today's politicians govern deterministically already. You can safely predict their positions on 90+% of issues by simply looking at their political party. We're already governed by algorithm--just with a human mouth speaking the words and a human hand signing with the pen.
This isn't really possible on a project like this. There are just too many specialties, and you need folks who have deep expertise in each one. Just off the top of my head there's structures, mechanisms, fluids, propulsion, avionics, dynamics, software, integration, systems, instrumentation, test, operations, human factors, and manufacturing, and each one of those has sub-specialties. In avionics for example you've got RF and power (among others); in software there's embedded, flight, ground, and interfaces (again, among others). There's a chief engineer whose job it is to oversee the project but they will be relying on the expertise of the individual teams, and each team has to work closely with and lean on their partner teams. Sometimes you'll have people who are cross-trained - I have experience in avionics, software, and ops - but that's not typical, and it doesn't take much to feel spread thin (I certainly do).
That would affect my vote in the negative.
They don't have to get all countries on the same page; for example, they could default to only allowing apps to be sold in the country of the vendor, then expand from that to countries with an extradition treaty with the vendor's country.

Also probably not quite as hard as you make out in practice, as 27 of those countries share membership of a super-national government whose specific purpose is to make trade easier by streamlining legislative differences between them, and that block plus two other single countries constitute about 60% of the world's GDP.

Though random small-time scammers may regardless have a hard time selling in China an app made outside, and vice-versa, as even just the language barrier can be quite intense — I've played a game where the decently resourced western publisher didn't notice (or noticed but didn't fix) the fact that the "choose your name" box only had room for one character, and thus I was the only player who had an interesting name like '狐' rather than 'M'.
https://en.wikipedia.org/wiki/Reichstag_(Nazi_Germany)

says

> Finally, there were 855 deputies; Adolf Hitler was No. 433, elected to the Reichstag constituency 24 Upper Bavaria – Swabia.
A good point - perhaps the focus is too heavy on paperwork or "measurable compliance".

From experience in this sector though, I think the real issue is a lack of technical awareness and competency with enough breadth to extend into the "digital" domain - often products like these are developed by people from the "power" domain (who don't necessarily recognise off the top of their head that 512-bit RSA is a #badthing and not enough to use to protect aggregated energy systems that are controllable from a single location).

Clearly formal diplomas/certificates are not needed for that - some practical hands-on knowledge and experience would help a lot there.

When a product gets a network interface on it, or runs programmable firmware, we should hear discussions about A/B boot, signatures, key revocation, crypto agility to enable post quantum cryptography algorithms, etc. Instead, the focus will be on low-cost development of a mobile app, controlled via the lowest-possible-cost vendor server back-end API that gets the product shipped to market quickly.

Let's not even go near the "embedded system" mindset of not patching and staying up to date - embedded systems are a good place to meet Linux 2.4 or 2.6, even today... Vendors ship whatever their CPU chipset vendor gives them as a board support package, generally as a "tossed over the wall" lump of code.

I doubt many of these issues (which seem to be commercial/price driven) will be resolved through paperwork, as you say.
Yes, this would be really interesting! Are they using VHF frequencies as the actual radiosondes (Vaisala, etc.)?
A cargo-only starliner still would have suffered the same problem and had the same risk of ramming the station.
He has admitted those videos are 100% staged with hired actors.

https://www.reddit.com/r/youtube/comments/a8848z/mark_robers...
Humble reminder of how easy R is to use. Download and install R for your operating system: https://cran.r-project.org/bin/

Start it in the terminal by typing:

R

Copy/paste the code from the article to see it run!
Vim has also started to do the the rainbow thing for CSV recently (around version 9.1.672).
It's hard for me to emphasize with loneliness, as I've honestly never felt lonely a day in my life. It initially surprised me that people were bothered by working from home due to loneliness.
I see signs that Google itself is using preserve_none internally, since the public protobuf repo has PROTOBUF_CC (Calling Convention) but it is defined as nothing

#define PROTOBUF_CC

Is there any chance of this getting out into the wild or is it too dangerous for us mortals?
I switch from mplayer to mpv some years ago but I don't remember when. I use it daily as my media center player.
Yeah, I'll admit I have and Probbaly will "whale" in my share of mobile games. Though "whaling" amounts can vary vastly on the perception (I'm not throwing down $1000 every time a new character releases. But I do spend triple digits a month).

Key is proper financial management. If I make $10000 post tax (which isnt an impressive figure for a community like this), put 15% in savings, 30% in rent/utilities, and 5% into food, I still have $5000 left. Spending $500 on games won't really phase me.

I 100% agree this isn't something kids would do and balance, though. And I recognize others have addictions and much worse financial planning.
Show HN: An HP 15C themed TUI RPN calculator
Recently, I found a long desired framework that treats the terminal via a DOM/CSS approach named Textual [https://textual.textualize.io]. In order to explore this framework I started developing a terminal based TUI RPN (styled in the aesthetic of a classic HP 15C pocket) calculator. So far this TUI RPN calculator has classic HP styled buttons, LCD display and some of the basic math operations. This is very much a W.I.P. Any engagement welcome.
YC money well spent instead of the next LLM app.
I've also used Go without ORM-like libraries. For Java/Kotlin I've been trying out Javalin + JDBI which isn't too bad. You just have to roll your own things (or do the integration with what's available) sometimes. My apps start in 1/10s of seconds.

I wouldn't recommend it for a team that's used to copy/pasting from StackOverflow to get things done.
I mean, I wish that didn't need to be said, but after the whole submarine-controlled-by-an-xbox-going-to-the-titantic thing, who am I to say what bucket of bolts people might jump into entirely on their own accord
I've used multiples images of Christ to play with AI image models. Remaking the old "Jesus on toast" image was fun. Facebook is full of boomers sharing the Jesus face AI generated into scenes. I feel uneasy when religion is used as an excuse to discriminate against or murder innocent people, not when symbolism or texts are used for creative purposes.
For transparency I lead the Minecraft Scripting team.

You can purchase content that runs behavior packs from the store, but it's all through soft currency purchased with per-platform stores.

Link to some of the content: https://www.minecraft.net/en-us/catalog

As for the "not as powerful as Roblox", we're working on it :)
Drought devastates corn and sunflower fields in Romania
Can't use R without RStudio. It so much better than the terminal.
Exactly. Computed goto helps with branch prediction, but does not help w.r.t register allocation & other compiler optimizations.
Another issue is that the same types of nuts and bolts, resistors, and other miscellanea are not manufactured today.
Client-side filtering of private data is a bad idea
Wow, now I can surely be certain that the US is a liberal democracy where residents are safe from arbitrary abuse by government.
Fair point! "Embedded" and "IoT" are overloaded terms. For example, you find "IoT" devices all the way from extremely low powered micro-controllers to Linux-based ones with plenty of power and they are all considered "embedded". I'll take notes to improve the wording.

That said, the production-ready implementation of JSON BinPack is designed to run on low powered devices and still provide those same benefits.

A lot of the current work is happening at https://github.com/sourcemeta/jsontoolkit, a dependency of JSON BinPack that implements a state-of-the-art JSON Schema compiler (I'm a TSC member of JSON Schema btw) to do fast and efficient schema evaluation within JSON BinPack on low powered devices compared to the current prototype (which requires schema evaluation for resolving logical schema operators). Just an example of the complex runtime-efficiency tracks we are pursuing.
Interesting! Nice find.
I'm not sure I'm capable of understanding such fuss. The stuff is into the united states of america. Her property. Would one hide from the government so much they worry about having siesures? One wonders the secrets those monsters keep safely hidden in there layers.
Even the biological impulse to argue online is appearing in language models, just check Reddit
Agree RStudio makes R a dream, but isn't necessary for someone to run the code in the article =)
I don’t care about Lua specifically nor Roblox.

And yes, Factorio is great.
Right, but your memory functions as a collider, if there are literally no colliders anywhere you by definition won't be able to remember anything.
The Paradox of "Finding Yourself"
I don't get the problem. The generated code for your example would return the same function pointer + evaluated args list to the wrapping trampoline (i.e. the code that contains the loop), where that loop expects each thing it invokes to return a sum type NextInvoke(func, args) | Return(value).

And that's not a special case for passed-in function pointers; that's what a trampoline always does. Trampolines expect static-invoked tail-calls to be codegen'ed into function-pointer references too.
For the last ~decade, NANOG [1] has regularly had a (two hour) presentation/tutorial called "Everything You Always Wanted to Know About Optical Networking"; most recent one:

* https://www.youtube.com/watch?v=Y-MfLsnqluM

* https://www.youtube.com/results?search_query=nanog+optics

[1] https://en.wikipedia.org/wiki/North_American_Network_Operato...
At some level by covering or Boeing they are covering for themselves. They were the ones putting the astronauts on it, after all.

But there is another level: there some kind of a background hate directed toward Musk and Space X. Someone in government agencies is asking themselves, how could we put some sticks in Musk's spokes? Some ask him to kidnap seals and put headphones on their heads [1] or calculate what's the chance his rockets would hit whales in the Pacific Ocean [2]. So it's not that they particularly love Boeing that much, but if Boeing's success makes Musk's company look worse, fine, then they'll support Boeing.

Imagine a scenario, for a moment, that the situation is reversed. Space X is the capsule with the issue and Boeing is the one with the cheaper and working version. There would be no hesitation to pointing fingers and accusing Space X make a large media stink about it instead of covering up.

[1] https://lexfridman.com/elon-musk-4-transcript/

> Whether the seals would be dismayed by the sonic booms. Now, there’ve been a lot of rockets launched out of Vandenberg and the seal population has steadily increased. So if anything, rocket booms are an aphrodisiac, based on the evidence, if you were to correlate rocket launches with seal population. Nonetheless, we were forced to kidnap a seal, strap it to a board, put headphones on the seal and play sonic boom sounds to it to see if it would be distressed. This is an actual thing that happened. This is actually real. I have pictures.

[2] https://lexfridman.com/elon-musk-4-transcript/

> Now, again, you look the surface, look at the Pacific and say what percentage of the Pacific consists of whale? I could give you a big picture and point out all the whales in this picture. I’m like, I don’t see any whales. It’s basically 0%, and if our rocket does hit a whale, which is extremely unlikely beyond all belief, fate had it, that’s a whale has some seriously bad luck, least lucky whale ever.

Just to make it clear, I don't like Musk, I don't have any stock in his companies, and don't buy his cars or use twitter/X. But it's still interesting to observe this effect of cover up and strange push against Musk.
Same would be nice for i.redd.it
We do all comms via satellite, including the current GPS location, no comms over VHF. I'm curious how you're tracking down a traditional radiosonde though, do you actively chase while it's in the air and then use visual reference as it comes down?
And that's why the police always seizes the property of banks and investment firms when there is suspicion of their involvement in financial crimes.

...

Oh, wait, did I say "police seizes"?

I meant of course "government replenishes guarantees and underwrites".
I wonder if there’s a devbox-as-a-service tool out there. I use a MacBook Air for most of my work and on occasion would be benefited by using a beefier machine in the cloud. I just don’t want to set up a machine, set up sync etc.
And also depends on if you have people over and a lot of human interaction in your home.

Hosting a BBQ dinner party with family and friends it's obviously different than sitting alone browsing Netflix or reddit
>> this is a Boeing problem and you’re just throwing SpaceX under the bus for the other company’s troubles.

That is what happens. If a company wants to play in this sort of arena, it will not be treated "fairly" and will suffer for the mistakes of others. In a narrow two-company industry, the mistakes of either party will always impact the industry as a whole.

Think of that company that lost a submersible at the Titanic. Undersea tourism is also very narrow industry. All companies involved are dealing with the repercussions of that accident from diminished demand to potentially stricter regulations, not to mention increased insurance costs. That isn't fair, but that is how such industries work.
> Previously Mess With DNS was using a Postgres database. This was problematic because I only gave the Postgres machine 256MB of RAM, which meant that the database got OOM killed almost every single day. I never really worked out exactly why it got OOM killed every day, but that’s how it was.

Found this a little surprising - postgres is internet old - I'm pretty sure it was around at a time when physical servers might not have 256mb of ram?

Seems this should be possible to tune down still? (I mean, maybe not. Postgres 16 isn't postgres 6, and maybe I'm just getting old..)
Does someone make, well, low speed fiber? Something to carry Fast Ethernet but that can't be susceptible to EMI and doesn't require the expensive and power hungry stuff that the real deal does?
Rands Useful App Awards 2024
HN is full of people with a) probably decently good homes and b) a high level of self-motivation on work and hobbies. I suspect sentiment here doesn't generalize well to the population at large.