skysight-inc/HackerNews huggingface dataset:
My take is that identity doesn't imply mutability, if you version objects. It could well be that your are looking at an old version of an object, using its unique identity combined with its version (number).

Objects refer to other objects using their (immutable) identity. In turn, resolving identities to objects requires (version) scope which can be in the past or present.
I posted this previously, but this, and notebook style output, then flat textfile view would be the sweet spot for universal development. I vasilate between notebooks and vscode to develop most of my projects.
Lean4Lean: Formalizing the type theory of Lean – Mario Carneiro [video]
How does it do with traffic? I was driving with a friend who was using apple maps recently, and I was able to save us from a ~20 minute traffic jam on i5 by just taking an early exit
Congrats on the launch. I've actually been going in a totally separate direction lately, it helps with my focus and ADHD tendencies to jump around and get overwhelmed.

1. One window.
2. Minimal everything.
3. Most importantly, no tree navigation.

If I need to jump to a file, I either use recents menu in Intellij or use file markers to jump to it, means I have to remember the filemarker and have intent to go there (I'm using IdeaVim plugin for vim hotkeys). This, to me, make programming much more focused and pleasurable. This is part of my evolution from multi screen to widesreen and then back to a single screen.

For large and mature codebases like you mention, I just use LLM to guide me around.
This seems extremely good for late employees and extremely bad for early employees / founders? Late employees have no risk and the same reward.
Very positive. On the rare occasion I feel like negative experiences are due to ignorance not malice. It’s easily balanced out by “positive racism”, e.g. some stranger at a bar paying for my beer because he never spoke Japanese with a white guy in his life.

Real racism in Japan is about Chinese and Koreans. Non-Asians make up less than 1% and just aren’t relevant, e.g. racist parties never talk about them in speaker announcements from busses.
Probably not. The dual-core parts are DIE450 (which is shared with some single-core parts like the H750 series!), but STM32H735 is DIE483.
Too late, now that all SEO garbage has already been fed to LLMs. It will be regurgitated for eons.
> Some day, we'll have operating systems that respect it as well.

Qubes OS has been relying on it for many years. My daily driver, can't recommend it enough.
The First Stage of Ukraine's Plan for Crimea Seems Almost Done
The more interesting thing for me is: the crawler didn't detect it on its own that it racked up 10TB from one site in one day.

If I would design a crawler, I'd keep at least some basic form of tracking, if only to check for people deliberately trolling me by delivering me an infinite chain of garbage.
You said “the dumbest stance anyone can take on the planet” in reaction to the literal definition. It’s clearly an emotional reaction that doesn’t have any substance to engage with.
This Theo quote from 18 years ago gets brought up a lot. It's referring to a different era in virtualization (it practically predates KVM, and certainly widespread use of KVM). You can more or less assume he's talking about running things under VMWare.

In the interim:

* The Linux virtualization interface has been standardized --- everything uses the same small KVM interface

* Security research matured and, in particular, mobile device jailbreaking have made the LPE attack surface relevant, so people have audited and fuzzed the living hell out of KVM

* Maximalist C/C++ hypervisors have been replaced by lightweight virtualization, which codebases are generally written in memory-safe Rust.

At the very least, the "nearly full kernel" thing is totally false now; that "extra" kernel (the userland hypervisor) is now probably the most trustworthy component in the whole system.

I would be surprised if even Theo stuck up for that argument today, but if he did, I think he'd probably get rinsed.
We stand a much better chance by investing in public services like transport and healthcare, planning ahead, and not depending on eternal growth. But immigration is just too irresistible for powerful people to juice their quarterly profits.
Shouldn't all sites have some kind of bandwidth / cost limiting in place? Not to say that AI crawlers shouldn't be more careful, but there are always malicious actors on the internet, seems foolish not to have some kind of defense in place
Most parsers don't actually work with "lines" as a unit, those are for user-formatting. Generally the sort of building blocks you are looking for are more along the lines of "until end of expression" or "until end of statement". What defines an "expression" or a "statement" can be very complex depending on the parser and the language you are trying to parse.

In JS, because it is a fun example, "end of statement" is defined in large part by Automatic Semicolon Insertion (ASI), whether or not semicolons even exist in the source input. (Even if you use semicolons regularly in JS, JS will still insert its own semicolons. Semicolons don't protect you from ASI.) ASI is also a useful example because it is an ancient example of a language design intentionally trying to be resilient. Some older JS parsers even would ignore bad statements and continue on the next statement based on ASI determined statement break. We generally like our JS to be much more strict than that today, but early JS was originally built to be a resilient language in some interesting ways.

One place to dive into that directly (in the middle of a deeper context of JS parser theory): https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...
https://en.wikipedia.org/wiki/Smile_mask_syndrome

"Smile mask syndrome ... is a psychological disorder ... in which subjects develop depression and physical illness as a result of prolonged, unnatural smiling.

[Professor] Natsume proposed the disorder after counselling students from the university in his practice and noticing that a number of students had spent so much time faking their smiles that they were unaware that they were smiling even while relating stressful or upsetting experiences to him. Natsume attributes this to the great importance placed on smiling in the Japanese service industry, particularly for young women."

Somebody better give this researcher a call because he's about to get a whole lot more opportunities to gather clinical data.
What's funny is that I learned to debug with breakpoints, stepping, and inspectors. I use printf debugging now because the more experience you get, the easier and faster it becomes. There's a point where it's just a faster tool to validate your mental model than watching values churn in memory.
The Wikipedia entry says Smalltalk was one of it's influences and Joe Armstrong, co-developer of Erlang, mentions message passing as the fundamental aspect of OOP that Erlang gets right.
C'mon you're meant to be re-configuring 3,292,329 line of YML for K8s.

(/s)
I’ve had so many issues with secure boot on my machines causing issues that if I ever saw a secure boot error message I would never think “oh I must have a rootkit”

Instead I would assume, in order

- my config broke it

- OS update broke it

- the bios doesn’t properly handle any case that isn’t “preinstalled OEM windows”

I had a laptop that as far as I could tell, could only boot into windows’ default bootmgr.efi.
I could turn off secure boot, and tamper with that efi to boot Linux, but it refused to acknowledge other boot loaders from within the bios. It wouldn’t surprise me in the slightest if secure boot isn’t properly handled. I’ve had too many issues with cheap computers having janky bioses.
I find the peer-to-peer example odd, because in the context of music sharing, p2p had a very simple, nontechnical purpose: Build something that no business would be interested in building, because they'd immediately be targeted by the MPAA and RIAA. P2P had the pretty clear-cut purposes to allow Napster to reach a massive scale without the technical infrastructure that would have been required for that (and could only have been provided by a company) and to make it immune from being taken down.

So the secondary purpose of P2P was bootstrapping, the primary was to evade the law.

Later, after the music industry learned their lesson, a business like Spotify could emerge that cooperated with content producers. Of course then they didn't need any exotic architecture anymore, because the primary reason for that architecture was gone.
I really don't want executables in PDF files or email. Really, I don't.
TIL about one of the solvents involved, ethyl acetate, and the fact that it is not good for you. How do I know that my local coffee shop's machine is working correctly and provides only safe levels of this solvent?
I feel like the cost of housing along with layoff culture has caused an underlying sense of desperation, software isn’t fun when you’re just trying to avoid being homeless/deported
Writing flash takes (relatively) high voltage and the voltage boosting circuitry could be routed through a switch. It generally isn't, and the voltage converter is often an on-chip charge pump so this wouldn't be an easy retrofit, but the current state of affairs is due entirely to lack of interest rather than lack of possibility.
I think there are a thousand wannabe companies all trying to suck up as much data as they can; not a sustainable situation in any way.
Show me a recent escape from VT-d and then you will have a point.
Because they haven't read the article and this HN discussion?

"Why not just...". Once you already know something it can seem obvious.
Mistral Large, Claude 3.5, GPT-4o, Gemini 1.5 Stack Up in Addition Accuracy
Extraordinarily easy. It's a design goal of the system. I don't want to crud up the thread; this whole "container vs. VM vs. dedicated hardware" debate is dear to my heart. But feel free to drop me a line if you're interested in our take on it.
I'm the author of the post. I understand where you're coming from, but you're missing the nuance I mentioned in the article.

First, many "B2B" products are widely used by individual consumers for personal projects. For example, I've used Canva for family birthday cards and Mailchimp for my family newsletter. Running groups use Slack. Couples use Notion to plan their family calendar.

Second, today's line between "consumer" and "small business" is blurry. Is a YouTuber a consumer or an "aspirational business owner?" What about a freelance writer or a hobby podcaster? The prosumer movement is changing traditional definitions: users often start as consumers and evolve into businesses over time.

Third, the traditional B2B attributes (long sales cycles, demos, etc.) often don't apply to modern, self-serve software products. The buying process looks more like B2C: individual buyers with a credit card decide what to buy based on personal preference, brand, friendship groups, etc.

Finally, how useful is it to use the term "B2B" when it describes a solo freelancer buying project management software or a Fortune 500 company investing in enterprise-wide solutions? Are we lumping together the indie creator purchasing a $10/month tool with the government agency signing a million-dollar contract?

Products like Canva, ChatGPT, MailChimp, Carrd, Transistor, Fathom Analytics, Trello, Slack, Notion, and Tailwind UI achieved success by broking out of the traditional B2B mold and serving a broader spectrum of users with a single, versatile product.
This is kind of the mixed feeling I have about this blog post. There is a recognition that we need universal tools that are designed with honest intentions to be effective in general problem domains. But determining the boundaries of those domains is ultimately a political exercise and not a technical one.

It becomes presumptive to assume that Lisp is the be all, end all of car networking woes. Even if you accept that a tool to manage and organize computational tasks using a more functional paradigm would be helpful, that doesn't mean that a somewhat archaic, syntactically maligned language is the answer.

ROS tackles this somewhat yeah? But it's still very much a research project, despite its use in some parts of industry. The most significant development for computation in vehicles in recent times is still the automotive Linux efforts, so we are not really even in the ballpark to discuss specific languages.
Sorry for the frustrating behavior. It should actually work for plain functions and I just tested with a TSX component we use. I think something went wrong here.

Are you using JSX components? I'll try to repro this on my end.
How is this different from Scite, Elicit, Consensus, and Scopus AI for Generating Literature Reviews
I suspect a part of Elon's issue is pure ideology. However, I am a railfan (I even ride long-distance Amtrak for fun) and a Texan advocate of building HSR from Dallas to Houston, and I have to say he at least has a point about California specifically. A French contractor involved in that project famously pulled out saying that North Africa was far less politically dysfunctional.

https://www.businessinsider.com/french-california-high-speed...
> it is idiomatic to avoid macros as much as possible.

Of course, don't use a macro if you don't need one. But when you do hit a case where you need one, it's better than using/writing external tooling to solve the problem.

> None of the claimed advantages really hold up under scrutiny.

This doesn't follow.
At one start-up developers were expected to a do a shift in the warehouse and delivery.

What is the worst is the director that hasn't touched code in 15-20 years, remembering with rose-tinted glasses and never experienced the organization he is leading.
> Thus in 1970, the Microcomputers Plant was established. Located in Warsaw, it employed Polish workers but used British components and financing – the required parts weren’t available in Poland and the communists weren’t at all eager to throw money at the project....

> Karpiński’s computer could be so small and resilient because it used Western components. Even though they were vital to the functioning of the K-202, they might have raised suspicion among the authorities of the Eastern Bloc, as they were elements imported from beyond the Iron Curtain and used in the sensitive field of information processing.

What the superior performance of his machine mainly due to the Western components he was using?

The article makes it seem he was treated very unfairly so as to favor his competitors (and maybe he was), but it seems entirely legitimate to me for the Communists to have favored a more secure supply chain, given the political situation at the time.
How have you liked using zig? What are three things that you love about zig? What are three things that annoy you about zig?
And if you actually use cloud systems long enough, you'll see violations of the "C" in CAP in the form of results that don't make any sense. So even in practice… it's good to understand, because it can and does matter.
Which proves that it does work, but they just explicitly block it.
I highly recommend writing a sudoku solver without looking at any solutions online beforehand. I ended up writing something that looks like Arc consistency but sloppier without knowing about it, and I found the process fun, challenging, but not too challenging.

IMO it's probably too time consuming for a technical interview question.
The question implies that kids don't know how to think. I see no reason to suspect that's the case.

That said, some important things that were taught in school when I was of that age appear to no longer be taught. Things like formal critical thinking skills and media literacy. If my impression is correct, perhaps what we need to do is start teaching those again.
iCloud Private Relay down for some users
While the crawling is disrespectful, it seems RTD could find a cheaper host for their files. At my work we have a 10G business fiber line and serve >1PB per month for around $1,500. Takes 90% of the load off our cloud services. Took me just a couple weeks to set up everything.
Maybe it's helpful to analyze TypeScript's track record in deprecating features and creating breaking changes, which could be a big red flag to TC39. I'm all for typing support but my work is mostly prototyping on short lived projects. People maintaining production systems that will eventually become legacy systems might have a different opinion.
And the process to add them is a bit too "streamlined".
Ours is slow, but accurate, even for complex topics. The rest are fast, but generally can't handle complex topics. (There's more nuanced explanations in other comments)
> Man you really should have read the article to understand that the main competitor to the K-202 had ties to the Communist government and was able to get production shut down.

What do you think regulatory capture is? The exact same behavior, and we have it all over our society. The parallels to OpenAI are obvious. And if you look... sure enough, the board has multiple people connected directly to the bowels of federal government.

Granted, I don't think OpenAI is 1/10000th as interesting as microcomputers were, but it's still nauseating to see people take aforementioned bleating seriously.
I'm using a mix of TSX/JSX/TS/JS. I wasn't seeing it working for any of the functions (component or plain JS) I have unfortunately. Will keep an eye out for any updates you make to resolve this!

Awesome project and great work on it! Congrats on the launch :)
Read the fine manual and handbook.
It's harder to do right then you think. The first dynamic bandwidth (and concurrent connection) limiter that I wrote was to protect a site against Google in part!
On NT you can get this sort of stuff through WMI, although I'll admit it's not entirely clear to me how that resolves internally
Look at the estimated population pyramids for Japan and South Korea. They're looking into absurdities like the active population having to support (as in work for and pay for) 4 times as many retirees.

It is simply impossible for that to work without some amazing breakthroughs in robotics and AI that will enable outsourcing of healthcare and elderly care. And that's just the ensuring the retirees don't die in the streets, what about everyone and everything else? What happens to the South Korean industries as they are today when their labour pool shrinks a few orders of magnitude?
> Something like Yacc/Bison is easily done with suitable macros.

Is this true? I may have misunderstood what macros can do in terms of remembering state, while applying. Looking it up again to see what i overlooked...
> It’s believed that Karpiński paved the way for today’s common use of paging in computer memory systems.

So, I didn't know anything about the K-202, so this is very interesting to me.

However, are we sure that it influenced anything, given that only about 230 of them were ever made, and those were destroyed at the factory? How would knowledge of his team's innovations, let alone specific information, have leaked out to western computer designers from within Soviet Poland? If it did, was the mechanism... espionage, published research, what?
Makes sense! Curious how you use LLMs to guide you around?

In my own experience, I ask the LLM where a functional flow is and it does a great job of creating an entrypoint, but I frequently have to figure out the finer details myself and sometimes the LLM points to something related, but not quite what I was looking for.
Kudos for going hard core into safety, error checking and designing from first principles. How do you plan on making money from all of your work, given this is an open source product?
We aren’t talking about regurgitation but rather about heat transfer.

Ammonia has lower heat capacity than water, and it’s nasty.
My desktop doesn't auto update. It only updates when I ask it to.

My phone does auto update, and nearly every auto update makes it worse and slower. That's been true for nearly every Android I've had.
> I like my beer, wine and tequila

Then your argument is moot, as you engage in drug use. Just because it's a liquid in a glass bottle doesn't mean it isn't a drug.

Furthermore, the simple fact is that not everyone agrees with your take on personal freedom.

You have quite a lot of work ahead of you to prove that an adult from consuming a substance in their own home should be arrested and fined/jailed under threat of State violence.

This argument is so hard to make, that Harry Anslinger and William Randolph Hearst, two of the leading forces behind the criminalization of cannabis in the US a century ago, opted instead to rest their argument atop racism, political fearmongering and subterfuge (calling it marijuana instead of cannabis).

https://www.chieftain.com/story/news/2010/03/22/marijuana-s-...

I, for one, am glad that you don't have a magic wand to wave around and create law without due legislative process. That sounds like an incredibly autocratic method of governance. It would be good to consider that yours isn't the only valid opinion on this matter, and to reflect upon the arguments others are making.
I used to run a site with a huge number of pages that had high running costs but low revenue.

The only web crawler that did anything for me was Google, as Google sent an appreciable amount of traffic. Referrers from Bing were almost undetectable: the joke among my black hat SEO friends at the time was that you could rank for money keywords like "buy wow gold" and get 10 hits. Then there were the Chinese crawlers like Baidu that would crawl at 10x the rate of Google but send zero referrers. And then there were crawlers looking for copyrighted images that cost me money to accommodate even if they never sent me cease and desist letters.

As much as I hate the Google monopoly I couldn't afford having my site crawled like that without any benefit to me.

It's an awful situation for the long term though because it prevents new entrants. Right now I am thinking about a new search engine for a vertical where a huge number of products are available from different vendors and when you do find results from Google they are sold out at least 70% of the time. I hate to think it's going to get harder to make something.
Android 7 is when Google switched from dead simple full-"disk" encryption to per-file hackery with complicated key management. Basically the whole data encryption scheme changed.
It’s hard to generalize. Americans from different parts of the country have different relationships with frugality and entitlement.

Lower income people in high COL places like NY typically know how to survive through frugality. They’re more like the rest of the world.

Lower income people in less competitive places tend to find it harder and expectations and the level of hustle are different.

For instance, I was a former international student and used to live in a 400 sq ft apartment. This to me was a ton of space, an amazing upgrade from the 100 sq ft room that I used to rent. To most (non-New Yorker) Americans, this makes them feel claustrophobic. They need more space. And a house with a yard. I’m in my 40s and currently live in a 600 sq ft apartment and it’s more than enough space.

As a former international student, schools would often publish guidelines on living expenses — food, rent, entertainment. It was always surprising to me how much they think a student needed to budget for entertainment. But it was based off the average American budget for entertainment. Most poor international students could live off much less — I almost never ate out, never went to the movies. Instead I borrowed books and DVDs from the library. There are free things to do in every city. And shopping at ethnic groceries and cooking cuts your food bill by up to 30%.
> Europeans made it through ~1/3 of the population dying from The Plague, we'll make it through this _much_ less catastrophic demographic change.

Depends on the country, South Korea (if current trends continue) is looking at an 60-80% shrink in a few generations.