skysight-inc/HackerNews huggingface dataset:
I'm firmly in camp "it depends" but it was nice almost talking to you. :-)
I'm using a phone right now that I bought in 2016. The battery lasts me the day more or less.

I bought a pixel just recently because Slack told me my phone is too old for them to support, and I need it for work. The camera is messed up on this phone, but otherwise, I would happily keep it another few years.
Steam is indeed still not on Wayland, but generally speaking, it's worked well for me... It runs under XWayland which is 'fine'

Games may find some benefit from gamescope: https://wiki.archlinux.org/title/Gamescope
A friend still uses their iPhone 6 as their daily driver, with its original battery. The battery has lost some capacity, but not so much that they are constantly worried about recharging it.

And yes, I've told them they need to replace it -- for security, if no other reason. But, they are a teacher (a very good and dedicated one, I'll add), and money's tight.
>> Also, the domain we're in is engineering. There are no single correct decisions and everything is about trade-offs.

Yep. In my experience, hardliners tend to not be great engineers, even if they have decades of experience.
No, OpenAI is listed as "Service provider for AI-enabled functionality" so they're just building new features in Figma powered by OpenAI.
Thank you for great feedback! I decided to cover NAT64 and DNS64 gateway setup guide mentioned in this article briefly: https://pavel.network/building-gateway-to-access-legacy-ipv4...
It's a new cert I'm selling. /s
Defining what constitutes an "actual" emergency is probably a non-trivial political discussion in and of itself.
> call center work seems brutal and cruel [...] it's probably best for worker's mental health if these jobs go away entirely

They are sadistic in the most literal sense-- the conditions you have to put up with are directly lifted from the pages of any mental/emotional sadomasochism tutorial. You're nitpicked over everything and held to conflicting standards that are impossible to meet, and constantly threatened with firing. They want calls resolved without escalation, but you can't spend more than n minutes on the phone to do it. Here's a half-complete KB from 10 years ago to reference.

You say good riddance, but these jobs are the best some rural communities can hope for. They paid 3x anything else in the area (a whopping $11/hr back in 2006). Next best thing was Walmart ($8-9). Everything else was minimum wage.

Eliminate jobs like this and new opportunities for an unskilled labor force do not replace them.
That was a breaking change, and was a medium-sized headache, in that it broke some crates. As an original design decision it would not have been too bad, but as a breaking change, it was.
Some early Lisps had both compiled and interpreted mode, where the interpreter used dynamic scoping and the compiler used lexical scoping. (Which, I presume, caused much developer confusion when code worked fine in the interpreter and got very strange behavior once compiled.) Something analogous (but more sane) could be done with type systems.

I'm very much a fan of strong static typing, but I understand the appeal of dynamic typing, particularly for small scripts and/or prototypes.

Static type checkers (for most languages) are pretty simple theorem provers. For statically typed languages, the compiler (or, I suppose in rare cases, interpreter) rejects any program that it can't prove is free of type errors. An alternative would be to only reject programs that provably contain type errors. The difference in allowed programs covers the cases where the type checker can't prove either way.

So, I'd love a language with a type checker that when ahead-of-time compiling code would refuse to emit libraries/binaries when it couldn't statically prove types were used correctly. In interpreted mode, it would only refuse to load code that it could statically prove contained type errors. Maybe when used within an interactive session, it would still allow (but warn) when code provably has type errors.

As an added bonus, static type guarantees open up more opportunities for the optimizer. A single language offering some range of static guarantees would reduce the number of cases where dynamically typed code gets re-written into a higher performance statically typed language when re-factored into libraries.

If you prefer, go ahead and dynamically type your scripts, etc. However, if/when it comes time to package up parts of your program for wider re-use as libraries, please tighten up the static guarantees of type safety.
Speaking of cases, the case near the bottom of the page is being sold for $35. That's a lot of money for some molded plastic.
Yanis Varoufakis on the death of capitalism, Starmer and the tyranny of big tech [video]
The infrastructure of a large ecommerce website is extraordinarily complex as well, as well as issues that arise with warehousing tech.
Oh man the people defending Amazon in the comments, I understand many of you are investors but come on... let's stop pretending for a second that Amazon doesn't deserve a break up for what they've been doing for years now, even after being called to congress for it.
A slap on the wrist.
They are close to being back to original size of the pixel 3 which in my opinion was the perfect size.

Pixel 8 - 150.5 x 70.8 x 8.9 mm

Pixel 6 - 158.6 x 74.8 x 8.9 mm

Pixel 3 - 145.6 x 68.2 x 7.9 mm
ISBN is the default ID when it comes to book related projects, yes it is convenient but not without its caveats. The often overlooked fact is ISBN was introduced in late 1960s, so books published prior to that obviously does not have that number; and not all countries adopted ISBN from day one, some like China was on its own catalog systems until 1980s; and bc ISBN are usually centralized managed by govt or commercial agencies, censorship with political or commercial reasons are not uncommon, some books were not able to get published, or may only see the world without an ISBN.

For obvious reasons, older / non-English / suppressed books may be those need more care when it comes to preserving.
Victoria to expand vacant residential land tax to increase housing supply
I'm largely acknowledging that that is where we are. And not too concerned about that for many rules. But, and I said so in the initial post, expect that more and more will get enforced both as you get bigger, and as we get better at enforcing them.

That is to say, I also expect clarification and evolution of the rules during this enforcement action. Such that I would be most happy to have some of these arrangement flat out illegal. That said, https://www.ftc.gov/advice-guidance/competition-guidance/gui... was linked on Matt Levine's email today. And... "Our company monitors competitors' ads, and we sometimes offer to match special discounts or sales incentives for consumers. Is this a problem?" is answered with a no. Such that, this is a tough field to litigate right now.

And, what is it you are advocating for? That we only have rules that we can universally enforce? That would require that we know all of the ways that they can be broken from the beginning, so that we can encode those in law.
I would assume, again, that only applies if the law was mandatory, not directory. And most laws covering government officials in Illinois are only directory. So there is no real duty to follow.
This take is common, but personally never understood it. The typing is optional. Use it for the easy stuff and enjoy the low hanging fruit
I do. I have a few VLANs and subnets at home.

Docker Compose creates a new network for every project, and eventually overlaps with something important. They are fairly large ranges by default, so you end up taking up a lot of address space fast if you're not careful. This is especially wasteful because some of the Docker networks only contain two hosts, but are (from memory) a /24 or maybe even a /20.

Easier to handle it manually.
Static typing won there's no point arguing over it anymore. The issue is the type systems. Someone writing Haskell will have a very different opinion of types versus someone writing Rust versus someone writing Typescript versus someone writing Bash.

That's why you see a negative reaction to static typing. Its the developer experience. Its the error messages. Its the amount of time and mental effort it takes to type something correctly.

If you told me I had to choose between dynamic Python or strict Typescript I would choose Python. I love static typing. I hate Typescript.

So don't die on a hill! Just make better type systems!
To me, that reads more like Figma is using OpenAI for functionality (which inevitably means they have to provide information for prompting) more than it reads they are letting OpenAI use Figma data to make their products better.
If you removed all of the middle men then the live event industry would practically be hallow.
Thanks, I'll wait for it to be available (I'm a casual user and I'm not the one setting this up or paying for it, if someone is paying for it, so I'm not in control of which version I use).

I'm in full agreement about humans and reasoning, btw. I just don't think chatgpt (with the version I've used) is anywhere on the same league as the worst (way below-average) humans either. I do think it's quite useful as a writing aid. You do need to review what it gives you, but you'd have to do that even if you were relying on a human writing aid.
Someone else also pointed out that Vespa was missing. I'll have to look in to it and add it to the article!
The four body problem? That's quite the mexican standoff gone wrong, if all four of them manage to kill eachother.
I'm very much with you on static typing but you've closed your mind with a slam. Please don't.
Kyso Shutting Down, Open Sourcing
I really don't understand replies like this.

This is just the beginning. It is a tiny, tiny view into this new technology.

Nobody with an ounce of intelligence looked at the first iPhone and thought "ah well it's just another phone". It's the potential of this new technology that is so impressive.

How can you not be impressed by this? I am literally incapable of empathizing with your perspective. All I can think is that the world is going to pass you by.
Calling a four year old account with 10k karma "relatively new" with a winking smiley sounded a bit passive aggressive, but I take it back if you didn't mean it that way.
A winning combination with control-shift-f9 to recompile the function body and then drop-frame to retry with the new code

I have lost hope for DCEVM being upstreamed to allow structural changes to the class :-(
https://github.com/kyso-io
The second. Mathematical logic thrives on precision, clear definitions, and unambiguous axioms, but real-world systems are often marked by vagueness, uncertainty, and dynamic change.

Gödel’s Incompleteness Theorems also demonstrates that in any sufficiently powerful mathematical system, there are true statements that cannot be proven within the system. This implies that no matter how refined a logical system you devise, it will invariably be incomplete or inconsistent when grappling with real-world phenomena.
It's no coincidence that companies that make their own chips have longer support cycles.

When a chip is supplied by a vendor and needs to be supported in the kernel, the whole thing can be EoLed by one stubborn vendor. That's one of the promises of Fuchsia - decoupling hardware support from the rest of the system, so you can keep everything else up-to-date even if Qualcomm tells you to kick rocks.

https://fuchsia.dev/fuchsia-src/concepts#updatable
And if I can imagine it, for sure the big bad CIA bogeyman is doing it to both terrorists and patriotic Americans alike. /s

Some evidence of it actually happening is perfectly reasonable.
Suing someone who lives in the same town as you is already a giant pain in the ass. Figuring out how to do it in another country?

Good luck not being screwed by your attorneys, for instance, or even knowing which type to call!

Every country has significant and meaningful differences in legal traditions, laws, procedures, etc.

For easy examples, try to figure out how to (actually) make a fraud claim against someone in England, France, Russia, and Thailand.
This is just emulating old flaws for nostalgia.

Toyota is in denial. They can’t imagine a future in which their expertise in ICE becomes obsolete and irrelevant.
Reminds me of Alan Turing's wildly undernoted remarks about ESP in his seminal essay "Computing Machinery and Intelligence"

> I assume that the reader is familiar with the idea of extrasensory perception, and the meaning of the four items of it, viz., telepathy, clairvoyance, precognition and psychokinesis. These disturbing phenomena seem to deny all our usual scientific ideas. How we should like to discredit them! Unfortunately the statistical evidence, at least for telepathy, is overwhelming. It is very difficult to rearrange one's ideas so as to fit these new facts in.

(This is from a paragraph dealing with ESP's implications are for the existence of thinking machines.)

https://redirect.cs.umbc.edu/courses/471/papers/turing.pdf
When FB was founded there were:

MySpace

Friendster

Whimit - Russians online (LOL)

and many other small examples. There was still AOL, MSN, etc. There was a time when they ruled.

The only reason that FB, Google and yes Amazon were even able to launch, is because the open permissionless web disrupted AOL, MSN etc. Imagine them allowing Amazon to launch on top of them. They’d cannibalize them just like Amazon cannibalizes sellers.
The best part about tailwindcss is not having to come up with names like "container" or "nav-wrapper" that are basically useless/meaningless outside of styling. I don't see this putting a dent in tailwind's continued market domination TBH. But props to you guys for trying to innovate in this space, good luck.
I think they call this responsive ads, you can create them on ads.google.com
A program is not some discreet, one time, thing, it's an extended process involving many many decision points: It's pretty flippant to pretend that statistic reasoning developed for when you draw things out of a hat is equally valid when talking about the chances you will produce a 20 year long enterprise of illegal human experimentation.
But how? The smallest unit of a possible breakup would be a standalone 3rd-party marketplace company, and yet that unit would still have the same market power for 3rd party sellers as Amazon as a whole does today.
Again another binary dichotomy that doesn't neatly fit reality. I imagine the number of developers that would unilaterally dismiss all testing practices is very small.
I think sometimes it is good to zoom out a little bit and look at things on a higher level. The LLMs are not an organic creature. It doesn't in any shape or way relate to a human being except the knowledge it was trained on. A bacteria shares over 50% of its genetic sequences with a human and we don't see it as anything more than a glorified bionic automaton. An LLM shares 0% with us. In fact its "genetic sequence" is coded on a completely different physics altogether. It is unreasonable to expect it to understand or think the same way an organic creature do.

But the outcome of its action is irrefutable. It plays and does things better better than us. That is all we need to evaluate it on. I know that the topic is about "sentience" but my point is we are evaluating a complete alien being using human's standards. Of course we will see that it is lacking. It isn't human.
I believe you are referring to the N/S civil war? What do you mean about the collapse 100 year thereafter?
Same here. I think it's ridiculous we make phones out of glass, then put more glass on them to protect that glass. Phone screens should be made of plastic, which doesn't break, and then let me put a piece of glass over it to prevent scratching. And then if that breaks, oh well, I don't care because i can replace it for $10.
Even knowing what laws they would need to comply with (or would be breaking) is a non trivial amount of work.
It doesn't say "no tools" it says:

> A portable battery shall be considered readily removable by the end-user where it can be removed from a product with the use of commercially available tools, without requiring the use of specialised tools, unless provided free of charge with the product, proprietary tools, thermal energy, or solvents to disassemble the product.[0]

So, for example, Apple's chunky multi step DIY battery swap kit is perfectly allowable if it's provided for free.

"Commercially available tools" also includes stuff like Torx screws. So, again, the current system by most manufacturers is doable with very minor modifications. Open a few Torx screws, slowly pull off the command strip sticker under the battery, replace new battery, done.

The HN/Reddit crowd's minds went right back to the 90s and 00s where you could (and had to) carry 3 separate batteries and could swap them on the go, which isn't the goal of this regulation at all.

[0] https://data.consilium.europa.eu/doc/document/PE-2-2023-INIT... - article 11
Fake, made up consequences don't count.

Caste Discrimination is like any other form of discrimination. It's wrong.

Pretending being opposed to it is racist is hilarious. I've read your shallow arguments.

There is no case by case basis needed for any segment we see as a protected class now, and caste fits perfectly in there.

While there may not be a large amount of abuse I have personally witnessed caste discrimination and work in an environment where it happens regularly enough I see the value of these laws and regulations filling in where companies are too scared to step up and address it on their own as many are.

There was a lot of backlash against anti racism laws too. That doesn't justify it.
Python got type hints bolted on. A type system for Elixir is being worked on. Dynamic typing was a prerequisite for Erlang to enable hot-code-reloading. Julia is can be typed for an extra speedup. Stripe built a type checker for Ruby called Sorbet.
Sun Tzu and the Art of Becoming Famous
We’re perfectly capable of making robots that move much faster, they’d just be batshit dangerous, bulky, and expensive. No ones ever wanted them, because of the risk of harming anyone who comes near it during development, let alone deployment. Even a few meters per second with those metal parts and hard edges is deadly. The software to make vision systems robust enough to make these robots even remotely safe have only existed for a decade at best and it’s still not a solved problem.

Hardware that carries that much momentum like CNCs are always fully enclosed with failsafes to keep shit from hitting the fan.
Time - Cost - Quality

Pick two. So you can have fast, cheap, but low quality food ('fast food'), or slow, cheap, good quality food (cooking at home), or fast, expensive, high quality food (decent restaurant).

By time I would also include mental overhead required, i.e. thinking about cooking. Unfortunately poor people often have neither the money or the time to choose quality.

The daft thing is that cooking individually, or indeed to order in a restaurant, is very inefficient. In fact it is possible to win on all 3, but this requires a communal style cafeteria as would be found in offices, schools, the military etc.

Wouldn't it be great if such cafeterias were available to the general public, with a limited but rotating good quality menu, using actual plates instead of single use plastic, bench seating such that singles would feel comfortable dining there, tap water on tap, self serve with trays.

You can find something like this in shopping malls, but often a wide menu instead of a rotating menu, so failing to scale and thus falling behind with quality
> if you can't change a function signature without having to grep your codebase to find all callsites

Every time I see a developer make this complaint about static typing I wonder what the hell they're doing with their type definitions and architecture where this is actually a problem.

> and pray you fixed them all.

If this isn't detected for you at compile/build time you're not using static typing
This sounds like its just Typescript evangelizing. But while I love types, Typescript kind of sucks and sucks the fun out of writing Javascript. If I am going to add a compilation step to get types, I would rather write Scala or F# and compile to JS, then you also get rid of all of the warts of JS that Typescript doesn't get rid of.
Except there is evidence that climate change is happening today and it's caused by human soceity. We also have evidence of very different past climates on earth that we know are uninhabitable for humans.

Meanwhile AI dooms day scenarios use sci-fi movies as evidence and humanity has "survived" many technological revolutions in the past. Do you think everyone would care as much if the Terminator movies weren't so popular?

Personally I think there's some risk and problems to solve but it doesn't warrant the authoritarian panic responses it gets.
90% by what metric?
Beat thing for him really, his career was going nowhere.
Bruce - any chance you could make your ETW videos available again? I see they used to be available through a Microsoft partnership of some type but that seems to have ended a few years ago.

I’d love to learn more about ETW and your videos seem like a good place to start. If anybody else has other recommendations, please share!
I don’t think it’s unreasonable to say that while, conspiracy theorist tend to both greatly exaggerate what actually happened, and use things that we have evidence of to push wild conspiracies we have no evidence of.

Let me give an example I just found. Because of this post, I looked at the Wikipedia page for MK Ultra and found this line:

> The people under this interrogation were CIA employees, U.S. military personnel, and agents suspected of working for the other side in the Cold War. Long-term debilitation and several deaths resulted from this.

Thought that was an interesting claim, so I checked the source - footnote 36 - which was Rappoport, J. (1995). "CIA Experiments With Mind Control on Children". Perceptions Magazine, p. 56. It took me a while to track that source down, but I found some pages that had it such as this one[1]:

It claims that there was a vast effort to create children sleeper CIA agents in the U.S. to control America. The evidence is based on “recovered memories,” which is a defunct technique that in the 80’s lead to conspiracies about a nationwide underground Satanic movement that was secretly controlling the U.S. Those theories, this Rappaport article, and even some comments here all lean heavily on Operation Paperclip, with the implication that the scientists the U.S. brought over post-WWII created a secret Nazi movement within our own government.

Looking at Rappaport’s website is interesting too. He believes the “Covid shots were kill shots” and that January 6 was a staged false flag event.

That’s enough time spent on crazy for me today. It takes a ton of time to track down each of these individual sources like this. Honestly, it’s exhausting, and too many people think that some evidence of wrong doing decades ago is an invitation to shut down critical thought and open the door for all sorts of craziness.

[1] http://web.archive.org/web/20070608225401/http://www.totse.c...
[2] https://nomorefakenews.com/
This is really cool. A really big step forward for the Rust ecosystem. Being able to use Rust in safety critical systems is a big win.

Congrats to everyone involved!