skysight-inc/HackerNews huggingface dataset:
Bcachefs: More expensive on disk format upgrades
The very first rudimentary standalone example:

(define (main) (display "Hello world\n"))

Doesn't compile, but instead gives error:

Error: main: global variable `scheme#display' has unknown type
> Yes, that's why I brought it up. We have teaching technology that works (textbooks) if you're motivated enough to put in the effort required, but insofar as learning requires effort and effort is demotivating, most people will gravitate towards the solution that demands the least effort (and provides the least learning) without being obviously useless.

That’s wrong.

Duolingo sucks. So does the conventional textbook approach. People can go through years of the conventional textbook approach and learn nothing. I certainly did.

The litmus test for learning isn’t how much effort it requires and how much it demotivates you.

The school of thought where language input with sufficient comprehension is emphasized has already worked for all those people who learned English as an nth language by playing video games, watching movies and Netflix, and without grinding through books.

And compared to that? Duolingo looks much more like the conventional approach if you look past the insipid gamification and toddler-level "the boy drinks water and sits on an apple".
"NVIDIA Ampere architecture with 1024 CUDA cores and 32 tensor cores" from their site. Not sure I understand how many Gigs of gpu memory that is?
Ruby on Rails community is so lucky to have Nadia
Technically yes, we can say that all graphical editors rely on linear algebra for various purposes. It's just that not all of the problems are obvious to anyone who starts developing something like this. That is why I decided to share some of the challenges I had encountered from a math perspective. I guess the main point I wanted to make is how matrices simplified the calculations for me even though I already used linear algebra.

Also another point is that, if you rely on SVG for rendering you could get away with just the code without thinking too much about the math involved. For instance if I wouldn't have introduced object hierarchy, I wouldn't even have to bother with math at all. SVG can take care of all the transformations, I wouldn't even have to know that matrices exist and that I could use them in svg objects 1-on-1. Dragging an object without a hierarchy would also propably be much easier, all I had to do is to change the translate(x,y) inside of the svg transform attribute.
Omegle was widely known to be full of underage children and overage child sexual predators.

If I designed a site for 14-year-old girls to sext with 30-year-old men it would be rightfully shut down.

If I designed a site as a fun chat site but becomes in actual reality it became a sexting site for 14-year-old girls with adult men, should it be shut down?
There's this one part of the chase where Spielberg does this absurd minutes long one shot take including a 360 pan that would be impossible with live action. It's proof that we aren't awe-inspired by verisimilitude, but by audacity.

Here's a video of some of Spielberg's best one shot takes from the Every Frame a Painting channel: https://vimeo.com/94684923
Microsoft's interesting approach here with Authenticator is that they don't expect you to trust one cloud with all your credentials, they are hoping that you can trust two clouds with partial information. They've (allegedly) got some variant of Shamir's Sharing where some of the data is encrypted in OneDrive and some of it is encrypted in iCloud or Google Drive depending on which phone you use. That's (supposed to be) why there is that "phone-type lock-in" on the automatic backups/transfers because the cloud with the most phone-native/device-specific encryption is phone-vendor dependent today.
Indeed, factory reset in the phone settings will reset your progress.
> engineers have the hardest time working with law because they expect things to be logical

This sounds like something a lawyer would say to a client who wants to think that. Law and coding have remarkable parallels.
Maybe on a particular model/dataset but extremely unlikely in general. Again, like another commenter pointed out: if you truly believe it isn't that hard we would love to hire you at Meta ;)
The talks are all indexed manually and are stored in yaml files, see: https://github.com/adrienpoly/rubyvideo/tree/main/data.

We are just embedding the video using vlite.js and the YouTube Video ID (which is just embedding an official iframe in the end). So there isn't really an account to "shut down", unless I'm missing something.
I experimented with Programmatic SEO and get instant traction
People love to blame government regulations for consumer preferences that go against their own.

Consumers want larger vehicles, and manufactures bend the rules to allow for such vehicles to be more easily build. Manufactures write the laws, after all. CAFE allows for SUVs and other "light trucks" to get worse fuel economy than a car. Since fuel economy allowances are based on vehicle footprint, and its easier to make a car larger than it is to improve fuel economy.
> If a law were to state clearly "our intent is to prevent people from falling off tall buildings" and then specifying building code, then any ambiguities in implementation or new materials or new methods could be addressed by referencing the intent

This is how American laws are usually written. Courts even venture into the debate records to discern intent.
Okay, but as soon as you need to do the same thing in [programming language you don't know], then it's not easier for you to write the code anymore, even though you understand the problem domain just as well.

Now, understand that most people don't have the same grasp of [your programming language] that you have, so it's probably not easier for them to write it.
It seems like we do that not only with tax law in the US, but with every other law, too.
My initial counterargument was going to bring up that Garmin example GP added, since largely the same valuable code is likely shared across many devices.

Reflecting further though, the harm of a manufacturer crippling a physical device does seem worth guarding against regardless, and if the code is really that valuable then such a law might encourage longer support lifetimes (or, at the very least, not crippling a perfectly good piece of hardware).
it does make it story more interesting tho
You should write a book on this stuff.
Interesting. Can you suggest one or two in particular? I'd be curious about that code.

And yes, I'm talking about autocoding of an embedded controller. Which also means the C code has to be ready for that (hard real time, carefully controlled calls to libraries, no heap allocation, etc.)

Right now Simulink embedded coder can be (and is) used to generate production code for all sorts of aerospace vehicles (rockets/spacecraft/drones/etc). The moment any Modelica tool can be used like this I'll take a very serious look.

This renews my interest in Modelica...
I think this is the crux of the problem, case law exists to help 'refine' and 'classify' a case ie. a crutch for an incomplete specification (the actual law). The 'workflow' is that the judgement on the current case informs the next ones and so on.

I'd prefer it if previous cases had a bearing on rewriting/amending laws, rather than influencing a current case, and if the feeling is that a current judgement was not correct, rewrite/refine the law taking the case into account.

That way a judgement does not require previous case research, this does mean that law needs to become a more well specified, and unambiguous language. We have decades of classification and computer language theory to draw from, and LLMs to stub-translate existing law, with exceptions going to a dead-letter-queue for individual appraisal.

Law should be understandable by the layman, else how does someone know if they have broken it?
I just checked the Croatian version and it has a total of 5 things listed for sale and 3 jobs.

Needless to say, there's a far more popular local alternative that basically every person in Croatia knows about (njuskalo.hr).
No, they wouldn't, nor is this some kind of secret trick as you seem to be implying. This is a fairly common practice sometimes called "judge shopping" similar to "forum shopping" (where you try to get your case moved to the jurisdiction most friendly to your claim). It's not illegal, though it is (in theory) discouraged. As an example, if you're not familiar, look up the Eastern District of Texas and patent litigation.
Eric Barone as a one man team built, designed, animated, wrote, and composed the entire game of Stardew Valley by himself.

The game sold over 30 million copies and had an all time high of over 230K concurrent players at one point earlier this year.
Building an Open, Multi-Engine Data Lakehouse with S3 and Python
Have you tried new languages or niche languages with claude sonnet 3.5? I think if you give it docs with enough examples, it might do ok. Examples are crucial. I’ve seen it do well with CLI flags and arguments when given docs, which is a somewhat similar challenge.

That said, you’re right of course that it will do better when there’s more training data.
so a privacy-invading law was voted down because of public sentiment and this is the system failing to work?
Can't you elect to have an LLC treated as a corporation for tax purposes, or am I mistaken?
Tracking launch weeks across the industry for product discovery and inspiration
Show HN: A Directory of 500 HN Side Projects
I loved this recent "Show and Tell" thread about side projects posted on HN: https://news.ycombinator.com/item?id=42373343

It inspired me to build a mini directory that aggregates over 500 side projects posted to HN since 2017. You can filter by year, category, or revenue level.

Thank you Cursor + Next.js for making this insanely fun to build. Hopefully you discover hidden gems or find inspiration in what the HN community is creating. Happy browsing!
Im talking about that ACA 85/15% rule. Health insurers must spend 85% of premiums on payouts or return funds to the insured.
Delineated continuations might help
It took me a while to migrate (you upload a CSV and it can take a few days to process it) but now I'm happy with it and a paid subscriber.

I won't say that it's great, there's a few things that annoys me, but it sure is better than GoodReads already and improvements are regularly added.
Who checks to see if the LLM swallowed it or not?
The record breaking ones are often vanity projects first and built with profitability in mind second.

They're so big they are hard to fill; their architecture and floor plans are built with potential tenants as an afterthought; and because they are built at high cost, their mortgages demand premium rents that may be out of line with the general office market.

---

You build a vanity skyscraper against the cycle at your own peril. The downfall of Sears is sometimes correlated with the opening of the Sears Tower in the '70s.
How to Configure Instance Templates in K8s
so you want the title to be one man dev team which is composed by one woman? this is conservative wokeness
The price is interesting. What I don't like about these devices is that they are supported for a few years and after you are on your on. I have the original Jetson Nano and they stopped providing any updates for it, if you can use it without an internet connection it will work just fine for years.
AI use case inventory of the US federal government broken down by department
That's the number of processing cores. Memory is 8 GB of LPDDR5 at 102 GB/s. Datasheet here: https://nvdam.widen.net/s/zkfqjmtds2/jetson-orin-datasheet-n...

50% of the performance increase seems to come from the memory bandwidth increase and the other 20% from the extra 10 Watts to boost clocks with (15W -> 25W).
Makes sense! Sounds like an easy fix.

But just from a practical consumer perspective. I want to know more about what the tube and power cable connect to. Since this is designed to be a new novel "compact" espresso machine, I would have higher standards in that regard compared to more conventional machines.
I was going to write this at the top level because I hadn't seen anyone make this point yet:

The thing that made me sad about this article is that it made me realize how lacking I am in community. My eldest child is six, and I can't think of more than a couple people who are likely to pass from natural causes by the time she is sixteen, who we are close enough with to definitely know about their funeral. And I have no idea how we would find out about the funerals of people we aren't so close to. It's not like there is a local paper with obituaries that we read...

Of course the elephant in the room is that when I was a kid, the coordinating organization for this was my family's church. Without having that community fixture, I find myself unsure how this sort of thing actually works.
load_async is still concurrency, but not parallelism. The queries themselves can run parallel, but when materializing AR objects e.g., only one thread can run at a time. A greedy thread in process will still subject you to GVL waits
Flappy Bird had 50m+ installs.
I'm a monster, I see code that's been commented out for more than 2 months or so and nuke it unless I know it's needed. We have Git, it'll be fiiine
But what would the car choose if there was no room to the left? Would it choose to hit a car next to it, or hit the person?

I'm curious how no-win scenarios are programmed into it and decided.

I'll admit I have not done any research into this and I am sure I could.
Cutting edge technology solves a problem that shouldn't even exist in the first place episode 376: bicycle infrastructure edition

PS: it's an rental e-scooter, not a skateboard, another product of our piss poor infrastructure
Realizing a day later that I misspoke in the first sentence. "Efficient market hypothesis" is something else; I should have said something like "idea that freer markets are more efficient".
You've obviously never had the government show up at your door saying these words.
I find there’s a similar hidden alternate semantic reality for business reviews. “Rustic” means the building is falling apart. “Bustling” means it’s impossible to find a seat. “Wholesome” means there’s no professional standards or consistency.

It’s always an y in under-emphasis. It’s like two generations of reviewers ago, there were a bunch of defamation lawsuits and every reviewer has mimicked this style since.
Ah now I get it, yes you're right, they behave the same.

Ironically, just today I read that in the next release they will add some JSON annotation to distinguish nil slices (omitzero): https://tip.golang.org/doc/go1.24
Explaining password managers like the browsers' or 1password is easier than explaining passkeys. At least with password managers, you can export the whole database when switching platforms.
Things are the way they are. Sometimes you can’t be rational about things.
> FreeBSD CD set came with additional CDs of their ports collection. No more downloading via my flaky and very slow phone connection (via kermit).

You just had to endlessly swap between the different CDs because the dependency resolution wasn't very smart about that. Fun stuff :-)
> if a law cannot be understood by a 9th grader, then one might argue it is mal-specified

You want to administer nuclear weapons, the U.S. military and toxic-waste rules based on a high-school freshman’s knowledge of the world?
Terrible software engineers sent you terrible code. A good software engineer will obviously send you good quality code, whether he used AI for that is impossible to tell on your end.
For Stardew Valley, that's 30m copies after 4 and a half years of unpaid, 10 hour a day, 7 days a week work.
In this example:

from langfuse.openai import openai # OpenAI integration

Why do I need to import openai from langfuse?
The family has been relatively selective in sharing his personal notes, mainly because some of his ideas are now out-of-fashion (for example, it’s rumoured that he decided to let Algeria become independent after a bloody independence war, not because of the cost of the war but because demographers pointed out most French people would be Muslim by the year 2000) but it’s very likely the contents of the notebooks that are historically significant will be public.
Are kids in the US even able to go to school on their own like ours still do in europe?
Good response to Apple silicon eating dev llm. Bc dev is the first step to domination
But you often have to wait 10 minutes for someone to show up at the cash register or to let you beg for a refill

https://www.cnn.com/2023/09/12/business/mcdonalds-self-serve...
> I think that’s ok?

Oh yeah. That's a reasonable tradeoff.

Just aziaziazi's comment made it sound like the only aspect where distinguisability matters is the colour. So I pointed out that I don't have a problem telling the sides apart, while have more of a problem distinguishing the piece's type.

But as you say this is a decorative chess set, and in that regard I think it is a very sucesfull one.
> still hallucinates standard-library types and methods more-often-than-not whenever I ask it to generate code for me

Not an argument, unsolicited advice: my guess is you are asking it to do too much work at once. Make much smaller changes. Try to ask for as roughly much as you would put into one git commit (per best practices)-- for me that's usually editing a dozen or less lines of code.

> Once a project grows past hundreds of KB of significant source I honestly don’t know how us humans are meant to get LLMs to work on them. Please educate me.

https://github.com/Aider-AI/aider

Edit: The author of aider puts the percentage of the code written by LLMs for each release. It's been 70%+. But some problems are still easier to handle yourself. https://github.com/Aider-AI/aider/releases
Yup and trying to hack your OG jetson Nano to a later linux is very hard due to proprietary linux / nvidia firmware/drivers. Its not a matter of your are on your own for OS upgrades, it straight up wont even be able to use the GPU for cuda. Pretty annoying.
Arguably you never really needed a SWE for those use cases, SWEs are for bespoke systems with specific constraints or esoteric platforms.

"That guy who can barely glue together a couple of pages" was never going to provide much value as a developer, the lunches you describe were already eaten: LLMs are just the latest branding for selling solutions to those "crap jobs".
I seem to have a problem understanding "acausal". Is its meaning "not causal"? To me that wouldn't make much sense and sounds like another buzzword. The software still runs inside a computer. Everything inside of it is causal. And nust because the compiler decides in what order to do what, that also doesn't make it not causal, since surely the compiler follows some well known rules that _cause_ it to decide this way or that way. And surely defining relations _is_ in a way defining the causal ... relations.

So what is really the meaning of "acausal" in this context?
NAL but I have written legal database software, and helped to get a few bills passed. Codified laws are "full" printings that include new laws that were passed, and laws that were explicitly repealed.

This is not the whole scope though: perhaps a court opinion invalidated some law but the legislature hasn't gotten around to removing it. Or perhaps some new interpretation keeps means a law's applicability has changed (this happens a lot with laws that are pre-internet).

Sometimes there are old laws that were superseded but never repealed due to obviousness: Laws allowing redlining, penalties for witchcraft, that sort of thing. Though that's more likely at the local level than state.

Just looking up the laws on the books is not _that_ helpful to knowing is a specific part applies to you.

PS: Laws are generally codified yearly in the US, except the feds who do it a few times a year. States have 'session laws' that are a running collection. These are a pain to 'merge' into the laws, hence Lexis and West having big budgets and large work forces doing it.
I owned a website with over a million users.

Used cloudflare and a $20 cloud instance to run it. Also relied on certain other CDNs.

Don’t own it anymore, but considering starting a new project.
Tech debt is a function of your code base, it's age, team turnover and number of pivots. Many factors to consider but I'll focus on pivots.

You can't plan for a pivot because it's a known unknown. The same way you can't plan for a specific financial event in the market but you can brace yourself for a category of scenarios. Even with that, you can't predict the impact or the appropriate response your business needs to take.

In the same way so is the pivot. The nature of the pivot is the market revealing the debt you didn't know you had. The magnitude of that readjustment to the market, in the time it has to happen and the time to the next pivot is unknowable because it's information not present at design time.
Amazon don’t even properly maintain their Prime Video app for TVs. It’s so bad on my good LG TV that I gave up waiting three seconds for button presses to register while trying to start watching their billion dollar show they kept urging me to watch.
> where both sides argued over the language but the settlement did not alter the law, so I would have to litigate when push came to shove.

It does not matter what the law says, you always have to litigate if you want to force another party to do what you want. If the law says it and they don't do it, you have to. If case law confirms it and they don't do it, you also have to. Commonly referred to as the 90% of the law: they have what's yours, but it's up to you to put in the effort to prove it and get anything back at all

Judges never alter law made by the legislator, in any (trias politica) legal system that I know of (Netherlands mainly, but also what I read of UK law and friends), but in all of the aforementioned: the case law is an important aspect of your obligations and rights. One refers to it as basically equal to law, but it doesn't alter the law itself
> I'm curious how no-win scenarios are programmed into it and decided.

I hope the pedestrians always have the highest priority, but then what if there are two of them... Soon they'll use bluetooth to pull your net worth from your apple watch and steer towards the smallest number.
>The big difference is that China hoovers up a lot of information from cheap security cams and online appliances in the West, and I'm fairly sure the West doesn't do that to China.

why?
> I wouldn't expect my interests to prime over the general interest

If Charles taught anything to anyone listening, his children, troops, voters, or readers, it would be precisely that.
I'm doing USB passthrough for Z Wave right now and it's trivial. Just bind a volume to the device file.

Maybe Zigbee is different for some reason?
Has never been true in my experience, almost all programming can be done without any mathematics. Of course very specific things do require mathematics, but they are uncommon and often solved by specialists.

Btw. I come from a math background and later went into programming.
> he couldn't comprehend that someone would just want to point at a paragraph and asks "is this still a law?"

What are you pointing at? If it’s in the code, it’s a law. If you’re reading a random bill from who knows when, no, there isn’t an easy answer, it would be like pulling a random git commit and asking what has been rewritten.
To some extent, but in my experience developers struggle to understand that ultimately, the law is interpreted by humans, instead of a strict rule based system. I understand this frustration, to be clear, but this distinction is obvious.
A Continuing Struggle to Reform Payday Lending
The specs on this look identical to the Orin Nano 8GB. Elsewhere Nvidia says the software updates are available to all Orin owners [1], so is this just a special edition released alongside the new JetPack release?

1: https://blogs.nvidia.com/blog/jetson-generative-ai-supercomp...
I do wonder if he is simply gaming the Turing test now?