skysight-inc/HackerNews huggingface dataset:
For dealing with pirates, as shown here https://www.youtube.com/watch?v=XrrYjuoz7no just shoot them and kill them so they be dead and can't board no ship no moh. Problem solved.
> Oh I'm curious why you're rewriting it?

The primary driver is that we're moving to a fairly different formatting style: https://github.com/dart-lang/dart_style/issues/1253

The formatter works sort of like a compiler in that it parses the code, translates it to an internal representation, does optimization on that IR, and then outputs final code. The main difference is that the "final code" is also source code, and the "optimization" is line splitting.

The old IR grew organically over time and got increasingly difficult to work with. It baked certain formatting choices directly into the IR (mainly indentation) which line splitting then had no control over. For example, given a function call like:

someLongFunctionName(some + long + argument + expression, [firstElement, anotherElement, aThirdElement]);

We might want to format it like this if the function name and first argument fits on one line:

someLongFunctionName(some + long + argument + expression, [
firstElement,
anotherElement,
aThirdElement
]);

But if the first argument doesn't fit, then we probably want:

someLongFunctionName(
some + long + argument + expression,
[
firstElement,
anotherElement,
aThirdElement
]);

Note how the indentation of the list elements depends on how we choose to line split the argument list. The old formatter's IR just couldn't model that at all.

For years, I've wanted a better IR that could express formatting like this. And since we were making sweeping changes to the formatting style (including some that would be very hard to implement with the old IR), it seemed like the right time to move to a new internal representation too.

> What do you think of the functional "pretty printing languages" like Wadler's (cited in the blog post)?

I have to confess that I worked on dartfmt for a few years before I stumbled onto that paper. I'm somewhat familiar with it, but I've never taken the time to really dig into it.

I could be wrong, but I strongly suspect that the formatting rules we want for Dart are too complex to model using Wadler's formalism directly, and I'm not sure if extending it to support the formatting rules we want would sacrifice its simplicity or performance.

Given that, I sort of stuck with the devil I already knew—dartfmt's current architecture—and built off of that.

> it does seem like there is a lot of labor in encoding the "rules people like", and flags for different styles. And then there's the actual algorithm to find the line breaks.

Yes, and the two are deeply intertwined. The majority of dartfmt's code by line count is just implementing the style rules for every part of the language grammar. The most difficult code to write and maintain in dartfmt is the line splitting algorithm, largely because it's combinatorial when done naïvely.
That's not too extreme. At my age though I'd probably need to hop on the Secret Juice to be able to do it.

I've always wanted to be Fullsterkur.
> There are a few big differences like WebRTC support isn't in WebKitGTK releases.

Ah, thanks—I can see how that's the kind of thing you would want to see in a compatibility table!
Speech perception can generate False Positive activation of a speech BCI
So long as you recognize that there exists a material reality, the correspondence to which we call truth, there can be objectivity and a separation of activism from teaching.

If there can be no reasonable way to get closer to an objective truth, the very foundations of universities are in question and the entire institution destroyed. In fact, that is exactly what Queer Theory promotes, in which papers describe that when Queer Theory becomes normal, it must deconstruct itself further.

No. I reject that notion. There is objective reality, and there is a reasonably objective way to teach knowledge apart from activism. It is entirely possible to promote alternate viewpoints without activism, so long as your alternate viewpoint is not "there is no objectivity".
A few years ago, I was an inventory manager at an electrical contracting shop — we had tens of thousands of dollars just in copper wire.

One morning, I arrived to a burglar attempting to steal from our supply house. I performed a citizen's arrest (do not recommend)[1] with some of the other workers, but was the only employee called in to the perpetrator's trialS as I was "the boss" and was the one who bound him physically (multiple wastes of time, the guy "knew how to play the court system").

[1] In the future, I will not call the police.
What's new? The vast majority of online companies are glorified data miners
It is, but there are many other differences between Unix and Windows processes than just fork() VS CreateProcess().

Even disregarding this, the actual fork() syscall has had many hundreds of dev hours poured into it to implement the costly semantics (copy all resources) in an efficient way for the common use case (copy-on-write semantics).
There are also password-authenticated key agreement (PAK) protocols, for obtaining strong security from weak passwords. They are useful in certain use cases.

Magic-wormhole uses a version of that. You encrypt files securely with a couple of words.
Sure, this is a good step in allowing student to explore other teachings and points of view and learning to think for themselves. That is not how most of the education system is built though, it is built to spoon feed a curriculum, no questions asked. This is quite sad because kids and adolescents are naturally very curious.
> The average electricity price for households fell by almost 8 percent at the beginning of 2024 compared to the annual average for 2023 and now amounts to an average of 42.22 ct/kWh (2023: 45.73 ct/kWh; base price included pro rata for a consumption of 3,500 kWh/a ).

https://www.bdew.de/service/daten-und-grafiken/bdew-strompre...
Yes!! https://beepb00p.xyz/unnecessary-db.html really changed how I think about data manipulation, mostly with this principle.
UpCloud has super fast MaxIOPS: https://upcloud.com/products/block-storage

Here's referral link with free credits: https://upcloud.com/signup/?promo=J3JYWZ
> The article doesn't even profess to answer the "how" only the "what"

Even the "what" isn't explained well enough if you're not already familiar with the topic. I'm not really sure who is meant to be the audience of this article.

Big congrats to the team though, great competitive leap for them.
Reality always beats the abstraction. After all, it's just somebody else's computer in somebody else's data center.
Those aren't using x86 tho?
Hi author here,

This is a hobby project I've been working on for a few months. AMA !

Raphael
Ho man. I'm so sorry for your loss. Can't imagine how that must feel like.

> Treasure your loved ones while you have them.

So true, yet so easy to forget sometimes during the day to day life.
Yes, easily.

I came out of the mechanical keyboard rabbit hole with multiple Leopold FC660C Topre switches (there's no going back to any mechanical switch) and Hasu replacement controllers that support QMK.

Here's an out-of-date version of my layout, heavily using tap-hold to access multiple layers:

https://raw.githubusercontent.com/Syzygies/log_folders/maste...

Chording never took for me, but one-finger-each-hand concentrated near home row is such an obvious way to quadratically expand the address space. The Matias space bar was certainly an inspiration for this, though everyone uses QMK tap-hold for purposes like this.
> only when we have your permission or are required to by law

That can be very vague. does TOS gave them the permission? Does law can eb interpreted to require them to check for CSAM and pirated material? What about access by Iran or North Korea agents? If you are pushing things to cloud, these questions will be asked.
>All of which are /good/ questions to ask, that critical theory advocates are all too willing to provide easy non-nuanced answers to, answers that boil down to "white people".

Then the problem is the the advocates and not CRT, no?

>Unfortunately, it turns out that anti-racism (at least as currently implemented/advocated in the majority of colleges and universities) is just racism with a different label.

Speaking of answers without nuance...
Let's say someone is using a buggy version of curl. Is it legally okay to set up a web server that exploits the vulnerability when someone tries to fetch from you?
Hopefully not to discourage a learning exercise but trash-cli has been around for a while.
Not to be an as*ole but is anyone surprised by this?
I think a lot about Simon Wilson saying (somewhere...) about how one of the major things AI unlocks is the ability "to be more ambitious with side projects". I can echo this 100%. Being able to go from 0 to _something_ pretty easily even on a wild hair for an idea is so empowering, and often the hurdle that feels most difficult to jump. Even if you don't continue, learning about some domain with a mostly-working example is incredibly powerful.
This man seems to be a little bit a strange one. But the consept of seasteading is new for me and it looks like an Utopia...
Keep your phone number private with Signal usernames
Heh, yeah okay fair enough.

So to re-itterate definition I'm challenging: "Winning means beating other people at something you find easier than them". I have two issues with it:

The first keeps in the spirit of "winning" in terms of coming out on top in a competition, and it's this; how can you say you've won, if there was no real competition? The picture on the page where a guy's holding a basketball over the heads of children is apt. If you score more points against those children in a game of basketball, have you won a game of basketball?

The second gets a bit philosophical and calls into question the whole meaning of "winning" anything in life at all. I don't think winning == being successful in business or making money. If you've made money by screwing someone over, you have lost at life.
There are novice strongman comps by weight class that you can enter that would scale the atlas stones and adjustable hussafell stones.
I Quit Smartphones
The biggest "scam" if you can call it that is reducing all factors of CPU performance to "cores".
Loving Swift Mail! Just installed last week and finally getting my email under control. Three email addresses from different services all together in the fastest email client I’ve ever used. Super smooth, clutter-free interface that I like opening every day.
Karpathy on Tokenizers
I would dearly love to have a flop like the Apple Watch... If a product with tens of billions in yearly revenue is a flop, well, sign me up!
That's more to do with the E2EE implementation than how it was deployed... Cryptocat did a lot of things wrong other than using crypto in the browser.
works really well! can see some artifacting. used a couple other ones (spatial media converter and spatialy) and yours is a lot faster
It’s not the network being slow, but dividing the available network bandwidth amongst all users, while also distributing the written data to multiple nodes reliably so that one tenant doesn’t hog resources is quite challenging. The pricing structure is meant to control resource usage; a discussion of the exact prices and how much profit AWS or any other cloud provider makes is a separate discussion.
> One of the problems with a lot of the liberal arts curriculum today is that every university tends to slant the same way with the same topics. They all come to same conclusions on non-deterministic, subjective ideas. There's a missing counterweight in may cases that exists to critique, ridicule, and otherwise keep in check opposing ideas.

What is that based on? People I know in universities are exposed to a very wide range of ideas.

In the OP, isn't it the conservatives who are suppressing ideas?
> why does everyone still think that filling up their Technology Bingo card will get them their next job

It does for entry and mid level jobs. When you do this you’re advertising that that’s what you’re looking for – a grunt level job.

Unfortunately most job seeking advice out there is for people new to the industry. Because there’s more of them.

Think about it this way: Would you trust a CEO whose resume lists word, excel, powerpoint, and google docs under skills? Probably not, but you sure would expect a ceo knows how to use those.
I very much agree with this broadly.

> It’s that people have rights relating to property and our electoral system is set up geographically so benefits that are non-local are externalised in electoral calculus.

For what it's worth, people don't really have the property rights they think they do. Eminent domain was brought in for exactly this kind of purpose decades and decades ago, and used extensively. We've just decided to stop using it.
This is one of those issues where I find myself both disagreeing and sympathizing with everyone involved. We desperately need collective truth, reconciliation and forgiveness on a societal level. Without that, these issues are just going to get worse and worse as all sides continue yelling at each other and we all retreat inside of our protective bubbles. The supposed woke mind virus has equally infected the left and the right, which increasingly mirror each other in their demonization of the other side and unwillingness to engage in good faith. No one is immune, not least those who claim to be above the fray.
If you don't recommend detaining the guy or calling the police, what is one to do if they are being robbed, in an ideal scenario?
Should I perhaps feed the results back to some generative method and genetic algorithm supported by decision support and crossanalyze the optimal choices too instead of simply making what I need? Too simple right, wallow in the plethora of tools to fascinate the world with my full technological skills and sophistication at once is much better, right?! : )
Gall's law:

"A complex system that works is invariably found to have evolved from a simple system that worked. A complex system designed from scratch never works and cannot be patched up to make it work. You have to start over with a working simple system."

It's quite funny how unknown this quote is. Imagine all the developers that would be out of work if we had simpler systems. It's hard to admit, but developers get more jobs when their work is complicated, it's the hostage taker syndrome.

Software as a thing, is pretty recent, it's important to remember it has a large Silicon Valley influence, and software quality is just unregulated because of freedom of speech warriors.

The software we have today, is just the combination of good government funding and marketing maniacs.
That echoes the good old quote “the only people that call their customers ‘users’ are tech and drug dealers”
Martin Kleppmann talk on local-first (LoFi)
Nice! What OS do you run it with?
Five Years of Memberships
Which is especially useful on phones that are much more memory constrained than desktops.
True, exactly witnessed this a dozen times.
Sounds like dogs found another way to solve their problems ie get humans to do it for them. It's a pretty good solution as long as there is a sympathetic human around. Of course, they would be SOL if they ever find themselves alone out in the wild.
The best resource I know is a tour of one of their data centers. Around minute 6 you get some nice views on their current-gen racks, and later in the video you see the back side, followed by the assembly of the servers.

https://www.youtube.com/watch?v=5eo8nz_niiM
AI in Production Virtual Conference
Why would I lose all data on these SSDs when I initiate a power off of the VM on console, then?

I believe local SSDs are definitely attached to the host. They are just not exposed via NVMe ZNS hence the performance hit.
Ask HN: Why isn't there a Rotten Tomatoes for consumer electronics?
There is Rotten Tomatoes for summarizing movie reviews and Metacritic for video game reviews, why hasn't a review aggregator for other heavily reviewed areas like consumer electronics caught on?
...and you're willing to use nonstandard attributes, code generators, and a custom preprocessor. At this point, why not C++, seriously?

And can you show me an example of an existing framework for embedded device that's not the spaghetti code I showed?
I don't know man?

Maybe for math and science you can do this? But history, is bias and indoctrination.

What Germans learned about WWII during the 70's and 80's was significantly different than what, say, Russians or Americans learned about WWII during the 70's and 80's. And what Russians and Americans learned about WWII was slightly different from each other as well.

Even within a nation. In Florida slavery will be taught more as a precursor to legal immigration, in Minnesota it will be taught as an evil and an affront to humanity.

History all depends on what you want to indoctrinate the kids with. Which, in turn, all depends almost totally on your bias.
Largest flow of natural hydrogen ever found measured in Albanian Chromium mine
Self defense.

In this past incident, I had been the one to STOP my co-workers beating the dude. This was my mistake.

Some people only learn extrajudicially.
The most incredible TIL from that video was the hijacking of the [Galaxy Leader](https://en.wikipedia.org/wiki/Galaxy_Leader) via helicopter. It's still an ongoing hostage situation as of today, according to the Wikipedia article.

The video from the hijacking is so crazy I thought the footage was from a video game at first.
But for a city wide or even some state wide institutions, it (300rps) is really a big number.

Well, I laughed. It is common for monitoring infrastructure to poll at the minute-range, and to have dozens of probes per server. 300 is really few for a whole company
https://en.m.wikipedia.org/wiki/Zettabyte_Era

> The Zettabyte Era or Zettabyte Zone[1] is a period of human and computer science history that started in the mid-2010s. The precise starting date depends on whether it is defined as when the global IP traffic first exceeded one zettabyte, which happened in 2016, or when the amount of digital data in the world first exceeded a zettabyte, which happened in 2012. A zettabyte is a multiple of the unit byte that measures digital storage, and it is equivalent to 1,000,000,000,000,000,000,000 (1021) bytes.

> According to Cisco Systems, an American multinational technology conglomerate, the global IP traffic achieved an estimated 1.2 zettabytes (an average of 96 exabytes (EB) per month) in 2016. Global IP traffic refers to all digital data that passes over an IP network which includes, but is not limited to, the public Internet. The largest contributing factor to the growth of IP traffic comes from video traffic (including online streaming services like Netflix and YouTube).
Memory and thinking processes are reactions and synapses firing in the brain.

It's not "just" in the sense that there's a lot of emergence and complexity when these things all work together but it is "just" in the sense that these are all physical unmagical processes.
>> school is for learning, not so much for political activity

That is the radical idea imho. I cannot think of anywhere more associated with political activity than schools. From Harvard's impact on the forming of the US as a nation, through anti-slavery writings, Brown v. Board of Education, the Kent state shootings, through modern school shootings/gun control, to today's "culture war" ... schools have always been at the heart of every US political issue.
Its not about desktop popularity or servers, its about gaming distros, or rather the packaging systems being used that the ProtonDB data seems to choke on.
We started with the approach of doing it regularly and we created an automation using Python and Selenium. In terms of scanning the entire process takes about 2 weeks.
I subscribe to both ChatGPT and Gemini Ultra. Some interesting features/experiences with Gemini...

1. I asked it to do an image search and it responded with in-line images throughout its response. This was a nice "wow" moment and very neat.

2. Its drawing/illustration style is different than DALL-E, so I use both.

3. Quality of general text responses is comparable, though I prefer ChatGPT.

I imagine you can probably just use one rather than have both. I am still primarily using ChatGPT.
As someone who works at a non-profit which is increasingly and regularly crawled, sometimes very aggressively,

PLEASE PLEASE PLEASE establish and use a consistent useragent string.

This lets us load balance and steer traffic appropriately.

Thank you.
>Informed consent is key

sounds nice
> the modern university education lacks exactly the same thing that your 1 paragraph of letters does – nuance

Where do you get that? My experience is very much the opposite. What I see from university educations is far more nuanced and sophisticated than what I see anywhere else - far beyond HN, fwiw.
> It's important to note that there's still tons of Objective-C written inside Apple to this day, perhaps more than Swift.

I don’t know if this is true or not, but Apple certainly isn’t writing its own end-user applications with good macOS technologies and support (which means it’s not using Objective C and Cocoa). Apps like Reminders, Notes, Photos and others on macOS seem and behave like poorly ported versions of an iOS app.
I'm having a hard time parsing this. Is your claim that ESG, DEI, etc are part of conservatives suppressing liberal dissent?
I apologize for editing my comment to remove that context in trying to create clarity about my point. I had actually meant to reply to a different (similar) thread. I will reply to your point while acknowledging I edited my original point hoping nobody replied yet.

--

Sure. There could be a racist judge, corrupt cop, or absurd law oppressing people in any government system ever. But that does not meet the bar required justify totally "tearing society down and rebuilding everything from scratch" as a Marxist might suggest.

There is no evidence that any alternative system would be better. There is much evidence that alternative systems end up worse. Why not fix problems where you find them instead of throwing the baby away with the bathwater?
Being a Rubyist and using vim is definitely a thing. Looks like I was off about DHH being the origin. It certainly wasn't Matz, he uses (and contributed to) Emacs.
The Case Against an Annual Physical
github, azure...
Which can cause considerable "amusement" depending on the provider - one I won't name directly but is much more centered on actual renting racks than their (now) cloud offering - if you had a virtual machine older than a year or so, deleting and restoring it would get you on a newer "host" and you'd be faster for the same cost.

Otherwise it'd stay on the same physical piece of hardware it was allocated to when new.
Warmongers will never cease to monger war, I guess. What you've written is massively jingoistic; yes certain forces seem oddly desperate to talk a war into existence - I guess all those solar panels coming out of CN are disrupting certain money flows on a permanent-looking basis - but the absence of any actual, idk, military buildup will be harder to explain away. Unless you just deepfake the war. Which is probably what will happen.
I don't live in the US, so I'm not finding it at all.
Sorry, I was typing the way I talk again, this doesn't always come across well in text. Yes, thanks for making sure that's known.
Haha. But taking the statement seriously: Do you think the engineers in question employ more of their critical thinking capacity when using code from a generator than when adapting existing snippets?
I suspect they were just not clear about what they meant specifically. Distinct from political or economic marxism, dialectical materialism is a thoroughly mainstream technique in history and the philosophy of science and certainly other disciplines as well.
Tired of online resume makers and paying for irrelevant features? Say goodbye to those frustrations with ProResume.