skysight-inc/HackerNews huggingface dataset:
This seems like maybe a right place to evangelize [1] the only hill I've decided to die on: the formatting of type annotations that use a colon in their syntax. Specifically, there should be an equal amount of space on both sides of the colon. I keep meaning to write a proper essay, but this is the essential argument.

I think of it this way: there are two symbols that by coincidence are written the same (two aligned dots). I mean that genuinely (as in, I actually think of them as separate things), but it also helps as an explanative device.

The first I'll call the prefatory or label(ing) colon. Its usage matches usage in English [2], where the text preceding the colon introduces the text after the colon, or the thing on the left is a label or name for the thing on the right. For example, it is used to start a block (as in Python), or to define a key-value pair, or define a name-value pair in a struct (as in C or Rust).

The second is the type annotation. This syntax is borrowed from mathematics. It is a binary relation, and binary relations are written with equal space on the left and right. Just as you'd never write "x= 1" (another relation), "x> y" (relation), or "x+ z" (operator), you'd never write "x: X". Instead you write "x = 1", "x > y", and "x + z" or "x+z" instead.

Whenever I see "a: b", I immediately think labeling colon. Despite having seen it thousands of times, I always have to perform an additional mental step (however trivial) when it turns out to be a type annotation; it takes a small amount of mental energy to dismiss each instance of syntax that looks wrong.

[Truthfully, I'm somewhat baffled how it would ever even cross anyone's mind when designing a language to write type annotations like "x: X" given the long-established, pre-existing precedent in mathematics and the way its semantics seem backwards (if you had to use a labeling colon, "X: x" would make much more sense to me).]

edit: I should be explicit that I'm referring to programming language syntax, and that I much prefer "x : X" over "X x" (there are good reasons I think for the type to be on the right-hand side, but other people have already written about that).

[1] "Evangelion" is a really lovely word, from εὐαγγέλιον good news = εὐ- good + ἄγγελος messenger, the double gamma pronounced even in ancient Greek as "ŋg" ("ng") rather than "ːg" ("g").

[2] https://en.wikipedia.org/wiki/Colon_(punctuation)#Usage_in_E...
> There is a certain sense that Elon Musk paid $44 billion to do this, so he has every right to do so.

Even though you can argue the free speech angle regarding news publications such as the new York times, I'm not so sure if blacklisting links to competitors such as Threads is something that sits well with antitrust agencies.
Juicero completely bombed. I don't see how the competition will be squeezed out by anything like it.
Answered this in another comment: https://news.ycombinator.com/item?id=37138526
When these recommendations come up on HN, It's always people who have had their printer for 10+ years. I always wonder if Brother is still the same way.

I bought a recent Brother and have been pleased with it, though I haven't yet tried to replace toner. I'm a bit worried because I've heard they do some firmware tricks with non-standard toner. I sure hope that's not true.
It's a little sad how Mono is dead, ironically killed by Microsoft not in a malicious way, but just because they open sourced their own superior product. Even Xamarin is finally on its way out, replaced by .NET MAUI.

Mono did have an important impact, but it was mostly with games, especially Unity.
I remember that there was a company that would somehow print out the 3DS photos in a way that they could be seen in 3D (probably with limited viewing angles). I'm sure there's some photography term here that I'm totally unaware of. I'd love to find a way to do this.
> Who's this "anyone"? Why are monopolies suddenly people?

Corporations have always been legal persons, going back to the Middle Ages (guilds, chartered cities, universities) and even Ancient Rome:

* https://en.wikipedia.org/wiki/Legal_person
It's not Big Data until it's over 32TB now! (or 64TB if your a Power10 user)
I can’t believe this was in a video they published themselves! Is their company culture so awful that employees saying their product is garbage isn’t seen as a problem?
My real analysis instructor drily pointed out “You really like proof by contradiction huh” and my defense was that my main life skill is spotting why plausible-seeming things don’t work correctly
> if you just have internet the bill matches the advertised price.

Until your fixed-rate introductory period ends. After that, watch the price creep up month by month. I've even seen very low-speed service become more pricey than high-speed service (possibly because it's no longer being advertised, so the rate doesn't have to look good).

Source: experience with a non-Comcast cable provider.
It makes sense, but wouldn’t the write be slow? Especially when you have many streaming pipelines.
I can imagine this being really useful from the ground up. Because it looks like it wants to be the source of truth, with different views on the data.

It’s hard to imagine it for a complex legacy application without having lots of added complexity. It wants to be the unifying programming model for the application. It would seem like running with two RDMS sources of truth simultaneously.

It’s like the xkcd “there are 12 ways of doing X, let’s create a standard to unify them” now there are 13 ways
Why? What is the benefit to the public good of allowing corporations to use their massive resources to shape legislation to benefit them at the expense of the general public?
> We can deal with that problem when it's the pressing one.

If is pressing. Any survivable scenario requires the deployment of massive amounts of DAC. That is what net-neutral is. Planting trees wont help, and even if we stopped all emissions today, we still need to remove tens of billions of tonnes of CO2 from the atmosphere.
Given how many miles they do without problem, this isn't a showstopper,
and it's just something they'll have to be cognizant of in the future. Just like Twitter/other online services and the World Cup. I'm sure they're having retrospectives and reworking deals with all the wireless providers to get guaranteed bandwidth. Given that the DARPA Grand Challenge was back in 2004, they've come a long way since. It's still got a ways to go (clearly) but it's the future, but no one's gonna give up now that we're already there when the conditions are perfect.
They generated 50,000 statuses once, put them in a text file, and pick between them randomly. So not at all.
Xitter, where you post your xarts
> It’s also telling that this manifesto blithely suggests TF could become Apache 2, which is wholly untrue.

Why is it untrue? If Hashicorp has the ability to relicense to BSL, what would prevent them relicensing to anything else?
That doesn't change the fact that they somehow manage to figure out the fees at billing time. If they need my street address in order to determine the eventual fees, that's fine. But for them to say that it just can't be done is to piss on me and tell me that it's raining.
Doing your own, requires you to gain knowledge in that area and in my view expanding your knowledge base is really important.
It's not all about immediate possible financial gain.
Obviously there's a line somewhere
Not premiums, but claims.

"It was recently discovered that your procedure involved a duck, however the insurance company will only cover geese, so here is the revised bill... Er, an invoice, not the animal's."
The other part of this is ensuring that people have work to work on. This requires planning that most companies don't have.
I like this article, but maybe because he drew the same conclusion as I did: Svelte all the way!

I always wonder if the authors of articles like these have an equivalent (or even adequate) amount of experience with all the many frameworks reviewed in the article. It's really hard to judge what they're good at if you haven't done at least a good-sized project with each one, and it's hard to imagine having occasion to do that. You definitely can't base it on what the framework homepage claims, or its own example projects.

I don't do front end development for money anymore, but when I did I always defended React against its critics. Then, when I stopped having to use it every day, I immediately realized I never wanted to touch it ever again. My defense of it was probably just Stockholm syndrome, looking back.
Yes you can, even if you don’t want to restrict lobbying on free speech ground you can place donation caps and increase transparency requirements which would both limit the power of corporate lobbying
That's not bad news at all. I'm not surprised that someone reinvented it. In fact, I love it. I love "demakes", where someone tries to recreate a modern game on actual old hardware.

However, I stand by my assertion that people who didn't experience these effects first hand wouldn't like it.

Valheim is beautiful, no doubt, but it's not really authentically old school. It's an idealized throwback - its what 20 year olds think a PSX looked like. There's also zero chance it would look nearly as good if it had to run on actual PSX hardware.
States are more autonomous than provinces (although closer) or regions in many european countries. My in-laws live in France but we'd rarely talk about the Departement they live in, it's the city that's mentioned.

Saying your state is imo closer to saying your European country instead of saying Europe.

Additionally, culture and education being what they are, most adults in western countries have heard of all the states, moreso than some of their principal cities, so it's not that odd to mention it.
Nukes these days are about strategic destruction of economic assets, not blanket salting the earth.

MAD was only really a problem in the 60s and 70s when delivery systems were fuzzy and they were going for a wide berth.

A nuclear exchange today would be much more precise. Not a complete volley to glass everything.

Not to mention, anti missile tech has been black tech for years. Here's a video of a mkv defense tool made by Lockheed back in 2008
https://wwe.youtube.com/watch?v=KBMU6l6GsdM&pp=ygUhTG9ja2hlZ...

This is the stuff they show off. Imagine the stuff they haven't shown yet.

I am not worried at all.
CFPB to crack down on data brokers, Chopra says at White House event
This is just how regulation in the US works. Agencies propose rules and affected companies and individuals voice any concerns when the rule is opened up for public comment. If they didn't voice concerns, we'd have a pretty terrible world where rules are handed down by fiat blindly.
Why does anyone say this type of thing? Someone with different interests from you isn't simulating anything. They are just being a person with interests. Honestly I disdain those who speak about such interests condescendingly much more than I would anyone who chooses to spend their money on a hobby.
Ask any LLM to act like a dungeon master who gives you medical advice and there you go. It’s more than “choose the next token!”

Llama 2 has given me some personality with basic prompts
Ironically I found it to be too deep. I want a quick feel for the mathematical structure and ergonomics of a field before really diving into 400 pages on logistic regressions.
Sure assuming you never get to the bottom of a cartridge, but as I mentioned, the difference is about 500 pages. We're talking about buying a new printer + 1000 pages for the same price as buying just 1500 pages. One yields massive quantities of e-waste. The other should be cheaper. If the OP is already at the point of replacing one of these set-ups, then don't they logically print enough to get to the bottom of either a starter cartridge or a full cartridge?! Sorry I'm having trouble following.
So it sounds like the rules themselves aren't recursive, just your current strategy for evaluating them; is that correct?

Given that, I'm more inclined towards the currently upvoted reply about translating them to JS/Lua and just calling eval(). [1] It'd be very simple and _should_ be fast enough, though you might need to worry a little bit about security (especially depending on whoever's providing the rule sets and how much validation there is around them).

[1] https://news.ycombinator.com/item?id=37136272
The best digital camera looks leagues better than the DSi camera, but the DSi camera was the only camera some kids have in the early 2010s, hence the comparison. "The best camera is the one you have on you."
It's patents, right? Anyone can build a working printer in their house. Selling it for money is a whole other set of problems.
Supposedly Mark Cuban is doing this with "Mark Cuban Cost Plus Drug Company". Whether that's what's actually happening, I don't know.
I haven't followed diffusion image generation development for a while. Where do you find information on what models you can use in the model_ckpt field? Do I need to import them from somewhere? What are the main differences between them and which are more modern or better?
Characterizing and Evaluating In-the-Wild Jailbreak Prompts on LLMs
> poker REALLY doesn't work when it's for play money

I have a great college memory of taking an all-in no-money hand off a fraternity brother as a freshman prospect during rush week... with a pair of 3's (against an ace-high?).

Dealer to brother: "Why the hell did you go all in?"

Brother: "Because we weren't playing for money."

Dealer to me: "Why the hell did you call with 3's?"

Me: "Because we weren't playing for money, and he wasn't either."
I was disappointed that these robots simply move in a toddler-like fashion as they learn. I did not read anywhere in the article that AI agents learn from toddlers. If this is an attempt at clickbait then I'm doubly disappointed in the IEEE newsletter.
The "N bots posting X times/second" isn't a very meaningful statistic. A system's reliability is mostly characterized by its performance under stress.
Be aware that it's the company's clients who ultimately provide your income. You should (in the short term at least) embrace the opportunity to get to understand the client's views of the company and its products. Confucius may inspire? https://www.open.edu/openlearn/education/12-famous-confucius...
Lobbying isn't the issue. The corrupt politicians who just implement whatever telcos request are.
I've tried to pay a healthcare bill for an operation and a followup that had been completed months prior, and they still would not tell me how much I owed. I just got sporadic bills in the mail and there was a single website where I could enter how much I wanted to pay them in total. I waited a couple months, walked to the hospital, and asked them for the sum. They told me they had no way to know. I paid what I thought I owed and then I guess somebody figured it out without telling me, so I ended up in collections for a two figure sum.
Surely, you don't want to be associated with those instances anyway, right? I'm not seeing the problem here. You aren't being excluded from the fediverse, just from that group of instances.
I used to have a Brother laser but now have a Kyocera color laser MFP, it works beautifully so that’s another good option.

Also a networked printer is a lot less faff if you have a lot of Linux machines at home, from a drivers perspective.
This makes sense, thanks. However, it doesn't mean that the 3% estimate of the chance of impact was wrong at the time of initial observation given data available, and that still makes it a huge deal at that time. At minimum, it would seem to justify using the best available instruments to characterize the asteroid more precisely as soon as possible.

If these large numbers happen so often that asteroids with initial impact probabilities of 3% are known to actually impact much less frequently than that, then the model is poorly calibrated, no? In other words, the reported probabilities aren't really probabilities and that is what has caused the confusion and anxiety in these comments.
That's xkcd 927.

9, which is 3^2, and 27, which is 3^3. Or 900 is Yoda's age, and 27 which is the 27 club of musicians who committed suicide.
So call them "my good person" giving the implication of familiarity. Similarly my best person could be your best friend.
We'll stop getting junk fees when (1) people stop checking out carts with higher prices than advertised or (2) total prices are required by law, like in Australia.
As someone who has dealt with crazy tax codes and different regulatory fees in telecoms I can tell you that the systems that calculate those bills are very old and clunky. They are built to handle billing in batches, and are not suitable to provide accurate amounts to be shown on the consumer facing website on demand.

Of course they can build something that is suitable. But they are a combination of [lazy, greedy, corrupt, under-resourced].
Aren't they referring to the price of each track to the consumer? To the consumer, the price to listen to any particular track is the same.
The person who wrote this [1] seems to be a Haskell (GHC) contributor and someone hailing from lexi-lambda.

----

[1] https://langdev.stackexchange.com/users/861/alexis-king
People equip cars with huge wheels for the same reason homeowners plant large swaths of grass over highly productive land: the aristocratic image of being able to afford to waste and being above the peasantry.

Donks are a clear cut example of this within that subculture.
Sounds like an insulin spike.
And here I thought it was because of the women and martinis.
I think a good example is Microsoft Source Safe. Microsoft had the strongest incentive to use their own product internally and yet even a company this size could not resist the pressure in the long run to use a marginally better product.

We will see how this turns out with LLMs and while I wish companies were more concerned about what data they share with third parties my experience is that apart from military/intelligence related data everything can and will be outsourced.
Incantations are fun!
What's amazing is how many people misunderstand this, and think the government treats a legal person as a full flesh and blood person.
If the startup is growing and profitable, given your early arrival and importance, then you should have some significant degree of ownership. Since they have not provided that, and yet rely on your services, it would be very fair for you to abruptly cut them off, hopefully killing the business.
How could you _not_?

I'm only waiting to have decent LLMs able locally to be able to start really using them.

No way I'd feed my code, customer data, personal info, secrets, emails, etc., to some dubious cloud machine which is already excellent at exctracting valuable or juicy bits from what I'm feeding it.
If you wake up: no problem. If you don't wake up: no problem.
> One thing TF does well, is bare metal.

How? I've always viewed TF as good at anything except metal; the best I would know to do is remote-exec but at that point you might as well drop to raw shell.
Looks like it is about the same size as 25143 Itokawa that the Hayabusa probe visited. That has a mass of 35 billion kg. The Burj Khalifa is 0.45 billion kg so that is about 80 Burj Khalifa's.
> In a world before Docker and btrfs, this would be enough to make installing FreeBSD worthwhile

FreeBSD is really missing out in not implementing something to run containers, and it shouldn’t even be impossible.

The podman people basically reimplemented the docker daemon command line (and apis), and I remember a talk by Bryan Cantrill about how joyent reimplemented the docker API to spawn Illumos/SmartOS zones backed by zfs volumes (i guess either datasets or zvols). And there was some person reimplementing the docker apis using jails as a backend… but I guess that project never went anywhere and didn’t get the attention (and funding/developer time?) of the freebsd foundation.
Tao’s advice is characteristically excellent but I think Eugenia Cheng’s advice (not just the article title but as a whole) is actionable, just not so much for someone who is ready for specific advice like Tao’s. Her message seems to be targeted towards those who are just getting started and who may not otherwise have been interested in studying math.
These little boards are great - I'd recommend the isolated version for anything that might be referenced back to ground potential.

We have one in an OpenEVSE, it's been ticking along no problems for a couple years now. In that scenario, in theory the PoE allows the ESP32 to detect if the EVSE breaker pops - I've not had that happen, but it seemed like a worthwhile feature to consider ;).
You can get every LLM to do this, they are generative models, not retrieval systems, and can be swayed to say whatever you want
What we do is not use our intelligence and education to overthrow the system. Seems like a pretty good tradeoff.
I don't except Oracle and its GPL ilk love to sue people for millions of dollars and stretch the meaning of derivative work more than a transwoman stretches a miniskirt.
Pretty sure it's standard practice to always do "t[space]:[space]T" with equidistant spaces between the colon. In spite of Type Theory generally being an inconsistent mess, this is a rare case where everyone seems to be fairly consistent. I was actually curious how I did it in undergrad, and even I had the common-sense of making it look nicely symmetrical[1] :)

[1] https://dvt.name/logic/horse2.pdf
1. Set the Raspberry Pi on your desk with a screen and mouse and keyboard.

2. Load any old text editor.

3. Put your child on your lap.

4. Point to the keyboard and mouse and encourage your child to use them.

5. Express wonder, joy and encouragement at everything they do.

6. Experience joy and wonder yourself.

Good luck.
You are confusing terms. "Collectible" doesn't imply that something will gain or hold value.
My Favourite macOS Terminal Commands and Tools
That depends on the timescale. Over a long enough time it is 100%, for a human lifetime maybe one in a million or so.
> Russia 'per capita' with or without the handful of oligargs that make off with the bulk of the Russian GDP? Because that's a huge difference with Ukraine in terms of wealth.

Let's not pretend Ukraine doesn't have its own oligarch problem. They just had less to work with so are less globally prominent.

> I think it would work out in favor of Ukraine

With current exchange rates and the whole situation it's hard to say, but in the 10 years prior to 2022 the average wage in Russia was also about 2-3x as high as in Ukraine. Yes, Russia has more inequality but the median Ukrainian was still poorer.

While the actions of Russia and it's government are of course evil (even to a cartoonish degree..). I don't think it's wise to over idealize the situation in Ukraine. Even before the invasion it was the poorest country in Europe. It was also one of the most mismanaged ones over the last 30 years as well (and not just because of Russian influence they have a huge amount of internal issues, especially corruption). That's not something you can change in a few years and Ukraine will still have a huge way to go after the war is over.
Proceedings in POPL or PLDI will have plenty of papers with this stuff.
32TB ought to be enough for anybody.
This would be truly great. I have been pushing back the task of itemizing all of my belongings into a spreadsheet in the event of a natural disaster/fire/theft and having an assistant that I could say, "I have this road bike I built" and have it look through my emails and gather all the components and associated costs, then add it to a spreadsheet, would be a boon to many people. Of course, having it do it automagically from my purchases would be even better.
This is why I am holding on to my HP LaserJet 1320n for dear life. It's been working perfectly for over a decade.

I even made it wireless with a Raspberry Pi Zero.
That sounds like a technical debt to me.
Not only does GitHub not require SMS for 2FA, they discourage it https://docs.github.com/en/authentication/securing-your-acco...