skysight-inc/HackerNews huggingface dataset:
Looking forward to more affordable options (sub $3k) for home use with a reasonably easy editing workflow. Canon's offering is clunky, and other options are "prosumer" with shoddy tech support.
Computing has become substantially cheaper and more accessible in the past couple decades. Can the legal industry make any such claims? Is it faster and more efficient to use the judicial system than it was in the 90s, 2000s? Why is the NY bar one of the hardest in the nation? Couldn't have anything to do with all the biglaw and money to be made in the city, no?
I think distributing a stand-alone application is beyond most any beginner level needs. They want to share, sure; but with a much more limited audience.

Not that I wouldn't love the same, mind you. I think a lot of toolkits and compilers make the mistake of trying to be universally distributable. Regardless of how much effort that happens to be.
> Now that types and tools are advancing, static Lisps are feasible, and I love that.

Haven't that been feasible for a pretty long time already? Judging by how well-received (or not) they've been, it seems there isn't much demand for it. Things like clojure.spec and alike (compile-time + run-time typing) seems much more popular, but isn't static.
> Ever since, I always go to the wake/funeral.

I was going to add a top-level comment adding that there's a bit of nuance here between _the wake_ (calling hours, as the author puts it) and _the funeral_.

I actually have a similar regret about not attending the _funeral_ for a friend's mother, although I did attend the wake. In retrospect, I absolutely should have gone to the funeral but, at least in the US, the expectations around who should attend _the funeral_ vary between religions/backgrounds/etc. and it can sometimes be hard to tell what the most appropriate move is. This is especially true if you're no longer/not very close to the family in question. Some families want _the funeral_ to be a more intimate, private affair and will sometimes even mention that it will be in the announcement.

But, to your and the author's point, I think as a general rule, _going_ is the better bet.
Very timely post/update, was just checking out your product. IMO it is one of the best solutions I've looked at. Appreciate your dedication to self hosting, for us it's not really practical to have traces with potentially sensitive customer data sitting around on some external company's server somewhere (no offense).
Well, that's how embedded computers are meant to be used, just like everything before the Internet.
I've been studying pseudo-legal theories (https://en.wikipedia.org/wiki/Pseudolaw) since before they were called pseudo-legal theories and when I first got into it I was calling it legal spellcasting for exactly this reason: people seem to think that because things with the force of law sound arcane and use a lot of old grammatical constructs that means that things that sound arcane and use a lot of old grammatical constructs are things with the force of law. The thing is, in a way they're right: there are certain phrases that carry legal force. "I am invoking my right to remain silent", "I don't consent to a search", "I want a lawyer", but not, and this is part of where it really starts to feel like spellcasting, "why don’t you just give me a lawyer dog" (https://slate.com/news-and-politics/2017/10/suspect-asks-for...). It's an opaque system understood only by a learned few but with incredible bearing on everyday life for those outside the legal literati. There are magic words that, if invoked correctly, can thwart an army in their tracks and give you the power to compel people to carry out your will but if invoked incorrectly can lead to your utter destruction. Does that sound like sorcery to you? Because it does to a lot of people, and a lot of unscrupulous actors are writing and selling false grimoires to people that promise a set of magic words that will increase their power.

"I'm not driving, I'm travelling" is a spell that will protect you from highwaymen who wish to extort you for using your car

Put your index finger on the top of your head, spin around 3 times counterclockwise, say "I assert my natural personhood as a freeman-upon-the-land" and burn your driver's license. That's a ritual to avoid paying taxes.

Of course none of it works. But it feels like things that work. Also our legal system is so inconsistent and there's so much leeway in what to charge and how to charge it that sometimes it does actually work, or at least seems to. So you read about the incantations that genuinely do work, then you read about the ones that people claim work and that will give you the legal equivalent to superpowers, then you get pulled over and try invoking your right to travel under the uniform commercial code as a sovereign citizen. The cop was gonna let you go anyway, you just had a blinker out, and now he's baffled by your bullshit and doesn't feel like dealing with it so he gives you a verbal warning and you go home thinking "Wow, I actually backed that cop down. This stuff does really work. Amazing."
> It’s always so hard to describe “next Wednesday” if it’s Monday

'Next Wednesday' is always the Wednesday of the calendar week following the current calendar week; doesn't matter what day of the week it currently is. 'This Wednesday' is always the Wednesday of current week on the calendar— even if that day is in the past.

Is it quirky that this expression doesn't instead mean 'the next Wednesday that will occur'? Yes, definitely. But I don't see how it's difficult to describe what it actually does mean.

> I stopped saying “this <day>” or “next <day>” and now just say “Wednesday the 25th” for instance.

I love this. Indexicals in general can be tricky, and I love expressions that rely less or very little at all on context. Sometimes when a friend is telling a complicated story I'll ask them to repeat something tbey just said but with no use of pronouns, for instance, and it always makes interpretation much easier.

As much as I think the actual idioms are perfectly describable, they are somewhat prominently misused. One of my pet peeves is how YouTube's search filters uses its time restriction phrases incorrectly: it says 'today' to mean 'within the past 24 hours', 'this week' to mean 'within the past week', 'this year' to mean 'within the past year', etc. It's Tuesday, and when I search for videos with an upload date from 'this week', I get results including videos uploaded 4 days ago, but this week is not yet 4 days old under any standard convention (e.g., starting the week on Mondays rather than Sundays)... -_-
This is correct. If 50 cases interpret and define the word "includes" in a contract, and you decide to use the word "comprises," you may end up burning time and money in court and negotiations.
Which was all just to sit at the table for a chance at massive success.

Nobody sees the extensive graveyard of massive time sink projects that got no traction and went nowhere. Even if they would have been big had they caught on.
OpenAI Sub-processor List (Effective on January 9, 2025)
Equal parts cool and informative. Thanks for sharing! I've learned a lot.
Did they build the engine from scratch? 114975 man hours on a 2D game is unthinkable!
That makes sense. It just barely post-dates my experiences.
This sounds nice, but it also sounds like a ton of work to set up we don't have time for. Local models that don't require us to send our codebase to Microsoft or OpenAI would be something I'm sure we'd be willing to try out.

I'd love it if more companies were actually considering real engineering needs to provide products in this space. Until then, I have yet to see any compelling evidence that the current chatbot models can consistently produce anything useful for my particular work other than the occasional SQL query.
While this looks hard, the FSF has long ago provided us with a solution.

The preferred form to make modifications on.
Since this has been updated with a link to info about the “barred from expansion” that was referenced, note that the arricle with actual detail notes that it was an “up to 120 days” suspension by CPUC in February of this year (which would have expired in June at the latest), but CPUC actually approved a major expansion in March (and, after a challenge to that decision and demand for a rehearing, approved it again on a rehearing in June.) [0]

So, the idea that they are fleeing to Japan because they’be faced some kind of permanent, or even significant, barrier to expansion in California is wildly incompatible with the facts.

> How are things going in Arizona? So badly they pulled their fleet (before state regulators could) and a federal investigation was announced right after:

They didn’t pull their fleet, and the article you posted to support this doesn't say they did. It says they did a safety recall to fix an apparent software error; the service is still in operation, and the implication that they ran away in fear of state regulatory action is as baseless as the idea that they have been blocked from further expansion in California. For someone who is accusing everyone who disagrees with you of being an astroturfer or dupe of Waymo propaganda, you seem to be very fond of promoting arguments that twist what is in the notionally-supporting sources to the limit of what would be plausible taking them entirely out of context,and which rely on ignoring every other piece of information ine existence, as if you were not presenting good faith arguments but desperately constructing anti-Waymo propaganda of the same type you accuse your opponents of doing in support of Waymo.

[0] https://www.autobodynews.com/news/california-commission-appr...
This feels very similar to the register used on placards in contemporary art museums to me so I don't think there's reason to suspect an LLM.
A certain fraction of this website's user base are, and always have been, basically Quark from DS9. Some really bizarre attitudes to women.
Pieter Levels is creating the kind of software I’ve always dreamed of building: https://www.youtube.com/watch?v=oFtjKbXKqbg
> There's no reason for HP to profit by keeping you from using an alternative ink supplier, not even for one second.

Wait till you hear what car companies have in mind.
You’re not wrong, but I think you’re presenting this as a dichotomy when there’s a lot of value to be had between the two extremes (passkeys all the way or passwords all the way).

The big benefit to a passkey for a service provider is that when you see a user using one, you can assert things about that session—that this is the users device, that the session isn’t likely to be spoofed, etc. These are useful things to know if you want to implement any kind of context-aware access!

Passkeys certainly aren’t a silver bullet, and I don’t think they’re really marketed or implemented well a lot of the time, but I’d caution against writing off the tech as a whole .
After Windows, Stardew Valley was ported to consoles by other companies, like Chucklefish, Sickhead Games, and The Secret Police (not dev work but console Q&A was handled by others too, as was localization).

Barone is still a beast, just making sure the "one guy did the whole thing" thing has some nuance.
I'm almost 60 and have only been to a handful of funerals. One or two as a kid for my grandparents who I don't even really remember, one in high school for a friend, and a few other relatives and friends on my wife's side of the family.
Couple of points:

- irrefutable is "cannot be denied or disproven" - it means absolutely proven. Very different from untestable (which means you can't verify or prove it).

This is precisely the distinction we've been calling out from the original - it's a demonstration that works for some cases. The diagrams fail as a proof because they can be refuted by the negative/0 cases where they don't work.

- testing or verifying with a set of data is also very different from a proof. This "checking" or "demonstrating" provides some assurance of correctness or utility for the test domain.

- demonstrating and checking against known facts is not sufficient for a proof - "I've tested my division function for millions of positive and negative integers and real numbers! I even verify by multiplying the quotient by the divisor and I've proven it is correct!" did you happen to test a divisor of 0? (dividing by 0 can also invalidate proof attempts that do not exclude 0 as a divisor)

It needs to be proven to hold for all cases, not just a sampling of cases (though it is valid to define the range of a proof - the example could have stated, "this is a proof of the equation for positive values of a and b, and were b < a" maybe that could constitute a visual proof for that domain?)
this price point is straight delusional imo
last time i used it, the keybindings were really buggy and I found myself falling back on my mouse much more often than I expected to.
Whole system.
Thanks for the suggestion - I don't have ADHD.
Good luck though as it might become challenging at times!
How do you log in anywhere without a computer? You have a wifi receiver implanted in your head?
I was hoping that someone had created a ruleset and prop reproduction of the 'chess' of the dune universe 'cheops'. The prop from dune 2 is so great but barely seen on screen: https://dune.fandom.com/wiki/Cheops?file=Cheops_chess_game_c...

It's got a nice 'go' feel especially with the bowls of pieces, that engraved board is great.. just a great prop. Big ups to the production designers.
> While almost everybody including me shares this perference maybe it should be something that browsers could do? After all why put the burden on countless various websites if you can implement it in a single piece of software?

If I recall correctly, Apple tried to do that and it (rightly) elicited howls of outrage. What you're asking for is for people's own computers to spy on them on behalf of the authorities. It's like having people install CCTV cameras their own homes so the police can make sure they're not doing anything illegal. It's literally Big Brother stuff. Maybe it would only be used for sympathetic purposes at first, but once the infrastructure is built, it would be a tempting thing for the authorities to abuse (or just use for goals that are not universally accepted, like banning all pornography).
> plus LOBs which are almost always web apps these days.

And this is where Linux won over MS - it wasn't on the desktop (which is still a mostly terrible experience to this day), but in the server room.

Coupled with Java or Perl and OSS Databases (MySQL and Postgres), people began moving software off the desktop and onto websites. Better web browsers (something else MS tried to dominate and were rebuffed) also helped. This cut MS out of the loop on new popular web servers (apache), protocols, languages and infrastructure - probably deliberately. This then allowed alternative platforms like the new iPhone and later android to gain a niche which they've since expanded massively.

I think people saw the monoculture that was developing around Windows (from days of XP onwards), and didn't like it, so actively sought to make their own path, Linux became was keystone there (could have been BSD though also...).
>
I also think lawyers don't find it worth optimising the language much, because the target audience is other lawyers who know all the incantations anyway.

The target audience is both lawyers and laymen. Every lawyer and politician who claims that it is not worth optimizing this also claims that they don't want ordinary citizens to be capable of obeying the law.

Tell this to every politican that if they don't work brutally hard on changing this fact they don't want ordinary citizens to be capable of obeying the law, and that they are thus (in the view of the ordinary citizen) working on to establish a arbitrary justice. Thus, they work on destroying (in the view of the ordinary constitutional state) on actively destroying the constitutional state. So, what makes these politicians and lawyers than differ from a despicable high traitor?
> Delete bad code. Replace with good code

Your points are valid but there's also the issue that the more developers you have the more communication overhead there is, which makes large changes to the codebase hard/impossible.

With a handful of devs you can jump on a call, brainstorm for an hour or two and come to a mutual agreement, then one can submit a several-thousand-line PR refactoring the whole thing and nobody would bat an eye.

This kind of coordination is impossible in larger teams, if anything just because everyone is busy and can't afford to spend a couple hours brainstorming + subsequently get acquainted with the new code, but also because the more people the more opinions and mismatched incentives (bad or overly complex code might imply busywork which some people thrive on, so refactoring it to no longer require said busywork is a downside in their eyes).
>Are there any other products with such a small team and a huge userbase?

Tons of FOSS projects.

See the entire JiaTan fiasco.
The Trolley Problem! Kill the skateboarder who fell or the driver in adjacent car. Establish a situation where hard breaking is not safely possible. Make the AI choose. Not jokingly, the choices in such scenarios should be disclosed.
Finding hope: Panji and the Javan green magpie
I think there's a reasonable middle ground here. I would think it's fine for them to keep their algorithms closed-source, but be required to opensource the minimum amount of firmware to allow access to all of the hardware: bootloader, CPU, storage, memory, display, and sensors.

No need to reveal any trade secrets at all. The above stuff is not the secret sauce that makes people buy their watches anyway: they use some of the most basic hardware in the market at their price point.
>> Birthright citizenship is relatively unambiguous

> And yet it is currently a topic of debate.

Its constitutionality and meaning are not under debate. It is quite clear.

There's a debate about repealing it, which would require a new amendment.

But there's no serious debate about the existing amendment's interpretation.
Black Myth Wukong Dev CEO Wrote Game of the Year Acceptance Speech Two Years Ago
The Animatronic Menagerie
Are we forgetting the part where they colonized Korea, China, and most of the South Pacific?
Hilarious! But even on DS9, there was room for a Quark.
> If I managed to write software that competed with Garmin on their own watches, so be it. That's fair competition

I worked on a line of products that allowed user modifications of the software. We didn’t explicitly endorse it, but we also had instructions on the website for how to get into the hardware and we designed it so users could modify things and persist their changes.

It was fun to see what people did with the hardware, but the volume of support requests was also out of control after a while.

Companies wouldn’t actually care if you created alternate software for something like a watch if there was no downside to them. It would sell more hardware to people who wanted to customize.

The problem comes later, when many people casually modify their devices and then expect original customer service to get it back to the original state. You can try to place rules on customer support, but customers will lie through their teeth to customer support if they think it will get them what they want. We would get people demanding RMA replacements because their device “mysteriously” stopped working, then when engineering did random sampling of RMAs we would find that they had modified the software and didn’t know they could hard reset it.

It’s a real problem. HN imagines the average person who modifies hardware to be highly knowledgeable and self sufficient. In the real world it’s usually someone following an outdated guide online where they copy and paste different commands until something works. Those same people are the first to try to return the product or request customer support when it doesn’t work perfectly.

Prusa (IIRC) had an interesting solution where you had to break off a physical piece to void your warranty in order to try different firmware. People were up in arms about it, but I think it was the smartest way to handle this conundrum.
I do wish that she could have more of an in-person social life, but spending most of the day staring at a screen is clearly doing her less harm than the spirit-crushing environment of aggression and unpredictable violence she was dealing with at school. A fair bit of what she's doing with that screen involves socializing with other kids, anyway.

My own background leads me to believe that people overestimate the value of the social skills one must learn in order to thrive among large, artificially age-segregated groups of barely-monitored children, who know nothing and are apt to hurt each other: an environment unlike anything we experience in adulthood. Eventually one must learn - from adults! - how to behave like an adult, after all, and those are the skills which actually matter in the long run.
It's only work if your sustenance depends on it, or if you bet on it to make it big, if you need to be compensated for it.

Otherwise it's a hobby, and enjoying your hobby 10 hours a day, 7 days a week is an envious life, if you can afford it. (Barone specifically could not; he had to have a part-time job as an usher in a theater; that was work.)
$249 is a pretty not bad price!

It's hard to square & compare the numbers versus other offerings. The XDNA engine on AMD's Strix Point APU can do 50 TFlOps INT8, so the 67tflops here isn't vastly higher. But XDNA is a pretty limited setup, for inference only really.

The iGPU on Strix Point can do 9tflops of good old fp32. Unsure what the TFlOps drops to on the new Jetson here as it goes from INT8->FP32. But probably still has a very healthy lead.

It does make the ~$120 ARM SBC out there look a little silly. Six A78 cores is way better than we can get elsewhere. And then with colossal memory bandwidth and a huge GPU. It lacks the CPU (and power efficiency) to compete with Qualcomm's mobile oriented Snapdragon X Elite fully, but would be a very interesting possible daily driver desktop.

Pretty middling io options. Single DisplayPort 1.2. 6x lanes of PCIe. 1Gbe. 4k60 decode but no video encode. Very curious if 7-25W power implies it idles at 7W; that feels like a lot to me.
Speaking as a non-lawyer who works in the legal industry, I question the idea that legalese is generally more precise and unambiguous. From what I've seen the purpose of a lot of these legal incantations is actually to be more vague.

This isn't necessarily a bad thing. A more precisely worded contract, for example, is arguably more likely to have unambiguous loopholes that people can abuse without you being able to easily fight back. The well-known reductio ad absurdum of this phenomenon is Etherium smart contracts.

You see this in laws, too. The US's Federal Rules of Civil Procedure and associated case law, for example, contain all sorts of explicit refusals to say things more precisely. The stated rationale, here, is that it's impossible for the people drafting these rules to anticipate every possible situation and contingency, and instead they must trust that reasonable attorneys and judges are able sort things out in the course of litigation.
There’s a reason Meta is pouring so much into VR/AR…
Who said they would be on the moon? We’re surrounded by computers we can borrow all the time.
He wrote it in C# and used XNA for some stuff, but the engine itself is custom[1]

[1] https://community.playstarbound.com/threads/game-development...
I think I’ve taken some considerable career hits for that kind of attitude, but mostly no regrets here either. But I think I was affected by how, once you leave that company, your contribution to the effort can seem kind of gone, gone gone. That’s part of why I came back to trying to create a physical invention that someone might care about. Something for the grandkid to put on his mantlepiece and say “my granddaddy made this and patented it and (hopefully) it was the start of his big company.”
But it looked cool at the time ;)