skysight-inc/HackerNews huggingface dataset:
Couldn’t this be said of any software controlling a robot? The software isn’t really controlling anything, it’s just telling the motors what to do?

IMO the logic making the decision of what to do is by definition controlling the robot, even if it’s intermediated by subsystems and electrical components that translate commands to movement.
Or even just an option to turn of the default "spam everyone who ever touched this page whenever anyone touches it".
I'm watching it, it's really good. Montana makes a great point: you can move data to the models, or move the models to the data. Data is typically larger than models, so it makes sense to go with the latter.
I've travelled with my eSIM and switched carriers domestically. I've also switched phones. Here are some samples of why it doesn't have to be a problem:

- AT&T makes transferring iPhone - to - iPhone trivial; offers to transfer automatically during setup

- Visible provides an example of a simple app that can install an eSIM on your new device without talking to a customer support rep or waiting for something to come in the mail;

- The previous also applies when moving between competitors - means one can switch carriers in an hour from your living room

- Traveling to Greece with the Airalo eSIM app was trivial to set up (open app, search country, pick data package) and while I'm sure I paid more than I could've if I'd found a local physical SIM, I was able to set it up before leaving the US so it worked instantly the moment we landed, and the app made it easy to track data usage and reload if needed without phone calls or local apps.
In the author’s defense they mentioned the NASA standard, and that guide— while legendary— isn't a "lacing" guide. Of the 50+ images, only 2 show lacing (acceptable v. unacceptable), and the rest is spot tying, zip tying or other harnessing. Always nice to see the link though
https://en.wikipedia.org/wiki/Comparison_of_United_States_in...

I hate to tell you this but

> The US incarceration rate peaked in 2008 when about 1,000 in 100,000 U.S. adults were behind bars. That's 760 inmates per 100,000 U.S. residents of all ages. This incarceration rate was similar to the average incarceration levels in the Soviet Union during the existence of the infamous Gulag system, when the Soviet Union's population reached 168 million, and 1.2 to 1.5 million people were in the Gulag prison camps and colonies.
“Boss, I clicked the notification that you changed the layoff list, but now that the notification is gone I have no way of finding it, can you add a space to the bottom so I get another notification?”
While I largely agree with you, this isn’t one of those cases. If Fly wasn’t supposed to scale in due course to this size, it probably wouldn’t have been funded. If your business model is predicated on you scaling, yes, you should hire appropriately in anticipation of that.

Besides, I’m not even necessarily talking about hiring here - even consulting would have been sufficient to avoid this catastrophe.
My life has changed since I learned that reusable zip ties are a thing. They have a little lever you can press to release the cam.

They cost more of course, but I’m never going back.
> Beyond all the other issues, voice just isn't that convenient an interface.

This is an excellent point, and not only related to voice.

We often try to invent "smarter" ways to communicate, that are actually harder to use. Like having an app to control your toaster, which seems to be the next step, but simply having a physical device on it that takes 1 second to press is a lot faster, easier and feels more rewarding from the tactile feedback (I love pressing clicky buttons).

Voice is the same, turning up the volume on your TV is easier by simply pressing a button on the remote (assuming you have it in reach) than saying a voice command. This is also true in human interactions, sometimes it's easier and faster to just do something by yourself than having to ask someone to do that thing for you. Also, voice commands have to be perfect in the same way physical buttons are, whenever you press them the result is always the same. It's hard to keep using an unreliable input method, that has only 60% chances of doing what you expect.
sending a file to someone 5 feet away is still a challenge.

Yeah, what the hell is with that? If I need to send files between phones I can use an app, but there's no telling when they'll stop developing it and it'll stop working. It's gotten to the point it's easer to copy a file onto my network drive and then recopy it to the destination device. When I'm away from home, though, I usually have to grab an actual USB cable.
No, it's a blatant cash-grab by all big online stores.

And for awhile you can continue to search "shipped and sold by Company" but eventually that goes away, because the marketplace shit is pure profit for them.

It sells out the brand and turns them all into eBay/Alibaba clones and it's a major danger sign.

More and more I have to restrict Walmart to "stocked in store" to avoid useless crap.
At least one F500 company had iteratively reweighted least squares implemented in MS SQL as of ~20y ago. When all you have is a hammer...
> In Oct. 2016 I started the design and the implementation of the Dragon programming language. After 15 months of development, In Jan 2018 the language Interpreter and environment were ready for use!

This shows just how much a labour of love the development of a programming language is.
Thanks for sharing. I am not familiar with Agda. Will take a look. There is somewhat similar code in COQ: https://github.com/coq-community/regexp-Brzozowski
I agree. I don’t get the hatred for jira. I mean don’t complicate its usage. It’s a pretty awesome tool. It’s simple. Yeah, there’s some clicking but on the whole that’s on the person owning the project to customize.

I don’t mind bitbucket either. We self host both.
Hi again @elonmusk
While in some cases you need to transfer the eSIM, you can also just as easily provision a new eSIM - ex. on Visible, you'd just download the app to your new phone, sign in, and tap install eSIM button.
A compendium of things I didn't think AI should be able to do
A study on the extent of global air pollution
Back in 2009-2010, when Facebook was going gangbusters, I used to joke that "Facebook is the new AOL."

Now Facebook is the old AOL.
No, it is not EU (AFAIK).

Anyway, besides Britain (both before and after Brexit), there is only a handful of countries in EU that do not require ID, among them Denmark:

https://www.comparitech.com/blog/vpn-privacy/sim-card-regist...

most do require it.
> So large numbers of immigrants have a destabilizing effect on society

They do and that is plain to see across Europe. That's an observation.

Burying your head in the sand only makes things worse and actually plays into the far right's hands, like also calling people names (eg. labeling them racist or xenophobic) because they have concerns, which can be valid.

Certainly, asylum laws and procedures are being abused, that is not perception. For instance here in the UK there are apparently 23,000 pending asylum applications made by... Albanian citizens. So clearly migrants have realised that claiming asylum currently immediately stops them from being treated as 'illegal immigrants' and allows them to stay while their application is pending... And the situation looks similar across Europe.
Brother, if you are interested in experiencing or using it, you can find me on Twitter if you encounter problems, @wngyunb2
Pure Storage Teases 300 TB Ultra-Large NVMe SSD with Tentative 2026 Launch
Yeah, some things in life seem "stupid" or wrong to be the default when viewed from one side, and seem smart and the obvious thing to do when viewed from the opposite side.
How long is the pin code that can be used to log-in into your phone and likely must be used when you restart it? 4-6 digits?
I fixed siezed -> seized. Thanks!
You don't even have to load a sketch to the Arduino. Just connect the RESET pin to GND. That will keep the Atmega IC on stop state and the TX/RX pins are free for what ever you need them to use for.
What? Denmark and immigration?

Did you even read how Denmark is treating immigrants?

Basically putting them in prisons [1] because they deemed their origin country safe even if they can't be actually deported.

And even if you learned Danish and already started working and producing income, you are still under threat from getting deported.

They are also stealing their jewelry [2] to "cover immigration costs".

1. https://www.nytimes.com/2022/03/07/world/europe/denmark-syri...

2. https://www.theguardian.com/world/2016/jan/26/danish-parliam...
Interesting, I hadn't heard of those before! I had to go look up a video to see how it worked [0].

However, since it uses standard zip-ties, there's still the extra bump of the head on the finished tie, which can snag if you're pulling on the bundle.

0: https://www.youtube.com/watch?v=iBP7kMi-mN4
Significant down payments are a result of government regulation not choices by banks.
More often, to save $150 for a PCP visit. Nobody is ordering black market viagra/cialis because they can't find a doctor who will prescribe it. It's because they can't visit any doctor.

Or it's tacked onto another order. For example, Asmanex is $400/mo under my insurance, or I can order another inhaler with the same active ingredient from India for $10. Then I'd likely just put in another $10 of viagra/cialis because why not.

Most likely, men are just adding non-FDA approved viagra/cialis to their actual international medication orders "because why not".
Bad argument. My sense impressions consist of far more than just text input. We don't know if consciousness consists of one model, multiple models or is something different from a statistical model but makes use of one or more of them. I also don't consist of only a nervous system, I also have an endocrine system that has very pronounced effects on my behaviour and my interpretation of input.

There's a giant gap here that people keep glossing over when they treat LLMs as almost-human.
There's something that reminds one a little of a knight stabbing a dragon with a sword when you're forced to yell "When I say stop I mean STOP, you son of a bitch!" and ram an extended paperclip into the manual eject hole.
Not really. There are countries that are social democracies but have decentralized power. Look at Germany. Or Austria.
I'm curious what these "extremely poisonous benzoic acid derivatives" are. Benzoic acid itself is not very poisonous to humans at all.
Pushing all your traffic through a third party cloud server causes a lot of problems.

It costs that third party real money to run that server...

What happens when they decide to shut if off because they no longer want to bear the costs? Your applications are a ticking timebomb...

What about privacy? What if the operator of that server decides to fund it through selling your data?

Sending your traffic through a third party server adds latency, sometimes a LOT of latency if that server is far away. This is very bad for certain latency sensitive things (gaming, calls etc).

If you're dependent on a third party server then you're screwed if it goes down, even if your own connection is fine.

Doing away with that and going back to peer to peer is MUCH better in most cases.
This is wrong. You can't pay for those labels; Amazon auto-assigns them based on sales data.

Source: I sell on Amazon and one of my products is Amazon's choice for something.
> It's built on a particular technical distinction between paring and validating that (1) is not all that commonly understood or consistently accepted and (2) not actually explicitly stated in the article!

If this isn't clear to you, ask yourself why programming languages are parsed and not merely validated. Validation is a subset of parsing, so clearly there's something important added.
I wonder if its name was inspired by the “Dragon Book” of compiler design.

https://suif.stanford.edu/dragonbook/
Some companies have this baked into their DNA, and I'm very fortunate to have worked for a couple of them in the past 10 years. There have been a lot of benefits to this, but the one that sticks with me the most is the appreciation other teams show when you empathize with their problems.
> The supported programming paradigms are imperative, object-oriented, declarative using nested structures, functional and natural programming.

What is "natural programming" supposed to be?

> Dragon Native

What is dragon native? How does it differ from Dragon? Where is this difference explained? I mean, this is right in the middle of the top thing I see on the webpage.

From the docs:

show and showln operators are used to output text.

What is the advantage of making these operators instead of functions like `printf()`?

From the docs:

readChar(f) - reads one char (2 bytes). Returns number char's code

What is the definition of "char" here? Why is a "char" 2 bytes long?

From the docs:

for initializing, condition, increment {
body
}

// or

for (initializing, condition, increment) {
body
}

// or

for (initializing, condition, increment)
body
end

Why are there multiple ways of writing the same syntactic construct?

From the Dragon native documentation:

Not Case-Sensitive
Since the Dragon native is not case-sensitive, the same program can be written in different styles

In the very next sentence, the documentation states this:

It’s better to select one style and use it in all of the program source code

So why not just enforce a style in the first place?
Linear is unfortunately too opinionated. At my last gig my manager wanted everybody to be using the same task tracker (understandably) and I wanted our team to move to a Kanban process because we evolved into the Infra/DevOps/IT team and ended up doing very little product work. At the time there was no way to operate in this paradigm as Linear forced you to use "Cycles" (a proprietary term for a time box) and it meant that we had to keep doing faux-Scrum.

I'm no particular JIRA fan and have had the misfortune of having had to administer an on-prem instance of it but the people who complain about it have clearly never used TFS or the bespoke solutions hacked together from off-the-shelf software (Domino, Sharepoint, Notion) that I've been exposed to. JIRA's a solid 6.8/10 and has always been far down the list of things that I'd change at any job I've had that uses it.
> Boz: arrogance personified. None of the misteps in the last 4 years are ever his fault. It was market forces that meant that raybans failed, rather than releasing them before they were finished. the quest pro didn't sell, not boz's fault. The market wasnt ready for a capable device with absolutely no software support for the new features. Want to join your friend in a VR game? sure! just perform 15 clicks and wait 7 minutes. No not those clicks, no you need to press the hidden sub menu silly! Oh, no, remember you need to have an OS update first. 10 minute update tax!

I wonder if companies like Meta will finally start caring deeply about performance of their products, and will switch to software paradigms which preserve performance (see for example latest Casey Muratori talk on slowness of Clean Code, and also his "40 million lines of code" talk). I mean, the forced updates of software, and how long they take, is a major complain of users of many modern entertainment devices (the VR googles, game consoles etc.). They long updates are of course caused by "the stack" being a pile of uber-overcomplicated shit, which was quick and convenient to develop, but now is harming the product.
T'was always thus.

Every so often, another cave is uncovered, knowledge of how to hunt or recordings of various activities etched or painted on the walls. Thousands of other caves are missing or lost forever.
The "How you can verify this." doesn't seem to work. Clicking on it changes the title of the page to "undefined".
About fifteen years ago, I started reading through the Hugo Award Novels

https://en.wikipedia.org/wiki/Hugo_Award_for_Best_Novel#Winn...

Limited by what my local library had on the shelves...this was before it started getting rid of all the books in the name of library science (but I digress).

In the end, with all the side detours I read a few hundred sci-fi books in a few
years from that idea, came across books I wouldn't have otherwise, and got my fill of Sci-Fi after three decades away.

tldr; worked on my machine. Good luck.
Yeah. I think it can be done. But you've got to jump through hoops sometimes for sure. This kind of crap https://community.atlassian.com/t5/Jira-questions/Need-help-...

"Ideally, you've used the same notification scheme for all projects and can just go in and find the notification to take yourself out of. If not, you'll have to check every notification scheme."

shivers with fear
It may be helpful to give this vulnerability a name, contributing to public awareness of the issue. For example, The SHA-Shake Redemption.
If you get impostor syndrome, read this
It is an extremely simple chip and right now it is integrated into the motherboard of any phone. This would make sense if the eSim component was an easily swappable element, which it isn't.
Sorry but this critique holds no water. I would even add that, if anything, eSims and iSIMs would probably lower the environmental impact of Sim Cards, which are physical pieces of plastic that are produced (with CO-2 emissions) and shipped (with CO-2 emissions), and also contribute to plastic pollution, as they get shipped in credit-card sized plastic holders that are mostly trash as soon as you get a minuscule nano-SIM out of them.
Yeah, these rules are scoped to “doing stuff by clicking on a web page”. They are rules for buttons, basically.

Typing absolutely needs to be “instantaneous”, i.e. it happens by the very next frame, so “< 16 milliseconds”. Same goes for mouse movement, the cursor has to be perfectly in sync with your hand movement. These are a step beyond “it feels like you made the thing happen”, they are more primitive, like maybe “it feels like you are the thing”. When you put touchscreen gestures in the same category as mouse cursor movement and typing, it seems obvious you would need single digit millisecond feedback - but it did take us some time to empirically discover that was the natural category for gestures.
I love when we don't acknowledge the suggestion is the pain point. I can't get to work because I lack access to transportation. Crazy idea buy a car! Geez, why didn't I think of that?

Finding a reputable online retailer, with customer service, competitive pricing, and fast delivery that has your product in stock is hard. Managing a list of niche retailers that meet those requirements, one for electronics, one for home goods, one for furniture, etc. etc. is not something people want to do. Convenience drives behavior, and until there's an aggregator that does a good enough job (Google shopping or whatever isn't it), convenience will still drive people to Amazon.
Maybe you can elaborate more instead of having people guess?
What's one more lawsuit? Get in line.

I'd like to say nothing Musk says or does surprises me anymore, but this is so unnecessary, petty, unprofessional, and likely illegal it seems like a new low.
[0][1]: both links are the same.
Adding ChatGPT to Your Slack DIY
In Defense of Serverless
The whole blogpost was written by ChatGPT. At least put some effort to tweak the output. ChatGPT's default style is easy to spot and boring to read.
Amazon does have some major advantages in the "free shipping" areas, but those are starting to be outclassed, especially as Prime becomes more and more shit.

The "free delivery" minimums are pretty easy to hit at some place like Walmart or Target or Home Depot, and often it's just free shipping period.

And since 2day shipping is dead at Amazon even with prime, you just start cart-collecting and ship when it hits the amount.

Or you pay shipping to places like Monoprice, rather do that than pay amazon "more" for the "same thing (literally)" with free shipping.
I love this - thanks! Easiest interface into ChatGPT I've found.

/setvoice didn't see to work for me.

I was looking for a British voice and tried

/setvoice Brian

Am I doing something wrong?
With “traditional” RDBMS systems, putting a lot of code in the DB lead to a lot of scaling issues where you’d need gigantic machines with a lot of RAM and CPU: because the DB was doing so much work. It was expensive and clunky to get HA right.

In more modern DBs being distributed horizontally, this approach may see a rebound. The big “but” is still costs, in my experience in AWS as an example, managed Postgres Aurora was surprisingly expensive in terms of monthly cost.
Microsoft Exchange Server 2013 End of Life
They're spending ~$34k/month according to the cost breakdown sheet from https://lichess.org/patron, which is about 6,800 $5/month patrons.

They must also have a lot of $10 or more/month patrons.
It's at least once per month.
"When government says they're doing something that increases their power over people"

I didn't see this in the article. The eligibility requirements and punishments remain the same regardless of the surveillance. It's just that with surveillance you're more likely to get caught.

The most compelling case against large scale surveillance is that future regimes can abuse that power. Surveillance itself is agnostic until employed to some end. The question becomes what level of use do people find acceptable. Of course this will always result in some level of minority abuse when certain activities are frowned upon my the majority.

The somewhat good news in the welfare case is that it's only enforcing existing laws, it only covers a subset of the entire population, and those in the subset have at least the theoretical choice to remove themselves from the surveillance.
Look up the wire around Manhattan island if you want the peak of that nonsense.
I figured from the title I'd get a better explanation in the comments, and I was right, but I think the article is not nearly as bad as the clickbaity title suggests. It's a decent introduction to how to use types to simplify code, and the basic idea that your types should reflect what you know about the data is extremely powerful. If you go to the trouble of checking that your data meets some constraints, you should be able to represent it with a more constrained type afterwards, and that is the essence of parsing. It all makes sense! Even the title makes sense, as a quick way to reference and remember the idea after you've learned it.

But, yeah, the clickbait title put me off, and you're right that the terminology is unhelpful, since the distinction between parsing and validation isn't consistently made, especially in practical work. Virtually all of the "validation" code I've seen in statically typed languages, in the codebases I've worked in, would be "parsing" by this definition.
Isn't that a wizard?

Though I prefer Spivonomist's definition there: wizard is to wise as drunkard is to drink.

Leaving open the question of the fuckard...
What's the point?

I remember being excited when my karma crossed 1000 here for no reason. Nothing happened, obviously.
What purpose does case sensitivity in a programming language serve?

Why would I ever need foo, Foo, and FOO to refer to completely different things?
Three Body 三体
Gotta be honest, as someone working at Meta right now, every week to hear rumors and 'articles' about being laid off, it sucks. :(