skysight-inc/HackerNews huggingface dataset:
> For a time, at what may have been the height of the internet’s thrall, it became popular to pretend that the digital and material worlds were continuous—that the “real” one had no special meaning, because cyberspace had become a part of it. That turned out to be wrong. We live in cars and on couches and, separately, we also live on phones. Apple believes it can resolve this conflict—that the digital and material worlds can be merged together—but it has only put the conflict into higher resolution. A headset is a pair of spectacles, but a headset is also a blindfold.

This is a really poignant conclusion, and reflects much of the worry I have about this device category. The more tightly we've integrated the digital and physical worlds the less connected we've become as people. It's showing in our relationships, its showing in our mental health, it's showing in our politics.

At this point, humane technology is technology that gets out of your way as much as possible and let you exist in the real world with real people. From my perspective, further integrating digital experiences into our real lives should not be the goal, the goal should be to achieve the benefits that digital devices bring without actually needing to interact with them.
Why not just come out and say you hate JavaScript :)
This is mentioned in the tweet at the end of the post
What does Rust do at runtime if you pass a non-const to a const field at a low level at runtime? If there's no runtime type or and value constraint checking, IMHO it shouldn't be considered proven at all.

IIUC e.g. NASA's guidelines specify hard preconditions at the top of every function.
Yes. MacBookAir is a product. RealityDevice is a code name that leaked into a userfacing place.
New York banned plastic bags at grocery store checkouts a few years ago, at least in the area I live.

I don't think it did that much because they didn't ban plastic bags in the fruit and vegetable section where you can peel bags off from a roll. They also require you to individually bag each fruit or vegetable type at most grocery stores I've seen. They're always free too.

That means if you buy a few apples, oranges, avocados, cucumbers and tomatoes you're using 5 plastic bags of substantial size. If you get fresh romaine lettuce or something bushy they have plastic bags that are bigger than the old plastic bags they used to provide at checkout.

You're also not limited to fruits and vegetables. Some people will put bread and other lighter items in these plastic bags in case they didn't bring a bag of their own into the store and have a couple of things to carry out but don't want to use a cart.

The only thing the ban did was to get most grocery shoppers to bring their own bags to carry or cart your items out at checkout. In this case, sure you saved a number of bags no question about it, but in the grand scheme of things I don't think it solved much.
Gravity’s Rainbow. I never finished it. It’s more like One Hundred Years of Solitude though; GEB isn’t fiction
Essentially, only write a program when you finished it completely in your mind already. Good luck with that beyond some Leetcode-sized problems.
Dijkstra died of cancer in 2002, about 2 years after this recording.
Unfortunately I think most people want the "escape" of these digital worlds. To them (and others), it's easier to live inside of dream world than fix the current one.
You could probably answer all of your own questions pretty easily and recognize that I'm not talking about a bleach injection.

Maybe your gripes make more sense in a socialized medicine country. Sure, they have to sacrifice people at the edges. But in the US, there's no excuse. It's like the worst of both private and public medicine.

In terms of benefitting the collective, allowing experimentation on willing subjects with terminal illnesses could really improve medicine, too. It's really just a lose-lose-lose with the current approach. Well, some people win, who manufacture the types of drugs that don't fully cure you but keep you dependent on the prescription until you die. If you don't think that's a factor in the FDA's decisions I have a bridge to sell you.
You're being downvoted but i think you have a point for non techies who want to watch things on their tv. Like i don't think my parents would be able to figure out how to pirate by themselves.

But the world is changing. Plenty of people watch primarily on their laptop or phone
From your comment it sounds like Gpt-4 got it?

“We must not introduce errors into a program out of carelessness. We must do it systematically and with care.”

Dijkstra’s statement appears to be a bit of dry humor. He’s known for his wit and often used irony in his statements. The idea of deliberately and carefully introducing errors into a program is clearly absurd, which is the joke. It’s his way of emphasizing the importance of being meticulous and systematic in programming to avoid errors.
Ha I tried reading I Am a Strange Loop and found that meandering and verbose too. Didn’t finish it. He really labors the “greater than sum of parts” point for example. Ugh
There's nothing self-contradictory. The two rules you're speaking of are:

make sure that your header file is the first #include
in the corresponding source file, except the common header,
if your codebase has one.

and:

make sure that each source file includes the common header
before everything else

This defines a pretty clear order: 1) common header, if it exists; 2) the corresponding header for the source file, if it exists; 3) other headers needed by the source file.
But if memory serves the translators of the Italian version removed a whole chapter of it (I might have to check details because I am far from both my author-signed English edition and the Italian one I bought many years later).
Rare ancient tree discovery has scientists 'gobsmacked'
Haven't they already? There are people who sell modded versions of kodi with everything setup.
Piracy also solves the opposite problem of "old" movies and TV shows disappearing from streaming services. Especially since many things are exclusive to streaming platforms with no physical release, after they're removed from a streaming service, piracy is the only way to view such stuff.
Just because the numbers keep increasing, doesn't mean business is 'booming'.

Inflation is causing what appears to be an increase in business but it isn't really.

A simple example: Joe has a hardware business, and has one 16lb sledgehammer in stock that cost him $5.00. He sells that at $8.00 so he now has a 'profit' of $3.00. That's great so far.

So, he now has an empty space where that hammer used to be, and he has to replace the hammer on his shelf. But that new stock from the manufacturer now costs $6.00. Meaning that his 'profit' has now decreased to $2.00.

In other words, Joe has made a sale, and he's now back to where his stock level was previously, but his profit margin has dropped by a third.

Not only that, but the TaxMan has assessed Joe's business, and he finds that Joe's stock-take indicates that his value of assets has increased by $1.00, meaning that Joe must have made a profit of $1.00 to pay for that increased stock-asset. The Taxman adds stock-value increase plus sales-profit to get an idea of Joe's income. So an extra $1.00 in stock-value, and $3.00 from the hammer sale ($8.00-$5.00) and says Joe is $4.00 'better off', and taxes him on that $4.00.

But you and I know that, in reality, Joe is only $2.00 better off from that hammer sale.

The numbers are bigger, but business is not as good as it looks.

* I discovered this problem when it affected me personally during the heady days of 15% inflation in the 1970s.
2024, the year of Linux on the ski goggle.
I'm not a lawyer so I won't say if they could win. I'm just saying that not all speech is covered under freedom of expression. Threats are not covered. Slander/libel is not covered.
Classical chess is a terrible game to watch , one of the reasons it doesn’t get the money other sports do . A live stream for the World Cup deciding match may get few thousand watchers at best . Pee wee league football gets more probably .

It is not because chess takes 7 hours, because vast majority of the games are boring, take known lines and end up in an early draw.

I watch test cricket and I find classical chess boring to watch despite having played semi-professionally.

Test cricket goes on for 5 days, baseball goes on hours both are incredibly technical , as is f1 or golf.

I rather watch test cricket than nfl , there is just unconsumable levels of ad to content ratio

It is not because it is long with lot of breaks in the middle of the action to be strategic that it is not as interesting .

There is a reason why NFL gets no traction outside the USA , all other sports I listed have global audiences even baseball
I think most people would count java as languages with a less expressive type system. For one it doesn't catch null exceptions, whereas languages like rust do.
If you have sensitive teeth a straw is really needed with some drinks.

And putting a collapsible one back in your pocket after it's sticky is a bit disingenious.

I'd prefer focusing on better recycling than replacing by worse alternatives (eg PFAS coated paper)
> this might be me showing my age (late 30s)

Mid 20s here and I'm absolutely scared about how people cheer and want these gadgets. Not too far from a black mirror episode, just in slow motion
> I don't quite believe you want that.

Can you give me one example of software that is too expensive for its users? The higher priced software that exists is almost always professional tools, that the user makes money by using.
Sure, you can streamline the process of icon creation. The point is that Apple often sets up things in a "simplified" way which is not really simpler, just more annoying. There are no "normal" DPI displays in Apple's ecosystem anymore, so one SVG should always be fine in many cases.

Again, my main point is that coding Apple apps just takes too much time and ceremony compared to what you get out of it (an app that only runs in Apple's ecosystem). The only way to justify writing an app specifically for Apple products is when you depend on their special hardware and ecosystem features. Or of course if you don't care if your app runs anywhere else. Or if you have resources to blow.

Apple treats software as an extension of their hardware: Generality and abstraction do not count for much, as long as this makes it possible to fit the software tightly to their current hardware. That's nice for Apple, but not so much for a developer who doesn't care for much more than generic hardware features.
https://www.nytimes.com/interactive/2021/11/05/magazine/sush...

https://en.wikipedia.org/wiki/True_World_Foods
Totally agree. I am a free speech absolutist but that is for adults.

I was a teenager before the internet and it is not like you could just go to the store and browse Playboy and Penthouse when you were 15. If a store had magazines with nudity it was behind the counter and obviously illegal to sell to children.

The people talking about free speech and censorship are obviously full of shit.
SteamVR’s tracking page[1] explains it a little. The HMD is really just displays, radios to talk the controllers (standalone trackers will just have a dongle, runs the same firmware iirc), and its own chip to talk to its own tracking sensors. All the tracking stuff amounts to timing information which is screamed over USB to the PC which does all the math to figure out where you are.

A bulk of this (really interesting!) information can be found on their HDK documentation, but that requires you to sign up with Steamworks.

[1]: https://partner.steamgames.com/vrlicensing
Yes it would:

» %[ chair, table ]
[
"chair",
"table"
]

» %[ chair, table, ]
[
"chair",
"table"
]

Here you can see that internally it understands you're writing a JSON object however it relaxes the semantics a little (without going full on YAML) because chasing that erroneous comma is probably the least fun part of programming.
I've been using and enjoying Helix for a while now, but I don't use any structured editing commands. I should definitely try some out!
> The PyPA should shut down or merge some duplicate projects, and work with the community (including maintainers of non-PyPA projects) to build One True Packaging Tool. To make things easier. To avoid writing code that does largely the same thing 5 times. To make sure thousands of projects don’t depend on tools with a bus factor of 1 or 2.

-- https://chriswarrick.com/blog/2024/01/15/python-packaging-on...
Not going to Yosemite is OK, life isn't about consuming as much as you can
I think the point is that this works until the "boss" says they need X right now and can't provide digital proof because it's not working for Y reason. Do the employees say no? That's the real test.
> Then I don't think nix-as-config-only is a good move.

Yep, that was the only narrow point I was trying to make initially :)

> If a multitool's screwdriver is just as good as a normal screwdriver (granted they're usually not), why not prefer the multitool?

Under the assumption that the multitool's screwdriver is just as good, then yeah, that might make sense. But as you grant, that is usually not the case. And my original point is that this is one of those usual cases where it is not as good, not one of those rare cases where it is just as good. And the reason Nix is not just as good for this, is that it was not made for this, it was made for something different and bigger.

> For instance we have a lot of python in our stack so I've found a library called mergedict that gets us close enough to the composability of nix modules without adding a new language.

Things like mergedict, while being a common genre of solution to this problem, are not a good solution to it. They are the total mess I said I'm always keeping an eye out for better alternatives to.

I don't know yet if I think Pkl (or Cue or any of the rest) actually fit that bill, but your contention that there is no point looking for solutions to this problem short of Nix strikes me as a classic case of making perfect the enemy of good.
It's easy to make this judgement now when the headset has just been launched. But over the coming decades we are going to new see new types of social interaction that could enhance the world rather than break it apart.

For example, being in Australia conferences in the EU and US require a 14 hour flight time and days of adjusting to a new time zone. Likewise there are people working two jobs, have children or are a carer who may want to experience the benefits of studying in person but can't.

I suspect as the fidelity gets better that human need of being around other people is going to be fulfilled. Which could make a massive difference in terms of reducing loneliness and the feeling of isolation.
China Vows to Stabilize Markets After Rout, Offers No Detail
https://archive.is/RLa82
>Showering

In some cultures it is nornal and expected to shower not just daily, but multiple times a day. Three or four being normal during summer.
Would most of that not have all happened before, and then those plastic produce bags would have been put into plastic grocery bags at checkout?
Never understood this logical jump in reductio ad absurdum argument. "If one finds a contradiction, therefore the initial premise is wrong". The argument always assumes a binary state, either true or false. It excludes another valid state which is "undefined". The premise of the video above is effectively to prove that one can't build a machine that is capable of resolving a paradox. As if computers have limited capabilities and that they are uncapable to reason the way humans can. But that's not true. If you allow a machine to produce 3 answers, "yes", "true" and "unresolvable", then it is very much possible to build such a machine that produces such output, i.e. detects that a problem is indeed a paradox. By simply implementing this reductio ad absurdum algorithm.
Good luck designing aircraft cockpit with this kind of thinking.
For Emacs users, there's Taylor Campbell's `paredit`:

https://www.youtube.com/watch?v=D6h5dFyyUX0&t=51s

https://paredit.org/

https://www.emacswiki.org/emacs/ParEdit
Logically that makes sense. I did not lose 120# that way, but if it works for others, cool. I chose to target a different goal than weight loss, and weight loss came along as a side effect. My goal was to increase my fitness, which is defined as "work capacity across broad time and modal domains." (CrossFit definition). Choosing fitness as a goal was a forcing function that ensured that my HDL, triglycerides, A1C, fasting glucose, body fat %, bone density, lean muscle mass, and all the other important stuff all also went in the correct directions.
You actually don’t think that even mid-level execs much less lower-level people who want to advance in part by speaking at events don’t end up appearing on video? I know I’m on plenty of it.
Those thin plastic bags at checkout were phased out here in South Australia in 2009. I remember some resentment at first ("Now I have to buy bin bags!") but a few years later I don't think anyone cares. Anyone remotely prepared has reusable bags in their home/car, or collapsible bags in a handbag, and deliveries arrive in paper bags (which we then use as a bin under the sink). There are other single-use plastic phase outs in progress and the near-future also.

Previously, plastic bags discarded roadside were a common sight, stuck in fences and trees.
I mean both developing a complete language + compiler toolchain + standard library and developing a game are projects which often take many many years. Rust was started in 2006 and didn't receive a 1.0 release until a decade later in 2015. Go was a bit quicker, starting out in 2007 and releasing a 1.0 in 2012, but I don't think anyone outside of Google really used it until years later.

It really does seem like the people who complain about how long it's taking either have no context for how long this stuff takes. You can knock out a toy language in a month, sure, but growing an actually production ready serious systems language, with a solid compiler which produces optimized code across platforms, and a complete standard library and solid core abstractions, and a good module system, and incremental parallel compilation which scales to millions of LoC, and with innovative language features which aren't in comparable mainstream languages... that takes time.
That open mouth... We're heading full speed into K.Laumer's "Cocoon".
Interesting, because I have another person on a HN thread scolding me for calling Soviet regime communism.

I would like people to either reconcile this between themselves or stop pretending like they can correct on well-defined term usage.
You know very well that “retards” isn’t an acceptable word. It’s not even used in scientific literature anymore in the way that you’re using it.
What I mean is lean can prove things like one of cantors theorems, the proof of which requires you to derive from properties on a function f showing that there exists a function g inverse to f, and show something about the results of calling g.

such a function in lean is considered non-computable by lean because it cannot be evaluated by lean since g has merely been shown to exist.

Many proofs in lean however are computable, just not all.
The US Navy used radar guided artillery to knock down wave after wave of Japanese kamikazes, which flew at similar speeds. They were still sometimes overwhelmed by saturation attacks.

Modern US surface warships still have the same capability but most mount only a single large cannon (separate from the shorter ranged CIWS). There's no space for more. Research is underway to supplement those with lasers but those aren't operational yet and can only work with a clear line of sight.
The Amiga CD32 featured hw-accelerated chunky-planar conversion. And yes, the PC was an open system but this also meant that every MS-DOS game had to implement its own hardware-specific routines targeting multiple types of graphics and sound hardware. The Amiga approach came with the benefit of having a single, uniform target which encouraged more optimized coding.
Aced it … good work.
Inflation adjusted that’s about right. It was like $4 to rent a new release in 1993.
There's a huge difference between camera pass-through and some transparent reflections on the glass that you can dodge away from.
The Evolution of Military Ranks and Units
Time for stroads to undergo their true test.

Also, yeah, I get it. People in north NJ don't really have their own big city, it's either NYC or Philly. So they like to be tacked onto the greater NYC area.

I wonder whether it makes more sense for the MTA transit system to handle the influx of people (if say, Yankee Stadium was where it is held). Luckily there is at least a large passenger train station nearby, there are bus routes close as well. So hopefully the parking lot is not a disaster.
Indeed, it also normalized walking out of a store bagless while holding your purchase. I like it. I don't like when I ask for no bag, and the combini charges for one anyway.

With that said, Japan never had a litter problem. Likewise our garbage system is highly developed with waste to energy using high temp incinerators. The ban-charge-requirement never could have had an environmental aspect. But if it can reduce oil imports, that's worth doing.
Honestly, I'm more worried about malice from plugins that aren't specifically intended to send my source off-site.

The purpose of this plugin is to allow you to pay for a service. It's not sending anything anywhere without a subscription. Any other plugin could be malicious and would you ever notice if it started sending your code to an arbitrary third-party?

AI is a hot topic, sure, and it's more likely that someone would want to send confidential code to an AI service than to (say) me, but at the end of the day the underlying policy should be the same: don't send confidential data to a third party without going through the necessary processes.
It is a struggle to even get Bluetooth working on Linux, forget about AR headsets!

I think apple missed the boat here anyway - the next big thing is not AR or VR despite Apple and Facebook betting the farm on it ... They both missed this AI thing and got distracted by VR.
This is "Hacker" news for a bunch of independent definitions of "Hacker", and for most of us the definition isn't "breaks into computer systems and leaks stuff on the internet".

For myself, when I think of the hacker ethos I think of Stallman and the GPL, which is explicitly designed around the idea that information can be ethically sold as long as you're actually selling it [0]. It's free as in freedom, not free as in beer, and under that philosophy being able to pay for services that respect your rights as a free human (which most current streaming services don't) is a desirable end state, not something to be condemned.

> Many people believe that the spirit of the GNU Project is that you should not charge money for distributing copies of software, or that you should charge as little as possible—just enough to cover the cost. This is a misunderstanding.

> Actually, we encourage people who redistribute free software to charge as much as they wish or can. If a license does not permit users to make copies and sell them, it is a nonfree license. If this seems surprising to you, please read on.

[0] https://www.gnu.org/philosophy/selling.en.html
Would that kilowatt still be present if you steal the input power cables first?
Sure, it is. But trying to explain it as though the weights have some goal is weird. They aren't trying to do anything. You have a loss function. The optimizer keeps moving weights around in an attempt to minimize the loss function. It's not more or less than that.
If the purpose it to keep plastic waste and microplastics out of your local environment and local drinking water sources, then local policies make sense.

Should other places that also have that potential problem also do that? Sure, probably, if it's practical. But people in country X usually don't get to make local policy for people in country Y.