skysight-inc/HackerNews huggingface dataset:
I’m not sure how the Romanian court and the EU leaders who pressured the country into this situation expect this to sit with everyday people. You can’t claim to be a democracy by cancelling elections and banning candidates or parties. Especially when that candidate is the leading candidate even for a repeat election in the polls.
Scopely to acquire Niantic games business for $3.85B
Corruption at European parliament should be highly and serverly punished by Enforced Works for the rest of their life with abduction of all there good of all their family that have get ane Euro from corruption.
Booted out of where, space?
Popular science writers hate the idea of Occam's Razor - doesn't make for fantastic headlines.
That's fair; it is significantly heavier - 360g according to their tech specs. An M1 is still no slouch, especially if you have higher than the base RAM spec.

The other reason I went with (or eventually got to, anyway) a MBP was the nano-texture display. I had bought an available in-store model without it (at least where I am, the only things in stock that have it are iMacs), and after using it for a while, somewhat regretted not getting more RAM, as I had the base M4 Pro, with 24 GiB. My M1 was also base (8 GiB), and over time, I had wished for more. So, I figured if I was going to do that, I might as well bump everything up a little bit, so I got the next higher CPU/GPU spec (14 cores / 20 cores), and the next higher SSD (1 TB) spec. The nano-texture decision was a lot of waffling, because I had seen it on the in-store iMacs, and wasn't sure about it, but reading a lot of reviews, plus Apple's return policy led me to try it, and man I'm glad I did.

I've since come to realize that under the perfect lighting conditions of an Apple store, the relatively small differences in saturation, contrast, and clarity between the nano-texture and standard displays is heavily magnified, while eliminating the thing nano-textures are great at: glare. The fixed position and angle of an iMac probably doesn't hurt, either. But sit down with a laptop in real-world conditions, and the benefits are immediately obvious. If I did a lot of photo or video editing, or if I strictly used my laptop on a desk or docked, I probably wouldn't want the nano-texture, but since none of those are true, it's terrific.
Obsidian has an excalidraw plugin that supports LaTeX both math and text. Then you can export your final diagram in many formats (pdf, svg, png, jpg).
would be cool if some domain guru could enlighten us on the truth

From my point of view this will never happen. If there are 100000 people being charged for domains companies will find a way to continue doing so
Note to self, if I ever get rich fight the urge to get into flying. I don't know the stats off hand, but the number of people that die in small plane crashes seems quite high.
Nobody is suggesting adding this responsibility to developers, but what actually happened was that developers who can design are almost forbidden from doing so, unless they are in positions of power.

Some of us have lost our voice when it comes to design.
My best Dutch friend is an interim manager. He’s specifically hired to reorganize organizations. He works mostly on government projects, focusing on cost savings and increasing efficiency. He reorganizes successfully without sowing chaos. If you do it right, you get a lot of support from the people involved.

If you act professionally, you don’t need to swing axes around. Chances are you will hurt people and it always makes you look completely incompetent.
Just a few days ago, they updated their android application info and stated they're going to share location data with third parties for "Advertising or Marketing" purposes...[1]

They also removed a promise to "never sell your data" in their FAQ[2] 2 weeks ago.

[1] - https://news.ycombinator.com/item?id=43326230

[2] - https://github.com/mozilla/bedrock/commit/d459addab846d8144b...
How Google Book Search Got Lost (2017)
I'm pretty ashamed of my country
It’s crazy that on iOS any alternative browser you install isn’t even an alternative but just Safari. I’m not sure how that was ever allowed because it is blatantly anti competitive.
A bit messy is understatement. And finishing such project without a good guidance is almost impossible. At final stage a few bad moves can destroy week of work!
It is setting up newcomers for failure and burnout.

We made our own mirrors, because there was no other option a few decades ago.

But today mirrors are cheap, and they come with aluminum coating and rest of the telescope!
You can easily rent one of them as a moderately wealthy person.
Show HN: Tabmark-Bookmark New Tab,a bookmarks based new tab page.
TabMark turns your bookmarks into a new tab page, making your saved bookmarks clear, tidy, and efficient, allowing you to quickly reach the websites and resources you need most.
I find that with blowers the worst is the amount of dust the throw back in the air. If someone happens to have an air quality device check it the next time there a blower working near
Please don’t call me a racist, that’s incredibly ignorant, you don’t know me, and hate speech in its own right.
Hey I'll take that over the back button not doing anything any day.
Silicosis, but also fine dust is toxic when ingested. It can literally kill your cat or dog!
The telco must know the secret key at time of use (because telephone networks are non-e2e nowadays and any new design must be interoperable), it's how the key is derived that is at issue here.

If it's derived from symmetric key material, you need to hack the manufacturer, card or telco once, and then it's over. As long as you can observe the over-the-air procedure where the session keys are derived based on the static keys, you can listen in on the entire session.

If it's derived from symmetric keys (both static and ephemeral), then if you are ever discovered and lose access to the operator's network, you can't decrypt any further communications.
I'm not sure if that is biased by the fact that small plane owners (ie rich people) are more likely to be known by the public and make the news.
And there are people who rely on it that aren't appropriately handled today. What I mean with that the current state is far from perfect too.

Your argument is essentially change is risk. Which is true. But what is also true is that never changing will yield a much worse system in the long run.
Exactly, and "fixing" in this sense means "nailing to the spot", or "fastening upon, halt, stop moving, be immobile like a fixed point or fixed price".

It's a poetic expression.
I also didn't know the library nor have any exposure (yesterday was literally my first time looking at the docs for this particular library) and still got it done in 1.5h because someone has to do it.

And they've been at the company working with the FE stack longer than me by a few months!

I'm not even on the frontend team and decided to take the matter into my hands because I was pretty sure my ask wasn't too onerous so I wanted to double check. It had an out-of-the-box, first party add on package to do exactly what we needed to get data in the right shape on the backend, but the dev made it seem like I was pushing more work on FE. I'm just trying to get the right data format...
> SO is a valueable resource.

Chatbots like Copilot, Cursor, Mistral, etc serve the same purpose that StackOverflow does. They do a far better job at it, too.

> The problem is not using the tools available. The problem is relying 100% on these tools, with no skill or care of ones own.

Nonsense. The same blend of criticism was at one point directed at IDEs and autocompletion. The common thread is ladder-pullers complaining how the new generation doesn't use the ladders they've used.

I repeat: we old timers need to do better.
AdressSanitizer is an absolute gamechanger and should amost always spare you the effort of the nightmare debugging of undefined behaviour.
> The language splits side-effects from non-side-effecting code. Or rather would once functions and subroutines are implemented. Subroutines can have side-effects, functions cannot. Expressions can only apply functions, not call subroutines. It's like Haskell but better.

You mean, "worse". There is a reason why e.g. Pascal only had this misfeature in its very first version and gave up on it in the Revised Report, at which point having both functions and procedures arguably became an unnecessary distinction without difference.

> And there's always the issue of what to do about side-effects on module load.

You execute them. Just be sure to only run them once, and maintain proper traversal order (that being post-order): e.g. if your main program has "import A; import B", and A has "import B, import C", and B has "import D", you first run D's init, then B's, then C's, then main's.
He lived in Switzerland and was commuting from Croatia back to his home. So I'm guessing he did this quite often.

A lot of people around me who were involved in Piratbyrån and the underground scene here in Sweden back then are saying this was a perfect way for him to fake his death since he had substantial debts incurred from the Pirate Bay legal case.

But I think small private aircraft are involved in a lot more accidents than large airliners.
> There’s an HVAC company like this also, I’ll bet.

IIRC a hacked HVAC vendor was how credit card skimming software was infiltrated into Target and credit card data was exfiltrated a decade or so ago.

Edit, source: https://krebsonsecurity.com/2014/02/target-hackers-broke-in-...
Windows 8 all again huh?
That's the attitude of poor mathematicians who are insecure about their own faults.
Not very much. There were a handful of Waterloo kids that are next level programmers.
Republicans are spineless traitors willing to cede the will of the people to a dictator.

Talk so much about gender but here we have Republicans changing the definition of a day.

Madness!
I like the pixel art better, but I think there's more to it than that. You can't just do a 1:1 translation and expect good results. (Also, it's not 1:1, the outlines are way thinner in SVG.)

With low res art, your imagination fills in the gaps. The higher the resolution, the higher the quality you need. (Vector art has infinite resolution by definition.)
Make that "two-decades-old" at least for a Land Cruiser ;-)
A definite +1 on HTMX, which removes a lot of the necessity for frontend stuff for most simple and semi-complex use cases.
Past 2017 80 Comments https://news.ycombinator.com/item?id=14089416
Yeah but that’s a biased approximation at the cost of an assumption in equivalence and not truth distills equivalent in ratio. You’d have to treat tokens at some universal distance if one unit to approximate some unit of measurement along hwd/magnitude.

Overall visual perception is about noticing comparative differences not measuring absolute quantity.
What the hell is that quote? No, a simple proof is the absolute mathematical ideal!
Because congress basically abdicated its responsibility to govern years ago?

Consider immigration reform: virtually everyone in congress agrees that something needs to be done, but nothing gets done, so everything happens by executive action. DACA, for example, probably never should've been done at the executive branch (and I say this as someone who is basically in agreement with its intent). And then when the administration changes, everything is in upheaval in the form of lawsuits and uncertainty for the actual people on the ground affected by the changes.

None of this is new; it's just gotten more visible through the first Trump administration. Who knew the plural of Attorney Generals was Attorneys General or the name of the Administrative Procedures Act prior to 2017?

Regardless of how you feel about him as president, you can't say he's unwilling to loudly make sweeping changes at the executive level. His supporters seem to view the lawsuits as evidence that their guy is doing what they voted for him to do.
There are hits for other permutations such as ""fix them with your gaze", "fix me with your gaze", "fix her with your gaze" etc.

If you're claiming that this is "wrong" then I think that's disproven. I don't even know what the point of that exercise would be. Just finally accept it as an opportunity to learn a new turn of phrase. You don't have to even use it, just accept that others do. IDK what the gatekeeping is about.

If you still feel the need, then IDK, write a strongly worded letter about it to the editor of The Critic? It says "Britain's Most Civilised Magazine" on the home page. Have at it, present your credentials, see if you get anywhere.

Or if you don't want to engage with the piece on its own terms, then maybe it's not for you. Not everything is written for everyone, and it's useless to complain about that.
Yes, the Trump administration’s polices are definitely passing over even basically qualified folks at all positions in government.
> there is nothing deterministic

https://reproducible-builds.org/

> nothing [...] and predictable

Even if the build isn't bit-for-bit-reproducible, any reasonable toolchain will, at least, give predictably equivalent results.
A good place to start is with the original Game Boy - you can probably gather from the article that, to build a GBA emulator, you need to support some aspects of the Game Boy anyway (notably the sound chip). That would give you a simpler place to start getting familiar with the general concepts (like memory-mapped IO, graphics hardware, etc) and structure (like syncing emulation speed to the sound buffer) as a foundation before jumping into the more complicated GBA.

There's tons of tutorials[1], documentation[2], and tests[3] for building a Game Boy emulator, not to mention existing implementations in every language under the sun. Your favorite LLM has also surely already read them all, so you can have as much hand-holding as you'd like.

[1] https://www.youtube.com/watch?v=e87qKixKFME&list=PLVxiWMqQvh...

[2] https://gbdev.io/pandocs/

[3] https://github.com/c-sp/game-boy-test-roms
I did come back to C after some years. I liked it because it made me suffer but in the I prevailed so I felt good about it. Now that I am back at it I remember all the pain of trying to enforce abstractions at compile-time with the C preprocessor. I am now considering Zig or suicide.
glad to see it's not just me in this exact predicament. I'm thinking I'll switch to a device next that also supports cell modems because apple gave me a taste for it while not granting the greatest stability
Yeah, I can’t really speak to the emotions that bring about a post like this, maybe it’s the places I’ve worked but a few thoughts:

The person who “caused” the incident always feels worse than anyone else around them, and this can be a real problem. Often times I don’t want you to change your processes or slow things down or add huge approval gates for changes. Add the test or make whatever small improvement there is and move on.

2. Literally so often the “problem” is that feature development is prioritized over stability. And this is fine, but are you really going to invite the VP of eng and VP of product to every retro and be like “it’s on you!” And maybe it’s not specifically the VP maybe the director misunderstood the directive, maybe the manager got it in their craw to pushed getting a projected through, or maybe it’s a confluence of all of these issues.

If one team makes a tool with bad UX and an uncareful engineer on another team causes an incident because of that UX, whose fault is it?

Again, obviously you work in an environment where the opposite is true, but assuming an incident must have one person to hold accountable sounds nightmarish to me, not as the person who might get blamed. But as the person might watch the chaos of said system.

That all being said, what you said about balance is right. But I don’t think it’s about being blameful, i think being a culture of blame and being a culture of accountability are two different things. One must be able to talk openly and pointedly is correct.

And there are a few exceptions. If you lie or blatantly ignore processes, or otherwise act callously, then yes it is your fault.
> What's interesting is that broadly speaking, people acknowledge that negotiating with asymmetric information is immortal or wrong.

They do? I’m quite happy when I have more information than the party I am negotiating with.

Do you tell your customers all of the input costs of the product or service you sell? I doubt it.

Also, certain parties that trade in public markets have way more information than any retail investor could ever hope to have, hedge funds buy satellite imagery of parking lots, track oil tankers at sea, etc to gain an edge.

Insider trading rules are meant to prevent the public bagholding stocks from the management team having insider information that no other market participant could or should have, there are no rules against legally gathering or purchasing information on your own to gain an edge over other market participants.
What Went Wrong with Horizon Worlds?
You just made me realize that someday someone will be choked to death by their own robot in an attempt at sexual asphyxiation that went too far.
I'm always amazed when I see a site that looks like it was built in the early 00s that is still being kept up to date with their Events and News pages.

Btw, for those very interested it looks like they have a yearly convention in VT, with registration opening May 1 — https://stellafane.org/convention/2025/index.html
Agreed, this has Streisand effect written all over it. I don't know how effective book marketing campaigns normally are, but this type of exposure will blow that out of the water.
Is Gemini using it?

“If Google could find a way to take that corpus, sliced and diced by genre, topic, time period, all the ways you can divide it, and make that available to machine-learning researchers and hobbyists at universities and out in the wild, I’ll bet there’s some really interesting work that could come out of that. Nobody knows what,” Sloan says. He assumes Google is already doing this internally. Jaskiewicz and others at Google would not say.
Found something I wrote last year, see below, but off the top of my head:

Something like 5 different DSLs in the same language, most of it in a purist functional style that is neither familiar to most mathematicians nor most programmers, with type-checking an order of magnitude more strict and complex than any programming language (that's the point of it), with rather obscure errors most of the time.

It's really tedious to translate any non-trivial proofs to this model, so usually you end up proving it again almost from scratch within Lean, and then it's really hard to understand as it is written. Much of the information to understand a proof is hidden away as runtime data that is usually displayed via a complex VSCode extension. It's quite difficult to understand from the proof code itself, and usually it doesn't look anything like a traditional mathematical proof (even if they kind of try by naming keywords with a similar terminology as in normal proofs and sprinkling some unicode symbols).

I never-ever feel like I'm doing maths when I'm using Lean. I'm fighting with the syntax to figure out how to express mathematical concepts in the style that it likes, always having several different ways of achieving similar things (anti Zen of Python). And I'm fighting with the type-checker to transform this abstract expression into this other abstract expression (that's really what a proof is when it boils down to it), completely forgetting about the mathematical meaning, just moving puzzle pieces around with obscure tools.

And even after all of this, it is so much more ergonomic than the previous generation of proof-assistants :)

---

I think that the main reasons for Lean's complexity are:

- That it has a very purist functional style and syntax, literally reflecting the Curry-Howard Correspondence (function = proof), rather than trying to bridge the gap to more familiar maths notation.

- That it aims to be a proof assistant, it is fundamentally semi-automatic and interactive, this makes it a hard design challenge.

- A lot of the complexity is aimed at giving mathematicians the tools to express real research maths in it, on this it has been more successful than any alternative.

- Because of this it has at least 5 different languages embedded in it: functional expressions of theorems, forward proofs with expression transformations, backward proofs with tactics, the tactics metaprogramming macro language, and the language to define data-types (and at least 4 kinds of data-types with different syntax).
> If the shortest proof for some theorem is several thousand pages long and beyond the ability of any biological mind to comprehend, would mathematicians not care about it?

Care or not, what are they supposed to do with it?

Sure, they can now assume the theorem to be true, but nothing stopped them from doing that before.
I remember watching a video 3 years ago by Tom Scott about trucks with overhed power like trains have.
https://youtu.be/_3P_S7pL7Yg
How is it incorrect?
Yes, HN rule no 1: don't ask for a sign up until you have shown your wares.
15 years later, still can't open it, still don't own it.
Excuse me, do you have a license for that gerund?
"First, for Niantic Inc., we have reached an agreement for Scopely, a world leader in mobile games, to acquire Pokémon GO, Pikmin Bloom, Monster Hunter Now, and the incredible teams working on these experiences, for $3.5 billion from Scopely with an additional $350 million of cash from Niantic being distributed as part of the deal, yielding a total value of approximately $3.85 billion for Niantic equity holders."

Links to blog posts on the matter:

https://www.scopely.com/en/news/a-message-to-the-pokemon-go-...

https://www.scopely.com/en/news/scopely-to-acquire-niantic-g...

https://www.scopely.com/en/news/why-scopely-is-teaming-up-wi...

https://savvygames.com/scopely-to-acquire-niantics-games-bus...

https://pokemongolive.com/post/moving-to-a-new-home-2025
Leaving Well (2018)
> I actually believed Obama when he spoke about ending the NSA's mass surveillance on the American people. He taught constitutional law. He knew exactly how wrong it was. I suspect that once he got into office he was either strong armed into changing his tune (and into ultimately giving the NSA more spying powers on the public) or he was shown enough secret evidence that it scared him into thinking it was necessary to violate the freedom of all Americans in order to keep us safe from terrorists.

Man... When a bombastic politician promises something but doesn't deliver, the common response is "Oh, well, of course he just made an empty promise. What can you expect?". When a more genial politician that affects a more-typical reserved public face promises something but doesn't deliver, they get the benefit of the doubt. "Surely that wasn't an empty promise just to get more power! Surely something happened that convinced them against their better judgement not to do it.".

Respectfully, these are a class of people who have no problems saying trivially-verifiable lies to the public at large (as time has proven that there are no lasting consequences for lying to the public), and little problem with lying to members of Congress or even the courts (again, because here "lately" there are no real consequences for the act).

Don't believe what they say, believe what they do... because you're not privy to the conversations that they have that actually matter, so you have no idea what they actually intend.
In my experience most designers don't know what UX is. They think their job is to make it look pretty. If it needs 3x more clicks to do the same thing as before so be it.
Java has BigDecimal. This looks pretty nice

https://docs.rs/rust_decimal/latest/rust_decimal/
What prevents this from happening with any vehicle that has electrically operated doors and windows if a crash damages/shorts the battery?
Who is Tan Lip-Bu, the Singapore-raised tech titan tasked with steering Intel