skysight-inc/HackerNews huggingface dataset:
First, even if we kicked all questions back to the authors, there would need to be a process for interpreting legislation when the original authors are not available—perhaps they died 200 years ago, for example. So, a judicial group is necessary for interpreting the law in any case.

Second, interpreting the law is a full-time job, and our legislators are already not doing the jobs they have. If we asked them to not do a second job on top of the one they're already in dereliction of, nothing would get done. Well, twice as much nothing would get done, if that makes sense. So, you need someone with the full-time job of interpreting the law, and it might as well be that judicial branch.

Third, legislation is often a compromise. If you go back and try to interpret what it was that people said during the debate which produced the language at issue, you'd have to decide whose voices carried the most weight, which seems very, very tricky. It's why legislation is written down in the first place: a single source of truth. Even if ambiguous, it's still less ambiguous than a transcript of extemporaneous debate.
Call me unsophisticated but the building in that picture is beautiful. It won't win any awards, but the place as a whole is very pleasing to the eye.
Ya apparently some guys can do this, it's quite uncomfortable for me to try.
You don't attempt to parse it. You don't try to understand what **foo* bar* means. You just assume things next to * are bullets or emphasized and things next to # are headings.
Some of these arguments seem weird. Like yes, it's very cold, but it also has no atmosphere, so it's very hard to bleed the heat away.

Is the fact that the moon isn't protected from radiation and covered in impact craters not indicative of its poor suitability?
Show HN: A macOS app that allows to use 3rd party keyboard with native tiling
What's factory service going to look like when new sales are down even further in Europe and the stores are struggling? I definitely wouldn't be buying from a manufacturer where that has to be a consideration which then adds to a vicious cycle for Tesla. Is Tesla going to keep stores open that aren't selling any vehicles just to provide service?
I’d love to look at these pictures but have never succeeded. In particular, I find crossing my eyes to be a rather painful ( as in, it physically hurts ) experience so stop immediately if I try.
I find it odd to brand it as "explicitly anti-Albanian" when the very article that was linked says

> With the end of the "Skopje 2014" project, not only the Macedonian nationalist hungry spirit was fed. Its counterpart, Albanian nationalism, got its part of the city to ill-treat, so the neighbouring Skanderbeg Square was turned into a nationalist showcase for another actor of the Macedonian ethnocratic elite.

But overall agree that it's over-the-top kitsch.
Java completely replaced C++ in business software
Project MINI RACK – what have we started?
Is Rust itself 100% written in Rust yet?
I completely agree, but like I said, I don't always have the physical button next to me. Having a device that can always do the same as that physical button (at the cost of being more complex to use and taking longer to do any individual action) is a worthwhile tradeoff in some situations.

It's not the right tradeoff for everyone or at all times (there's a good reason why physical switches are the default in most homes!) but it's a useful feature. It is by no means irrational, as the previous poster was suggesting: it was designed with a lot of rationality to suit a use-case that that poster may not have.
The full text of the US-Ukraine mineral deal
There is more to hiring than technical competence. I'm not seeing any red flags in his videos, but just saying, ability to work in a team is not obvious from such posts.
pz, what a great username :)
"Blind" SQLi is a thing, but even in the real-life example I could find, it wasn't exactly blind. They could still use the timing to get one bit of info at a time and discern the email addresses. https://www.invokesec.com/2025/01/13/a-real-world-example-of...

It's hard to imagine a case where you can't even get info based on timing. But it requires more effort and knowledge to exploit this.
It must have been one hell of a morning. It took them 5 hours to identify the cause and everything is still broken for me.
Am grid engineer. You nailed it. It can get incredibly complex modelling this stuff, and reading all the armchair observers banging on about 'single points of failure' is amusing.
- Actual job
But don't forget the Actor Model and Durable Execution! That'll surely keep the LLM on track.
I think those challenges (especially leetcode) are heavily misused.

When my team conducts technical interviews, we are asking for a couple simple programming solutions - but we're asking because we want to hear the candidate talk through it and see what their problem solving process is like.

If you aren't evaluating based on conditions like those, I don't really see the value of coding questions.
So you can ask for the document that is the inspection report from Mel's Diner on date 11/11/2024?

Can you ask for the database record from dispatching that inspection visit to Mel's Diner on 11/11/2024, even if you don't know the exact database column names and relations?

If you can ask for that one dispatch database record, without knowing the schema, can you ask for the database records for all inspection visits to all locations in Smallville in 2024? (Or does the complexity of that database query constitute "research"?)
This is also new, and very broad and unqualified:

> We may also be required to process your personal data to comply with applicable laws and protection purposes, such as:

> (...)

> Identifying, investigating and addressing potential fraudulent activities, or other harmful activities such as illegal activities, cyberattacks or intellectual property infringement (including filing or defending legal claims).

> Performing internal compliance and security activities, such as audits and enterprise security management.

---

Being US, how far stretch is it to imagine PII being under scope for some anti-DEI (aka anti-terror) audit? Also you better switch browsers if you'll ever be in a lawsuit with Mozilla I guess...
Good insight! We also initially tried to use Jupyter as a base but found that it had too much complexity (like the widgets you mention) for what we were trying to do and settled on something closer to a vanilla Python repl. This really simplified a lot.

We've generally prioritized edge case handling based on patterns we see come up in LLM-generated code. A nice thing we've found is that LLM-generated code doesn't usually try to hold network connections or file handles across invocations of the code interpreter, so even though we don't (currently) handle those it tends not to matter. We haven't provided an official list of libraries yet because we are actively working on arbitrary pypi imports which will make our pre-selected list obsolete.

> Love what ForeverVM is doing and the early promise here.

Thank you! Always means a lot from someone who has built in the same area.
Parties in the US aren't real, though the brand value is good at keeping the right kind of people in each one. They can't actually kick anyone out and people in the federal government have no particular control over same party people in any state.
Data Trends in 2025
Unlike Java, Rust does not threaten Microsoft's hegemony. There's no need for them to extinguish.
It's just you. It's extremely impressive. He likely set himself up for life with this + learned an unbelievable amount. And this is, in and of itself, a business. He has merch, a conference, a social media presence, etc.
Normally you would write a program that is a game of Doom when you run it (you create a program, then compile it and run). Dmitri created a program that does nothing and he don't even run it. But while it's compiling, it does a lot of tricky things to make typescript compiler to run Doom as a side effect.

It's extremely hacky because Typescript is not even a runtime, it's not meant to run any code at all. Typescript is a thing that takes .ts file and produces .js file (which you then run using different program - a javascript runtime).
TypeScript types are a kind of Prolog [1] (sort of, kind of, not entirely). Like any language they have primitives (`boolean`, `string`, `true`, 'Manchester'), functions (`type WaitWhat<T> = { yesReally: T }`), variables (`type X = number;`), and conditionals (`type Huh<T> = T extends Foo ? Bar : Baz`). You run the types program by asking `tsc` to check the types of some program - e. g. `type Foo<T extends number> = { x: T }; type Bar = Foo<string>;`. Getting output out of the type system other than via "hover over the type in VSCode" is probably a bit more involved, but it's definitely doable (I suspect some abuse of the Language Server Protocol here).

[1]: https://en.wikipedia.org/wiki/Prolog
Why does it feel like the author has never worked on enterprise software. The enterprise ERP systems are clumsy because they are built on a system of checks and balances . He talks about invoices finding their own approves when that is exactly what business rules are coded for - to handle complexity and notify in case of no approves found. Enterprise software is unsexy because it drives much of GAAP accounting and businesses do not like surprises in that domain.
Similar to other posts- you have competition in this space. Can you show some examples of how your results are better than competitors?

Also, some clarity on what counts toward the limit of "20 free translations" would probably help. Is it 20 speech bubbles? 20 pages? 20 images?

I think seeing these things would motivate people that might be interested but aren't sure if it is worth the attempt.
I studied “computation” at Oxford 92-95 while CAR Hoare was still there and basically all they taught us about computers were these formal methods. They actually thought it would revolutionise programming and looked down at anything else as “hand-waving”. Think the syllabus was abandoned only a few years later thank goodness.
If it holds does that confirm that I’m his bitch?
Then we can have a color revolution. He's not doing the right steps to prevent that, because he's annoying the security forces instead of supporting them.
I know what you are saying, but I very much disagree. There are also better chess engines. That’s not the point.

It’s all about the “G” in AGI. This is a nice demonstration of how LLMs are a generalizable intelligence. It was not designed to play Pokémon, Pokémon was no special part of its training set, Pokémon was not part of its evaluation criteria. And yet, it plays Pokémon, and rather well!

And to see each iteration of Claude be able to progress further and faster in Pokémon helps demonstrate that each generation of the LLM is getting smarter in general, not just better fitted to standard benchmarks.

The point is to build the universal hammer that can hammer every nail, just as the human mind is the universal hammer.
This got much less attention than I would have expected.

Yaak is awesome, please please please keep it local-friendly
Ask HN: Why not just use Google Spaces?
We heavily rely on Slack for communication and Google Workspace for emails, drive / sheets / docs etc. and Notion for PM.

With Slack being down, I quickly moved the entire team over to Google Spaces as a backup and now using it for 4-5 hours, I am wondering; why not just migrate over to it?

This would remove the need for another communication channel, instant access to documents, sheets, clear google meet / calendar integration etc.

Anyone else thinking the same? Seems like a perfect fit for companies relying on Google Workspace.
Show HN: Convert Jupyter Notebooks (Ipynb) to PDF for Free – Fast and Secure
I built Rare2PDF, a free online tool to convert Jupyter Notebooks (IPYNB) to PDF quickly and securely. It’s designed for developers, data scientists, and anyone who works with Jupyter Notebooks and needs a hassle-free way to share or archive their work.

Key Features:

Fast Conversions: Convert IPYNB to PDF in seconds.

No Installation: Works directly in your browser—no downloads or plugins required.

Secure: Your files are processed locally and never stored on our servers.

Free: No hidden costs or watermarks.

How It Works:

Visit https://rare2pdf.com/ipynb-to-pdf/.

Upload your IPYNB file.

Click Convert to PDF.

Download your PDF instantly.

I built this tool to solve my own pain points with sharing Jupyter Notebooks, and I hope it helps others too. I’d love to hear your feedback or suggestions for improvement!
Given that MSFT seemingly failed to extend-and-then-extinguish Java, what is the applicability of this analogy?

(I don't have any particular faith in MSFT. I just don't think EEE even remotely works as a strategy in cases like this, and I think MSFT is not stupid enough to think that it does.)
You can ask for "the inspection report from Mel's Diner on date 11/11/2024". You can also ask for "every inspection report ever done on Mel's Diner".

You can suggest that they retrieve the inspection report from their database. This can be useful if staff wouldn't know where to find the document you're looking for. The FOIA clerk will hand the request off to IT, and if it's sensible, they'll probably try it.

You probably (these are all humans, so no definites) can't literally use public body staff as a proxy to a database shell; for instance, they're not going to let you do a lot of interactive stuff. You're either going to produce the data that you're looking for --- which you'll need to describe in prose --- or get nothing.
Update on Staff Hiring
But in this case he kind of did anyway (at least the video makes reference to "L1 Instructions Cache").
And yet it's still not possible to type tagged template literals...

https://github.com/microsoft/TypeScript/pull/49552#issuecomm...

Insane achievement nonetheless!
The most common memory safety bug in released software is array overflow. This is easily corrected in C by adding a small extension:

https://www.digitalmars.com/articles/C-biggest-mistake.html
The author saying people should be able make their own choice, and specifically "not advocating a Burkean return to the past".

How is publishing this on the internet at all hypocritical?
Ah yes, I guess the a?.b syntax is also quite new, and as a grumpy many myself, i didn't feel like adding a js preprocessor. This syntax is used 25 times, i think at that point it would be more reasonable to write my game in typescript or something else kids do these days haha. The run should complete at level 7, unless you extend it with the "+1 level" upgrade up to three time. If you stop at level 4 or 5 it means you dropped the ball, or there's a bug. And yes, once the run is over, you loose all upgrades, however some new ones are unlocked and added to the "pool", same for levels, so you'll see interesting new things in the next run.
The "pick 3 upgrades" should happen when you play very well and clear the level in 30 seconds without missing any coins and without ever shooting nothing (well, then you'd get 4 upgrades actually). If the game bugs out and ends the level immediately, it will effectively consider you did all those things. I don't have telemetry, so I have no idea what could have caused this. Can you tell me the OS, browser name and browser version ? I'll give it a try on browserstack. Or maybe even better, open the dev console and see if there's some funny business happening over there
Microsoft <3 Open Source /s
One Billion Seconds of Life
It doesnt' matter in the sense that like 80% of what's in the typical American diet is far worse. All that fat that got removed was replaced with salt and corn syrup.
> Some parts of the moon are permanently shadowed and therefore extremely cold, as low as -173 °C. This means that no energy or water would need to be expended to cool the data center.

That doesn't sound right to me. If there's no air, then only black body radiation can be used to cool the data center. That means a massive radiator, a lot larger than a heat-to-air radiator+fan used on earth.
Both have a garbage collection though that lead to higher developer productivity than compared to rust's affine types.
For generative coding, I'm a big fan of Raven Kwok https://ravenkwok.com/
Curious if you're running Linux, I recall seeing a discussion about there being a bug with that on Framework that causes it to not suspend properly and burn energy.
Not specific to this article, but it's tragic that computer science curricula, and discussions of these algorithms, virtually never highlight the tight connection between binary search and long division. Long division done in binary is exactly binary search for the correct quotient, with the number written above the line (plus some implicit zeros) being the best lower bound proven thus far. Similarly, division done in decimal is just "ten-ary" search.
A 2200W inverter generator + 2000WH battery can carry most households for a week before you need to do any serious maintenance on the unit. About 3 gallons of fuel per day and a mid-week oil change is all you need during operation. You can often run off the battery alone while everyone sleeps at night.

The battery you can keep charged, and the generator you can keep new in the box until you actually think you'll be in a prolonged outage. You can run fridge, internet, lamps off the battery for a solid day. The #1 thing that screws people with the small engines is maintenance after some initial amount of usage. Gasoline turns into jello in the fuel system after a ~year in storage. Oil needs to be changed frequently. Don't run gas through that small engine unless you really think you'll need it. LP/LNG is much cleaner, but can be harder to obtain and use.

I think of these small inverter generators as a one use/emergency item. Once I fire it up, it's on a 200 hour death timer. It only costs around $600 for a brand new unit. Catastrophic, multi-day outages don't happen often.
I don’t know about the actual laws on the books, but practically speaking decomps have been a thing for a while now and don’t seem to have gotten any pushback from Nintendo.

There’s an entire community of development tools and rpm hacks built around Pokémon Emerald and FireRed for years now, for example. There are ports and enhancements of SM64 to everything now that are based on a decomp. If this was going to be in their crosshairs I think we would have gotten at least a warning shot by now.
Jim Keller joins ex-Intel chip designers in RISC-V startup
I had Alexa devices throughout my home to control music and lights and set timers. Over time, the amount of advertising on anything that had a screen and the overall annoying reminders about tipping my delivery driver or leaving a review when I asked the time made me realize that I didn't want or need them anymore. I sold them all last year and just use my phone/smart watch to do what Alexa had been. For music, Sonos' voice assistant has proven to be good enough, claims to be on-device, and actually has been more responsive.

Considering I've had frequent issues with LLMs hallucinating and giving me blatantly wrong information, it will be quite a long time before I trust them, especially through a voice assistant where I can't easily request citations that I can follow up on to validate the information.

It's strange, but as someone who grew up during the dawn of the personal computer and built my life around technology, I'm realizing I increasingly want less of it.
My high school CS teacher in the 1990s had been influenced by this and told me that formal proofs of correctness (like with loop invariants, as here) were extremely tedious and that few people were willing to actually go through with them outside of a formal methods class.

This was a perennial topic of Dijkstra's as he complained about people writing programs without knowing why they worked, and, often, writing programs that would unexpectedly fail on some inputs.

But we're getting better tools nowadays. The type systems of recent languages already capture a lot of important behaviors, like nullability. If you can't convince the type checker that you've handled every input case, you probably do have a bug. That's already insight coming from formal methods and PL theory, even when you aren't thinking of yourself as writing down an explicit proof of this property.

I guess the compromise is that the more routine machine-assisted proofs that we're getting from mainstream language type checkers are ordinarily proofs of weaker specifications than Dijkstra would have preferred, so they rule out correspondingly narrower classes of bugs. But it's still an improvement in program correctness.
Under Illinois law there are just two kinds of data: normal data and data exempt from FOIA. Up to and including the appellate review of Matt's case, schemas were in the formal, normal category. After the State Supreme Court review, they are now per se exempt from FOIA.

It's not legally protected. An employee could leak it. A public body can voluntarily reveal documents that are exempt from FOIA (absent some other Illinois law prohibiting disclosure). A public body can disclose source code, for instance, despite it being explicitly exempt in the statute. "This data is exempt" is an affirmative defense that the public body has to raise.
I think OCR tools are good at what they say on the box, recognizing characters on a piece of paper etc. If I understand this right, the advantage of using a vision language model is the added logic that you can say things like: "Clearly this is a string, but does it look like a timestamp or something else?"
Which is really stupid, because this wouldn't be a problem if they weren't sending that data back to themselves in the first place. They found that good UX is incompatible with telemetry, so they chose to... degrade the UX.
Yeah, playing with keyboard it would be hard to be precise enough and fast enough. i'll work on that thought.
Oh I'm pretty sure that will be the next step, given the direction we're moving in and the lack of common sense and responsibility on display.

I see GenAI as a stop gap solution at best, not really optimal for any problems; and AGI is a major distraction from finding good solutions to important problems.

The wild goose chase to apply GenAI to everything has serious consequences.

People are so excited about the fact that a computer can sort of drive a car that they don't even stop to consider that a human driver that randomly fails the same way would never get a license, and rightly so.

So excited about the fact that a computer can sort of write functional code that they don't stop to consider that any human developer that fails randomly the same way would never get a job, and rightly so.

We're already applying it to weapons/warfare, which is obviously a very bad idea.

I'm sure the technology will improve, but never to the point where it's reliable. It will fail randomly less often, but the magnitude of its failures isn't going anywhere.
I agree (problem for satellites), but then I wondered if you could dissipate the heat into the ground in a large area.
I really don't like treating these sorts of questions as relevant. LLMs don't see letters at all, so why are we testing them on that? It's the "strawberry" thing all over again.