skysight-inc/HackerNews huggingface dataset:
My MacBook Pro with M1 Pro is the first laptop I've had that hasn't had that slight hesitation that laptops have always had. I think this is why people praise Apple Silicon so much even though the benchmark numbers may not always back it up - so many other people are also coming from similarly-hobbled laptops.
You raise two fine points.

> Natural numbers should start with 0 [0].

I agree 100% with Dijkstra about where the numbers should begin. In fact, here's an early draft in which we were using 0 instead of 1: [0]. The reason we ended up going with 1 is we were imitating the structure of the proofs in Landau's "Foundations", and he uses 1 as his first number.

An interesting takeaway was the following. The way he structures his theorems and proofs, he makes use of his assumption that 0 is not a natural number. For example, Theorem 7 in the book is "y != x + y (for all natural numbers x, y)". So I found that sticking to my roots as a programmer (and admirer of Dijkstra) and insisting on zero-indexing led to more complicated theorem statements (e.g. "y != x + y for all natural numbers x, y > 0"). I'm not sure whether this is something structural about how the properties of natural numbers, integers, etc. relate; or whether it's an artefact of Landau's approach.

> Suspiciously, the following lines in the proof can be entirely removed while still verifying:

Suspicion warranted! The first (or zeroth) of these is a bug we hadn't fixed yet (see [1]). Our implementation is rather rough around the edges, but I've put a small fix for this—try again and tell me what you think.

The line "term 1 nat" interestingly isn't used in the theorem we've written, so it's more a mistake on our part for including it in the sample code. Good spot! See the language page [2] for an example where it is used.

As an aside, have you noticed that our proof style is based on what we call "Dijkstra-chaining"? Any thoughts on this? [3]

[0] https://paste.sr.ht/~akiarie/d7a2ae368faae4ba9a8bc13eeefcf18....

[1] https://todo.sr.ht/~lbnz/i2/1

[2] https://i2lang.org/#uses1

[3] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/E...
You don't need much power for it to be a media server.
Meanwhile in Switzerland, you'll pay at least $6 for a dozen eggs.

While I think it's an interesting economic indicator, does it matter that mich (if you consider eggs you eat as eggs, nor within another product)? Most people I know don't each that much eggs that they couldn't pay with 1-coffee-less-per-week.
If that wasn't true then most of the advancements in the 20th century wouldn't have happened.

We didn't rely on some superior gene pool, instead we just educated our children in a way that exceeded our expectations.

Also, not raising children means people have more time to spend on technological progress.
https://www.youtube.com/watch?v=OHKKcd3sx2c

TL;DW: There's a bug in the implementation of windows modern standby that can cause it to activate energetically expensive operations while "asleep", and most PC manufacturers didn't bother to write drivers for the more effective, but less "feature rich" S3 sleep mode.
There are decades where nothing happens and there are weeks when decades happen.
This is why I prefer the term "weak AI". Weak AI is specifically trained to solve tasks whereas strong AI can teach itself to solve new tasks.

Whether humans are able to create strong AI is a philosophical question: While some argue that's not possible (can we be Gods?), others argue that this is the next logical evolutionary step.

Let's see if we can at least mimic strong AI when we let LLMs connect to external systems (internet, money, more energy, etc) and specifically allow themselves to fine-tune or train new NNs in general.

Time will tell.
If you want to get rid of that part of your brain, check my profile and fill out the form on my homepage ...

Apart from the lack of personal fulfillment, isn't it good for society, and thus not such a bad job, that fools are parted from their money? After all, consumers decide what our society does. If a consumer is not able to recognize a scam, how can society trust them to make meaningful decisions? A hustle guru will spend their money on fast cars and thus at least support state of the art engineering.
I’m missing my university on the list, Ruperto Carola, established 1386.
Best for: aspiring biochemists or South Asia scholars
Maybe it turns out web and electron UIs took over the world because web technologies are just a better way of building UIs, and everybody who tries them in earnest realizes it.

How about "Every GUI toolkit out there trying to avoid using web tech is going to end up implementing a half-baked implementation of CSS", to coin a phrase.
This is nice, but having a way to just publish blobs to raw storage would likely be cheaper.
I never fully understood why we couldn't have the VB/Winform model of building GUI on the web. Is it because we need the designer skinnable GUI? With WebAssembly and CSS grid layout, could we finally get a modernize VB/Winform?
This will be solved via combination of homeowner credit tightening and unemployment. Oh, and they are flooding the cities with unwashed immigrants and fentanyl which will make many nice areas undesirable, so the population will leave.
I remember when power wasn’t 51c/kWh and a powerful PC didn’t suck down >1000w. I know we get way more perf/watt these days, but I don’t feel as a user like that translates into a notably better experience. For most things for $work, Slack, Spotify, GMail, Google Docs, and VSCode feel a lot less responsive than irssi, Winamp, Sylpheed, OpenOffice, and $ide_of_choice did a decade or two ago.

What Dr. Lisa Su giveth, Satya taketh away I suppose.
There are barely any Left-wing policies because there are no Left-wing voters anyway.
Or no toolkit has more engineering hours as the web toolkit put in. Even with its warts, it has so many more features and tools.
Your link sent me down a two-hour rabbithole involving the Vela Incident and the treatment of Mordechai Vanunu.
For occasional use why not just buy a small car and rent (or buy) a trailer? Seems more versatile to me and probably an order of magnitude less expensive.
If a startup idea is good, it doesn’t really matter if someone mentioned it in a video that got hundreds of thousands of views. Execution is still the key component.

‘You’ve already lost’ implies that every idea must be completely unique in order for you to ‘win’ whatever that means.
Frighteningly Ambitious Startup Ideas (March 2012)
Idea 1 seems doable in the current wave of AI and LLMs. So, Sam Altman is doing this itself?
Bitwarden PINs can be brute-forced
What's the incentive for people to run a node in a decentralised network though? It will always end up being abused and misused, and be a negative influence on one's time trying to deal with that.
SSR isn’t actually rendering though… it’s generation of markup just like PHP does… sure sometimes it contains data to rehydrate the page just like early .Net components used to

The various JS frameworks seem to have taken a concept that was common and tried to rebrand it which just adds more confusion
Corporations are not your friend.
Building an Android App Discovery Site with AppBrain API and Swagger
Kev Quirk: “I just opened my browser and images aren’t working for me either”
Well with those prices, organic and fair trade cotton or not, it’s certainly not going to be “for the people.” On the net, privacy will become a luxury fewer people can afford, and that holds true with this apparel as well. Maybe others will follow suit and scale down prices, but for now I wouldn’t pay 400€ for this.
And the people who are mainly motivated by money greatly appreciate the second group. I think in poker jargon they're called "marks" (less politely, suckers).

Still, as a neutral observer to this, their sacrifice is greatly appreciated!
Only 500 years? Bloody amateurs!...

https://stiobhart.net/2021-04-8-bubble-trouble/
> The psyops around UFOs must rank as one the most effective ever launched for prejudicing people against the subject.

I struggle to believe that UFOs are objectively real because I have a basic grasp of the size of the universe, how much of it is just empty, how hard it is to travel between the bits that aren't, how inhospitable almost all of it is to organic life, and because everywhere we look it seems primordial and uninhabited. I don't think that is prejudice.
Multiple Internet Remote Code Execution Vulnerabilities in Exynos Modems
Somebody should just sponsor a minimal browser engine written in Rust. Bet it would be uniquely well suited for it. Wait..
vox seems not to understand what mass retail is either. Things sold by well known brick and mortar stores are also made cheaply in China.
I don't know why people go from one extreme to the other. There is zero risk of humanity disappearing because of a lack of birth rates.

The shrinking growth rates are problematic for wealthy old people because they realise that their money represents economic power over other people, but if those other people don't exist, then their economic power will be worth much less than they deluded themselves it is. Indulging in the desires of these special interest groups makes no sense for the continued survival of humanity. If anything it makes it harder for humanity to survive as we run the risk of faster resource depletion. If you believe in mars colonies and so on, you would want our society to survive the next 1000 years and not prioritise the next quarter so an old person can retire from their stock returns.
Calculate ten to the sixty thousandth exponent in CL as if an ENIAC. But is the x86 math correct?
Musk's ideas are both good and original. But the ones that are good are not original, and the ones that are original are not good.
I do wish this is a sarcastic comment, can't tell anymore these days.
I guess the purpose is to find a job as evangelist and similar.
Nice, but I can't find it on the play store.
realistically the googler will have the option to continue their health coverage (at the FULL price) using what we call COBRA. So no, they won’t go bankrupt unless they are in the hospital for many months. But it would still be stressful because COBRA doesn’t last forever, and they will want to eventually get another job. good employers like google pay for most of the insurance cost each month, and the employee pays a small “premium” that is deducted from each paycheck.
I'm guessing much of that delivery cost is due to the additional energy transmission and storage infrastructure needed to incorporate intermittent energy from solar/wind.

Solar and wind are extremely expensive when all costs are taken into account. One study found that the "true cost of using wind and solar to meet demand was $272 and $472 per MWh": [pdf]https://web.archive.org/web/20220916003958/https://files.ame...

Mind you, this could change if we get an economical way to generate hydrocarbon fuels from renewable electricity, so I'm certainly not pessimistic about solar/wind's long term prospects.
> you sound like an intellectually dishonest person

Nope.

> who will resort to any rhetorical nonsense

Rhetoric t is literally the act of arguing. If it isn't fallacious it isn't nonsense, and I don't use fallacious reasoning.

> in order to gain social media points

Are you jealous that you don't have any?

> likely narcissistic traits

Maybe projecting a little?
Vox also doesn't make their money from whatever it is they preach, but from Vox getting clicks.
They don't. Look at African countries with up to seven children per family.
>Next.js is a great framework, and its rise in popularity is due in a large part to the return of SEO optimization via Server-Side-Rendering (SSR) within the collective developer conscience.

I stopped reading here because the article may have been made by ChatGPT
I built Reynholm Industries from the ground up. When I started, I only had two things in my possession: A dream and six million pounds. Now I have a business empire the like of which the world has never seen the like of which. I hope it doesn't sound arrogant when I say that I am the greatest man in the world.

-Denholm Reynholm
I have heard of people getting interviews from their GitHub profile.
The problem is wealthy people want to be even wealthier. Telling them they will be less wealthy won't make them happy.
The kind of middle manager you’re describing is one I wouldn’t like to work with anyways, so it doesn’t seem like much of a loss.
Part of the problem is just raw TDP. There’s only so much horsepower you can squeeze out of 45-65w laptop chips. The brand new Ryzen 9 7945HX is damn fast though, with 16 real cores on a way better node size than Intel is using for their 13th gen parts that, at most, get you 8 real cores plus a 16-core Atom on the same die. Stuff like the Asus Zephyrus Duo have RAID-capable m.2 (and that one has two screens, one of which is a 16:10 with high refresh). Get something with a dedicated GPU as well, as that makes a huge difference even for desktop compositing. Despite what Intel says, integrated graphics continue to be a joke compared to even budget dedicated graphics. These mobile workstations are not going to rival 1kw desktops, but they get within 40% or so. The Intel stuff, 12th and 13th gen in particular also get bad battery life, like 4ish hours. Blame the FAA for their 100wh limit on batteries — not many laptop mfgs want to make something that you can’t technically take on a plane, even if the mall cop TSA agents wouldn’t ever notice.
> On the net, privacy will become a luxury fewer people can afford, and that holds true with this apparel as well.

I wouldn't put it like this. It's a niche product only a tiny number of people are interested in, most of them with moderate to high incomes. Of course they're going to price it like this.

Anything that's liable to be mass purchased will also be mass produced at very thin margins - which in this case means more or less the same margins as ordinary clothing. tl;dr: if there was real demand, they'd be just a bit more expensive than ordinary clothes.
After replacing the whole server zoo in the last company with M1 Minis
I am now slowly going through all my servers, and the servers I set up for friends & family, and replace them with M2 Minis.

- Trivial to set up, and run.
- Super low power consumption.
- No noise.
- Dirt cheap.
@geocrasher/@xena/@iamwpj thank you for the kind words.
“They found that individuals were likely to join groups containing members with similar physical traits – including levels of attractiveness. The researchers also discovered that attractive women were the most likely to be placed in the physical centre of social groups.”
The only subspecies worse than whiskey nerds are hifi golden ears.

(Grew up in Edinburgh. Drink it however you like, even poured into your beer)
This week in KDE: “More Wayland fixes”
I'm not a rust developer, but I see all the signs and scents of somebody who detects the truncheon and the trap.

My guess is that you're adrift in a continuum made by somebody else who started with one goal, but found an ancillary surprise benefit worthy of persisting under the umbrella of the previous illusion. Bricks kept getting put down, the pamphlet never changed, then bam there you are.

I wager you're right in the mix before former turned to latter.
that's on the global level. In specific countries the drop is going to happen way sooner.
This version is very convenient.

If Russia loses the war then it was false flag attack by Russia. Russia will pay.

If Ukraine loses the war, then it is terrorist nazi state, who fooled Western governments and blew up German Infrastructure. Ukraine will pay.

Either way it's not US elites blowing up they allies' infrastructure to capture EU gas market and to increase dependence of EU from US.
Great articles, which lead me to check out warps, which looks like a product I would use and consider paying for the pro features. Kudos
>Where a traditional mutating UI framework would happily update a widget and keep CPU idle most of the time

Is there a "traditional" UI framework that does this? Most UI frameworks are retained anyways and will build a tree (ex. Qt, Fltk); and will render at 60fps (or throttle is there is nothing to do). As far as overhead goes, I can't imagine the Rust approach being anymore expensive.

The approach of just updating and rendering a single widget is hypothetically more performant, but I rarely see it done in the wild due to how complex it can become as your UI gets more complex.
> “so far as they are representatives of original intellectual conceptions of the author.”

Yeah, much like a person using an AI.

Do you understand the debate happening here at all?
more expensive compared to what? You have to compare with the median income of people before the 60s too, which was a fraction of what we earn today.
Much like the writer of a prompt. The notice is stupid.
It’s a bit like people who write financial advice books. They don’t make their money from their clever investment ideas, they make it from selling self help books.
However, if you do travel alone, you might be proud of the fact, that you managed to do that, despite being an introvert and all that. Speaking from experience. You might not share or talk about it afterwards as much as others, for whom it comes more naturally, but you might have some great memories and feel at least a little bit enabled by having done it before.
If you have a VPS, you could probably set up an ssh tunnel.

https://ma.ttias.be/socks-proxy-linux-ssh-bypass-content-fil...

If you live somewhere else, you could also probably set up something as simple as a raspberry pi at home (or really any old hardware) and forward the right ports to it.

If that's not your level of sophistication, then any VPN that works in Cambodia is probably fine. It's worth remembering that If you don't pay, you are the product. I would never use a free vpn.

ExpressVPN used to be great, even for china, but they got bought out by an evil company, also I think they were run out of Hong Kong anyway and I wouldn't trust anything from Hong Kong after China went full fascism.

Also you should switch to Firefox. Google wants to end AdBlock with ManifestV3 and they need to lose as many users as possible for doing so.

Apple private relay might be the best as far as corporate offerings: https://support.apple.com/en-us/HT212614

Since you're already on a Mac, using more apple products probably won't make your privacy stance any worse. I generally trust Apple more than most companies right now.
Agree, I’ll probably never buy another Intel laptop as long as AMD and Apple keep killing it with these things. I was hopeful that the Surface laptops would be good with ARM too but they’re not using the latest chips, they went for low/mid-tier performance, and Windows on ARM still sucks / relies too much on emulation to be fast. Some day maybe we’ll get REAL ARM hardware with dozens of cores, tons of memory bandwidth, USB4, and decent freaking GPUs. Sorry, but the idea of spending $2k on a laptop that runs last year’s mid-tier smartphone processor just doesn’t cut it. Maybe that’s fine for a Chromebook for schools or something.
Because react is not developed with that usecase in mind. And it is not recommended for production anyway.

If you really need to use html with script tag, go with Vue/alpine
Yes, I can definitely sympathize with the "unusually high call volumes at 8am on a Saturday", and I understand that my waiting time is around 20 minutes. Thank you.
They had no control over other vendors' programming tools. Borland Delphi used a more difficult language, but generated compiled, autocontained faster binaries, had a better out of the box library, similar third party components market (same language for programs and libraries, unlike VB that often used C++ controls) and was starting to develop a version for Linux.

Microsoft had been poaching most of Borland's talent:

https://techmonitor.ai/technology/microsoft_and_borland_bury...

That included Hejlsberg. Take a look at the tools he created and worked on:

https://en.wikipedia.org/wiki/Anders_Hejlsberg

Later something interesting happened. Microsoft settled just another suit, this time for office applications. I don't remember if it was a spreadsheet or a desktop database and I've been unable to find it in the news, but I clearly remember that Borland received $30M in cash and priviledged access to Microsoft's dev documentation.

Then Borland abandoned Kylix, its Delphi version for Linux and released Delphi 8, that wasn't a native tool, but only worked on .NET. Next versions of Delphi included both .NET and native compilers and .NET creeped into Delphi IDE making it much slower. FUD was spreaded that Microsoft will eventually close all native developement and you will only will be able to use .NET to program for Windows.

Delphi versions for .NET were never as good as VS, always lagging in features, and finally they were abandoned. But the distraction lasted long enough to kill the company.

It's not the same to target a binary API and a virtual machine. The first must be stable, backwards compatible and follow specifications.
Never heard of swyx.

Self proclaimed GitHub star. But still only 5000 followers and projects max out at 8000 stars.

I don’t know what I had expected but I think it was bigger numbers than that.

https://github.com/sw-yx
Web UI are amazing to build for, and having the browser for free is fantastic, but if a dev manage to get the essential features without web tech, the end result is usually better. It's most of the time snappier and better integrated.

The problem is it's not guarantee, and it's way more expensive and hard.

Hence electron being so popular.
Scittle: Run Clojure in HTML script tags
Meanwhile its recommended to clear Fosstodon site cookies and site data in a browser and log back in to fix this issue.[0]

As Fosstodon hosted by Masto.host, where are many other Mastodon instances hosted too[1], such issue solution might be applied too.

[0] https://fosstodon.org/@fosstodon/110043516586114021

[1] https://news.ycombinator.com/item?id=34994705
You are right about the absurd education requirements. As it stands right now every child born is a luxury that you need to take care of until they finish college (yes they can supplement their income through student jobs but that isn't reliable). So children are now considered a burden in society that need to spend decades on their education and aren't allowed to fail. If you do fail you are considered the scum of society.

I wouldn't want to subject more children to that.
They are an easier way of building UIs. Better is an opinion. Look at the sheer amount of libraries available for the web made to abstract the dreadful task of maintaining the DOM for you.

Additionally, UI work on the web is pretty much only CSS. React doesn't handle drawing elements, it delegates it to the browser. React is the easy part of drawing UIs. You could also make a fancy DSL in Rust for Qt and say "look how bad the web is my UI runs 50 times faster clearly Rust is better at rendering UIs", but we both know that's a lie.

Also, CSS is an awful wart and alternatives that have popped up like Compose's Modifier system and CompositionLocals are infinitely better.
Ah, the good old pass-the-buck-to-my-future-self strategy that is leaving the US with trillions in infra repair bills to be paid by my (millennial) generation and younger.
Poll: How much time do you spend on HN daily?
Has dang ever published stat summaries on such usage metrics.
<100s
100s-10mins
10mins-30mins
30mins-1hrs
>1hrs
You are stripping all of the context of the statement and then responding to the universal form of it that you created yourself, I dunno that Vox can be blamed too much in this case given how much you're working in order to be mad about it.