MurphyA/hacker-news huggingface dataset:
by superkuh | 2025-06-14 13:45:40+00:00
This slightly tilted view of the poles is a teaser. I didn't know they'd managed to incorporate late in the mission gravity assists into the cheaper plan B to slightly tweak out of the ecliptic while dropping close to the sun. That's pretty cool. https://upload.wikimedia.org/wikipedia/commons/6/66/Animatio...

But we could've had so much more. The original proposal A for the ESA Solar Orbiter was a highly inclined orbit relative to the ecliptic plane to truly get full polar views of the sun. But this was too expensive. So they went with the cheaper proposal B which was mostly just a spectroscopic platform. Similar to SDO AIA, except in a solar orbit (almost completely within the ecliptic plane) instead of SDO AIA's Earth based sun synchronous orbit.
by rwmj | 2025-06-14 13:46:18+00:00
> Why is it not run as a dedicated core dump user?

You could imagine an API that sets the UID of this user, and the kernel could easily run the coredump handler as that user, but the kernel can't so easily automate the creation of a complicated namespace to contain that process (and the process can't do it itself because it could be exploited before it gets around to it). Look at the code in runc some time to see how complicated setting up a namespace has got.

> one probably wants to have shared infrastructure for crash reporting anyways

Not really on a single machine. coredumpctl actually works very well for solo development, I use it all the time.
by lcnPylGDnU4H9OF | 2025-06-14 13:46:52+00:00
> No mention of ... actually having to pay extra fees.

> If any offending installations were found, they would charge the company the cost of the license for every machine.

I don’t think you read that correctly. To use an analogy, it’s similar to Costco requiring me to pay again for every item in my cart because I forgot to ring up a carton of eggs when I went through self-checkout. Maybe you don’t call that “extra” but I think most people would.
by bluefirebrand | 2025-06-14 13:46:54+00:00
I am somewhat the opposite. The pandemic was great for me. Being able to work remotely is wonderful. Much less stressful than commuting daily, more free time, less scrutiny during work hours and I don't live alone so staying home isn't isolating

I definitely do need to spend more time out of the house with friends and such though

Most of my current stress is due to AI fears, layoffs looming, uncertain about the future job market for my skills, and such. Definitely too little sleep

I think I'm too young for Alzheimer's to be a serious concern but it does run in the family so it might be worth asking my doctor about it. I hadn't thought of that

I really do think that it's mostly a combination of my company having like 6 rounds of layoffs in the last couple of years, plus them turning up the pressure to use AI as a daily driver now.

I've been trying but I just cannot get the productivity out of it that other people are claiming. Makes me feel obsolete

Edit: I also can't really wrap my head around my coworkers who are gleefully embracing AI tools after watching the company cut literally half of our development team over the past couple of years.

It makes me feel like I'm watching chickens sharpen the farmer's axe
by alganet | 2025-06-14 13:47:19+00:00
That's Turtle, it's an awesome RDF serialization. https://www.w3.org/TR/turtle/

Imagine trying to convey this example in RDF/XML (that's more like 2005).

RDFa and microdata stuff for sharing got pretty far, but those are often simpler vocabularies (at least when seen from the outside, maybe folks who index that shit has something nicer going on, idk).

Honestly, I feel kind of relieved seen Netflix using this stuff. I suggested using this kind of tech to model knowledge in systems that had this problem of knowledge representation several times, but always had a hard time when people said "if it's so good, why no big player uses it?".
by GolfPopper | 2025-06-14 13:47:53+00:00
The latest report on the F-35 by the Director, Operational Test and Evaluation [1] (typically referenced as DOT&E) describes an aircraft that struggles to meet its operational goals, with under 50% of the fleet fully mission capable at any given time. In short, the F-35, while a very capable military aircraft when fully operational, is also a "hangar queen".

1. https://www.dote.osd.mil/Portals/97/pub/reports/FY2024/dod/2...
by klabb3 | 2025-06-14 13:49:40+00:00
> and are able to do complex manouvres in the air

If there’s something pilots really don’t like, it’s when someone else does things without them knowing exactly what, when and why. There’s a reason you separate pilot flying from pilot monitoring.

Automated systems are obviously crucial but they need to be so reliable and predictable that the pilot can form a mental model of how they work. If not, even simple systems like MCAS can wreak havoc. It’s like having a silent copilot fiddling on the controls - even the ”right” decision can cause problems. This is similar in AVs - when you have L3 autonomy you end up in awkward inbetween split-brain in-between states, that can result in new failure modes.

> Maybe in the future wars will involve sending multimodal LLMs in charge of fighter jets

Probably not LLMs but yeah, it feels like this is the type of tech that belongs in a UAV without life support systems. We are probably in the last generation or two with humans in the cockpit anyway.
by kgwxd | 2025-06-14 13:50:25+00:00
I was easily able to create a feed that rarely mentioned politics at all. Mark Cuban currently talks like pre-twitter Elon, the quotes in the article are a perfect example. it's just a matter of time, and everyone there knows it already, so he's just mad the mask doesn't work like it does on Twitter. But I never had to hear from him, once I blocked him, even when people I followed reference his posts. he could easily do the same to the "haters", he has plenty of followers that like him. he wants the controversy but doesn't like that there's no algorithm bots can exploit to boost the narrative he wants.

Also, what he fails to mention is the well-deserved amount of backlash most of the current democratic leaders get there. something you'll never see on platform like Truth, except maybe when prefixed with some heavy praise, then some bashfully presented light criticism.

Bluesky works exactly as advertised, I personally just don't have much of a need for that style of social media anymore.
by cosmic_cheese | 2025-06-14 13:50:33+00:00
> Windows users might be lucky when Microsoft skips that fashion cycle by saying "been there, done that".

Given Microsoft’s track record, I’d expect worse, not better. Metro might’ve looked good on phones, but the desktop incarnation was pretty ugly (it was basically Windows 1.0 with antialiasing) compared to Aero. It would be completely on brand for them to do something like ditch their current reasonably nice looking Fluent in favor of something hideous and then stubbornly try to make it work without changes for the next decade before finally relenting.
Ask HN: YAML or Markdown for Personal Notes?
by heigh | 2025-06-14 13:52:19+00:00
I've used, Evernote and yes it was okay, until I realised I do not want my data out there in the wild. This was maybe back in 2015.

Since then, I use Notepad++ for everything. Save things here and there and it's really unorganized. I feel shame because I am actually a mega-organised person...

So... I tried Obsidian. Wasn't my tempo.

Now I am at organising my notes by text file by the following format: /Notes/Year/Month/Y-m-d.txt

I am seeing myself naturally moving towards Marking-Down my notes, which I like. But it brings me to the question: which is better to use for future use-cases in terms of software and tooling?
by nkrisc | 2025-06-14 13:52:49+00:00
Incredible - difficult to see by design. What an age we live in where a design showcase video frame Apple proudly shows off UX worst-practices. I'll have some of whatever they're smoking, must be good shit. This whole thing is almost indistinguishable from satire.

17:03 - what I thought was finally something sensible turned out to be their example of something bad!

Hopefully I'll be able to find the settings to turn this off - if it's not too invisible.
by lubujackson | 2025-06-14 13:54:52+00:00
Nope, this is exactly how the Internet at large grew up.

First, the breathless nerds. Then, the greater swath of nerds (where we are). And this is when people start to get excited in various degrees while others say stuff like "no one will ever want to fuss with dialup and a second phone line" or "no one will ever put real info or use credit cards online".

Then a couple years later, grandma is calling you over to fix her Netzero and away we go...
by nradov | 2025-06-14 13:56:04+00:00
Germany wanted to continue participating in the NATO nuclear sharing agreement so that made the F-35A the only practical option. They considered purchasing the Eurofighter Typhoon instead but found that modifying it for the nuclear strike mission and then going through the certification process would be too expensive. When you have to rely on another country for your nuclear deterrent that cuts off your options.

The Gripen is fine for what it is. But it's very small with limited thrust so performance goes to crap when you load it up with a bunch of external stores for a long range strike mission.
by trealira | 2025-06-14 13:56:22+00:00
> No language forces to handle errors. Even Rust.

It does. If a function returns a Result or Option type, you can't just use its data; you have to either automatically propagate the error case upward, pattern match on both the success and error cases, or just use ".unwrap()" and explicitly choose to crash in the case of an error. There's no implicit crash like there is in a language that lets you dereference null pointers.
by bmacho | 2025-06-14 13:57:07+00:00
Tangential, but a choice function is one of the ur-examples of Dependent Type Theory (DTT). In standard ZFC the choice function on X would have the type signature

f: X -> UX (union X).

And you know the additional information that (∀A:X) (f(A) ∈ A), which is not encoded in the type signature, just an additional fact that you know, and have to keep track of it. In DTT the codomain can be the function of the picked element of the domain. In this case, the DTT type signature of f would be

f: (A:X) -> A.

So in this case the signature of the function carries strictly more information than in the case of normal, static function type signatures in ZFC. And the axiom of choice simply states that the type (A:X) -> A is non-empty if every A are non-empty.
by zozbot234 | 2025-06-14 13:57:15+00:00
Thanks for the reference! That take of his sounds a bit confused in-context (univalence and constructivism are not directly related, you can work non-constructively and still use the overall featureset of HoTT/univalence) but then his remark about how he's just working on non-constructive stuff that we don't even know how to phrase constructively is just fair.

Relatedly, the kind of philosophical constructivism that would make claims like "non-constructive mathematics is just wrong and useless" has been a bit problematic in many ways, he's not totally off-base about this.

I disliked his skepticism about proofs-as-programs the most, but that's because I think "a direct proof is a program" is very much a worthwhile statement. Of course some mathematicians will opt not to care about that.
by _fat_santa | 2025-06-14 13:57:35+00:00
Reading this I wonder, say we did have a time machine and were somehow able to give scientists back in the day access to an RPI5. What sort of crazy experiments would that have spawned?

I'm sure when the Cray 1 came out, access to it must have been very restricted and there must have been hoards of scientists clamoring to run their experiments and computations on it. What would have happened if we gave every one of those clamoring scientists an RPI5?

And yes I know this raises an interface problem of how would they even use one back in the day but lets put that to the side and assume we figured out how to make an RPI5 behave exactly like a Cray 1 and allowed scientists to use it in a productive way.
by mikewarot | 2025-06-14 13:57:37+00:00
I've had this idea forever, and mentioned it here many, many times... the BitGrid, which is an FPGA chip without all the routing and long lines, but with added latching so you can banish timing constraints.

I honestly think it could be as important/useful as Von Neumann's CPU architecture, for AI and other highly parallel compute tasks. Every time I start to work on it, something stops me.

For instance, last week I had a good chat with Github Copilot about it, and it was way too nice and encouraging for comfort[2] Unfortunately, you need a Copilot account to read the chat I shared. 8(

I was hoping to get it into TinyTapeout, but they're now only in Europe. 8(

[1] https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...

[2] https://github.com/copilot/share/086351a0-0ac0-80a7-9802-144...
by jfengel | 2025-06-14 13:58:03+00:00
I tried, for some time, to develop a product designed to solve this. It would have made it easier to specialize models locally while complying with the corporate one. (Basically, beefing up the data definition language to something like prolog, and putting real thought into making the corporate model reality-based rather than just what suits your current requirements.)

Unfortunately it came about at exactly the same time as NoSQL and Big Data, which are basically the opposite. They let you be really loose with your model, and if some data gets lost or misunderstood, hey, no biggie. It's easier to patch it later than to develop a strong model to start with.

But am I bitter about it? No, why do you ask? Twitch, twitch.
by IshKebab | 2025-06-14 13:58:07+00:00
> Um, really? How so? Show me the computations that model gut biome.

You can simulate the wave function of particles, e.g. https://github.com/marl0ny/QM-Simulator-2D

From there you can build up simulations of atoms, molecules, proteins, cells, and the gut biome.

Obviously I'm not saying that it is computationally feasible to do an atom-level simulation of the guy biome, or pain receptors or the immune system.

But there's nothing fundamental that precludes it. It's just scale.

Also it's highly unlikely that biological intelligence depends on atom-level modelling. We can very likely use a simpler (but maybe still quite complex) model of a neurone and still be able to achieve the same result as biology does.
by burnt-resistor | 2025-06-14 13:58:13+00:00
There are 3 underlying considerations:

1. Active power factor correction (PFC) rather than leaving it to chance.

2. Transient current spikes from outdated inductive PSC motors rather than ECM.

3. Dynamic, cooperative load scheduling, including regional optimizations as suggested by extending smart thermostats. This probably means running HVAC at partially-inconvenient times and supercooling so load won't be needed later. Larger hysteresis values might help overall too.
by ivape | 2025-06-14 13:58:37+00:00
They ran tons of a/b testing on user groups. I can tell you it feels fresh to me which is very necessary with aesthetics (fashion). Their main operating principle I believe is that they have acclimatized users to the position and flow of the UI for over a decade. At that point, you can embellish the UI.

If I skinned HN to anything you would still be totally intimate with where things are so long as I didn’t put yellow on light blue or something wild like that.
by bluefirebrand | 2025-06-14 13:59:46+00:00
I have conflicting feelings on it

On one hand, I had a similar experience with my grandfather. He eventually couldn't even remember to speak English, he reverted to his childhood language. When we translated, he thought I was a childhood friend of his, not his grandson. It was awful

But sometimes he would be so lucid and remember everything. It was so awful thinking that "he is still in there" the idea of him choosing to end it and not have those last few times to talk.. I dunno

During one of those lucid times was the most deep and important conversation I ever had with him. He understood what was happening and it gave him the freedom (courage?) to talk about things he'd never talked to me about before. It was so important to me as a young man, I cannot imagine if he had signed an end of life form and I never got to see that side of him before he passed

Selfish of me I know. But still. Maybe this really just highlights how important it is for people to really talk to one another when they are alive
by trust_bt_verify | 2025-06-14 14:01:28+00:00
That’s an odd take, I never said people should not be paid a living wage for their contributions to the country. However, when was the last time the government authorized a multibillion dollar pay package for a single worker? The government doesn’t have stock buy backs, they don’t have dividends to pay out. That is where private business greed comes in and has no place in public government work. That kind bloat is what I am highlighting in private business.
by ml-anon | 2025-06-14 14:02:12+00:00
FAIR is failing. Dino and JEPA at least are irrelevant in this age. This is why GenAI exists. GenAI took the good people, the money, the resources and the scope. Zuck tolerates entertains ideas until he doesn’t. It’s clear blue sky research is going to be pushed even further into the background. For perception reasons you can’t fire AI researchers or disband an ai research org but it’s clear which way this is headed.

As for your comparisons, well Google Research doesn’t exist anymore (to all intents and purposes) for similar reasons.
by tacitusarc | 2025-06-14 14:02:16+00:00
His advice needs to be contextualized within the 90s and 00s. He was correcting (or overcorrecting) for issues that were prevalent then: methods that were hundreds or thousands of lines, processes with hundreds of hours of design work without writing a single line of code, no testing (or maybe handing to a QA to test, if you’re lucky), and tangled messes of logic the author thought could be saved by adding a comment.

Much of his advice seems silly or extreme now, but I believe that’s because he (and his cohort of likeminded programmers) won. Things have improved dramatically. The extreme advice worked. The problem, of course, is that you can’t just declare victory and move on. So now we have The Church of TDD and the like.
by burntsushi | 2025-06-14 14:02:44+00:00
I always took these as "idealized" algorithms or pseudo-code. In addition to not doing correct unaligned loads (using `memcpy`), the boundary checks are wrong. The code assumes the length of the haystack is a multiple of 8. Additionally, if the needle is empty, you'll get unsigned integer overflow leading to an out-of-bounds access on the needle. That's three different ways to get UB.

This is pretty common in my experience when demonstrating SIMD code. Often only the relevant bits are shown, and not a lot of effort is given to getting the boundary cases correct. It's rarely acknowledged explicitly, but I would assume it's because the boundary conditions are somewhat less interesting than the "meat" of how to use vectors in an interesting way.
by gdenning | 2025-06-14 14:02:49+00:00
Why did it take so long for Google to update their status page at https://www.google.com/appsstatus/dashboard/? According to this report, the issue started at 10:49 am PT, but when I checked the Google status page at 11:35 am PT, everything was still green. I think this is something else they need to investigate.
by btown | 2025-06-14 14:03:34+00:00
From the OP:

> a policy change was inserted into the regional Spanner tables that Service Control uses for policies. Given the global nature of quota management, this metadata was replicated globally within seconds

If there’s a root cause here, it’s that “given the global nature of quota management” wasn’t seen as a red flag that “quota policy changes must use the standard gradual rollout tooling.”

The baseline can’t be “the trend isn’t worsening;” the baseline should be that if global config rollouts are commonly the cause of problems, there should be increasingly elevated standards for when config systems can bypass best practices. Clearly that didn’t happen here.
by oh_my_goodness | 2025-06-14 14:04:46+00:00
No, unfortunately the activity is not modeling at all. It's software development. Pretending otherwise will not make our thinking (or data structures) more logically consistent.

I feel the dream. But we went to that place 25 years ago, and we saw that it was stupid.

Tell you what, I'll do a raffle. Leave a comment telling me that I just don't get it. One lucky winner will get my copy of this book https://www.amazon.com/Unified-Modeling-Language-Addison-Wes.... You pay shipping.
by esafak | 2025-06-14 14:05:08+00:00
Interesting stuff. I don't have time to read a dissertation so I skimmed his latest paper instead: Why Is Anything Conscious? https://arxiv.org/abs/2409.14545

In it he proposes a five-stage hierarchy of consciousness:

0 : Inert (e.g. a rock)

1 : Hard Coded (e.g. protozoan)

2 : Learning (e.g. nematode)

3 : First Order Self (e.g. housefly). Where phenomenal consciousness, or subjective experience, begins. https://en.wikipedia.org/wiki/Consciousness#Types

4 : Second Order Selves (e.g. cat). Where access consciousness begins. Theory of mind. Self-awareness. Inner narrative. Anticipating the reactions of predator or prey, or navigating a social hierarchy.

5 : Third Order Selves (e.g. human). The ability to model the internal dialogues of others.

The paper claims to dissolve the hard problem of consciousness (https://en.wikipedia.org/wiki/Hard_problem_of_consciousness) by reversing the traditional approach. Instead of starting with abstract mental states, it begins with the embodied biological organism. The authors argue that understanding consciousness requires focusing on how organisms self-organize to interpret sensory information based on valence (https://en.wikipedia.org/wiki/Valence_(psychology)).

The claim is that phenomenal consciousness is fundamentally functional, making the existence of philosophical zombies (entities that behave like conscious beings but lack subjective experience) impossible.

The paper does not seem to elaborate on how to assess which stage the organism belongs to, and to what degree. This is the more interesting question to me. One approach is IIT: http://www.scholarpedia.org/article/Integrated_information_t...

The author's web site: https://michaeltimothybennett.com/
by fuzzfactor | 2025-06-14 14:05:51+00:00
Nothing to see here unless you have some kind of unsatisfied interest in the future of AI :\

This is all highly academic, and I'm highly industrial so take this with a grain of salt. Sodium salt or otherwise, your choice ;)

If you want things to be accomplished at the bench, you want any simulation to be made by those who have not been away from the bench for that many decades :)

Same thing with the industrial environment, some people have just been away from it for too long regardless of how much familiarity they once had. You need to brush up, sometimes the same plant is like a whole different world if you haven't been back in a while.
by hedora | 2025-06-14 14:06:08+00:00
The code probably says this room can't be in that building, so you'd probably need to level the entire train station building and start over. $10M?

Something like that, in an existing backyard shed with pre-run plumbing + electricty with no permits? That'd cost roughly what he paid. I didn't see any obvious code violations in the picture, except probably ADA stuff due to it being too small for wheelchairs.