skysight-inc/HackerNews huggingface dataset:
In-office mandates are also just bad for countries. It’s better that people spread out rather than crowding into dense urban areas. Or at least, they can have choice in where and how they live while still having economic opportunity. It will also reduce emissions, improve health outcomes, improve how children are raised, and a whole lot more. Companies that mandate a return to office for jobs where it is avoidable should be taxed heavily to offset those other side effects.
Incrementalism normalizes dystopia, in my view; this becomes just another contingency that can be budgeted for.

Imagine, by contrast, the impact that executing one Chiquita executive would have.
Ohhhhh, that makes much more sense now. If I read it that way, I'd also think I was a creep.

Yep, they confirmed it.
I've been using the forked VSCodium on Linux without any issues, and I'm pretty sure regular VSCode is available from package managers. Or you mean the separate Visual Studio software? (I don't even know what that software is...)
Finally a paper that is improving Llama 3 by a significant margin!
I want to second this regarding desktop Linux.

Each major PC build I've had I've tried to go Linux desktop and ultimately failed because I just got tired of switching to windows for gaming along with periodic cases of essential devices/apps just not working right.

I tried a final time a few years back. I even made sure I had a separate drive just for the Windows partition I felt was inevitable... turns out it never happened.

Gaming on desktop linux is phenomenal now, and I haven't run into any issues with some device or essential app not working. There is no personal task that I ever have to use an old macbook for and it never made sense to add that Windows partition. Occasionally I have to get more fiddly with driver settings to get things to work just right, but not enough for it to be a major annoyance.

Overall if you're tired of your personal OS spying on you increasingly more often and slowly turning into an advertising machine, the linux desktop is ready and quite enjoyable!
Joey Chestnut out of 2024 Nathan's hot dog eating contest
Because we live in an incredibly corrupt Kleptocracy.
EU announces higher tariffs on Chinese EVs as trade tensions sharpen
the rust traits are not overloading though (at least not in the same way as swift), that’s just implementing a trait on a type. I think the distinction is that with traits or protocols you get a lot of expressivity, reducing the need for overloading
You might think that, but yet:

https://apps.apple.com/app/id1134925341

It’s available for iPhone in Japan only. I don’t think they have added Vision Pro support though.

The app is also on the much cheaper Meta Quest, also limited to Japan.
Thanks for the feedback. Indeed I don't want to get the wrong expectations & be as clear as possible. It will be a painful cleaning job at first (at least that's how refactoring is viewed by most).

And yes we do have a carefully crafted process. Those questions / requests are very meaningful for us.
In iOS 18, there is now a SwiftUICore framework that's separate from SwiftUI, which I imagine consumes it. I don't see the new one on the documentation site. If that becomes public in a year or so, maybe you'd be able to replace one of the two frameworks to implement your own view system atop the attribute graph and data flow bits.
What USB switch do you use? I've been considering getting this exact setup.
Original press release in German: https://www.staatsanzeiger.de/landesgeschichte/schachfigur-a...
Good idea. Other books I hate for you: Game programming patterns, Crafting Interpreters, the C# player's guide.
I use VScode every day on linux and have never had an issue with it.
I'm pretty sure the SLM model can track which ones you interact with.

The current iOS version already does this to a degree: if you use profiles. It notices if you often interact with an application during X profile and asks if you want to add it to that profile's allowed apps.
fundamental Constitutional rights of individuals vs. the states’ right to regulate health, welfare, and morality are of course not “the same argument.” This is probably why they are dealt with in distinct amendments.
Major Spoilers Unmirror text to read.

Wɘ ʇinb oυt in tʜɘ ʇinɒl Azimov volυmɘ tʜɒt tʜɘ Mυlɘ wɒƨ ɒ Әɒiɒn, tʜoυϱʜ not ɒ ɿodot. Әɒiɒ wɒƨ ʇoυnbɘb dγ Я. Ⴇɒnɘɘl Olivɒw. Iʇ I ɿɘɔɒll it wɒƨ ɒ ƨibɘ dɘt iʇ tʜɘ ƨɘɔonb ʇoυnbɒtion bibn't ƨɒvɘ ʜυmɒnitγ.
Sticker Shortcut Fallacy – The Real Worst Argument in the World
There has always been a lot less hard sci-fi than soft, true, and it used to be more common than it is now.

But the real dividing line in my mind isn't quite as stark as I made it sound. There's still a gray area. Unusual events that exist purely for plot purposes don't disqualify anything, for instance.

The differentiator I have in mind is more basic: if the story involves things that are simply not possible, it's not hard sci-fi. If it involves things that are very unlikely, but still within the realm of possibility, it can certainly still be "hard". Same if it involves things/effects that don't (as far as we know) exist, but wouldn't break the laws of physics if they did.
Voilà
https://youtu.be/V_d4vmmsFGQ

Je T’aime
https://youtu.be/iJyT0hopP80

Rétrospective
https://youtu.be/tXbYXXvDFWs
It doesn't matter. Even if Starlink was, by far, the majority of their launches, it still drives high launch cadence, which drives their R&D far faster than everyone else's. Space industry is vulnerable to the vicious cycle of expensive launches leading to expensive, one-off, high-risk missions, leading to high reliability guarantees, leading to even more expensive launches. High launch cadence is an antidote to that, it makes costs fall all across the board.
If the American company doesn't sell things to European customers I don't think GDPR even applies.
> Let’s say an AI supplies an incomprehensible, ugly proof. Then you can work with it, and you can analyze it. Suppose this proof uses 10 hypotheses to get one conclusion—if I delete one hypothesis, does the proof still work? That’s a science that doesn’t really exist yet because we don’t have so many AI-generated proofs, but I think there will be a new type of mathematician that will take AI-generated mathematics and make it more comprehensible.

My thoughts exactly about designing public APIs of code. A role which traditionally performed only by experienced developers, now it can be greatly simplified and accessible to everyone.
We will create a more detailed comparison to Temporal shortly. Until then @sewen gave a nice summarizing comparison here: https://news.ycombinator.com/item?id=40660568.

And yes, Restate does not have any external dependencies. It comes as a single self-contained binary that you can easily deploy and operate wherever you are used to run your code.
> Unless mathematics is fundamentally more complicated than chess or go, I don't see why that could not happen.

My usual comparison is Sokoban: there are still lots of levels that humans can beat that all Sokoban AIs cannot, including the AIs that came out of Deepmind and Google. The problem is that the training set is so much smaller, and the success heuristics so much more exacting, that we can't get the same benefits from scale as we do with chess. Math is even harder than that.

(I wonder if there's something innate about "planning problems" that makes them hard for AI to do.)
Bad boy algorithm. Amazing algorithm
Call of Duty: Black Ops 6's enormous 309GB download not typical experience
I've been using the Minkowski function in openSCAD for a while now, it's nice to know what it actually is.
> Occasionally I have to get more fiddly with driver settings to get things to work just right, but not enough for it to be a major annoyance.

And honestly, until I recently erased Windows from my personal computer, I was battling Win10 settings frequently enough that usability of Mint, for example, is on par.
Also the issue of mining the uranium, which is horrible for the areas mined. Nuclear isn’t an option because of financial reasons anyways and probably never will be, and that’s as a person who loves nuclear and used to be a budding nuclear power plant operator.
Yes, almost every day. I travel regularly and I love having a big, crisp, private display every where I am: Hotel, plane, train. Makes me so much more productive.

Consuming content is great of course but the AVP has changed my content creation: I take way more panoramas and now spatial photos (Spatialify on iOS works well). I also bought an Insta X4 360 camera which, while a far cry from Apple's immersive content in resolution, can still be a really nice way to relive memories.

More content: Last year I started 3d scanning (using Scaniverse) sculptures and other art / items that catch my eye during my travels. The AVP makes it really easy to import and place them in my environment. When I'm working I'll often place a favorite sculpture next to me for company & as a reminder of a trip I took.

Finally, even after 4 months of use, it's still really fun and, from a tech perspective, astounding in terms of image quality, stability, 3D placement, integration in environment, etc. I love it and I can't wait for this tech to get better and better.
So land lords aren't maintaining and aren't building, how is that rent control's problem?
In DARE they called that the "bandwagon approach". Everyone's doing it!
> ommercial entity started yoinking photos from instagram and using them for commercial purposes, shit will hit the fan.

Will it though? I would imagine Meta would block them and then posture with a C&D or a frivolous lawsuit, but if they share the phones you gave them on the public internet, they're publicly consumable right? What law do you feel is broken there?
Elon Musk says he will ban iPhone and other Apple devices
I shouldn’t have this issue then. But a couple of days ago I tried new versions of kohya, sdwebui and tgwebui and none of their convoluted setup batches shared downloads. Btw sdwebui broke itself irrepairably in half an hour by failing installing an extension that works in a sibling folder. Kohya spoiled right away without my intervention. Only tgwebui survived. I’m not doung anything wrong, since there’s not much to do apart from waiting for hours.

I’m not updating in-folder because of deep scars from the last time I did that.

Maybe these issues are not inherent to python, but for some reason AI projects tend to go out of their way to make easy installers. That must mean something at least.
My impression with a lot of products is that no one that is substantially involved in making them actually substantially uses them themselves.
Thanks for your brutally honest feedback. What makes you think it's shit-tier company? How do you evaluate that?
back and forth forever
> SpaceX is a mix of mindblowing engineering with sometimes baffling decisions. I can never help but wonder how much input Elon has, and if he is responsible for all those questionable choices, as he honestly appears to be a bit of an idiot.

Let me answer that for you: it's well-documented and confirmed by many insiders, including Tom Mueller and Gwynne Shotwell, that a) Musk has always had a lot of technical input, and b) he is responsible for the good choices that made SpaceX into what it is today.

Of course the truth falls afoul of the "Musk is evil now" memo mentioned downthread, so you keep believing what you believe.
Because no one is fined or held accountable for these types of crimes. Union Carbide (now owned by Dow Chemicals) got barely a slap on the wrist for the literal worst industrial disaster of all time. Something like forever chemical pollution isn’t even a blip on the radar of politicians:
https://en.wikipedia.org/wiki/Bhopal_disaster
I do not see the purpose of this nitpick.

The numbers are made up anyway, adjust up by a few hundred thousand and the point that securing one’s shelter is worth foregoing winning the lottery still stands.
LLM Prompting for Software Development
Is Elon just attention seeking again or does he know something we don't?

"Requests are not stored by OpenAI, and users’ IP addresses are obscured" - from OpenAI.
Apple is shipping WebXR on Safari for Vision Pro [video]
the irony of submitting a YT link
I think people already knew how to write good quality code even in the 80s, e.g. https://www.amazon.com/Large-Scale-Software-Design-John-Lako...
How can I unmirror this?
Similarly my Orange Pi 4 (not the 4B or 4 LTS) no longer gets new images from Orange Pi themselves. Armbian's images had an issue with display out on the board for at least a year. I haven't checked if it's been fixed. And that's with a RK3399 which is basically mainlined in the Linux kernel.
Technically speaking one of the foundational axioms of ZFC set theory is actually an axiom schema, or an infinite collection of axioms all grouped together. I have no idea how lean or isabelle treat them.
I'm not up on the nuance of the GDPR, but has it been tested that your public profile name - which you set knowing it will be displayed publicly - is PII?

I'd be very surprised if that were the case.
Shit hits the fan because Instagram considers user content a golden goose, and they have a vested interest in not letting it get outside their control. Not because they feel a particular obligation to protect user privacy. That's generally been status quo for every social network.

HN cares a lot less; they're a tech comment site and don't actively discourage people using the dataset gleanable from the contents of the site for novel experimentation.

(Sidebar: I see "scrapped" coming up a lot in these conversations these days. Where is that neologism coming from? I'm familiar with people calling it "scraping" but it seems like the term has drifted for some reason?)
Right, just like Elon always pays laid off employees the severence owed to them, and always pays contractors and suppliers promptly and fairly. Oh... wait.

The pay package got struck down because it was a corrupt deal to begin with. Nobody is obligated to honor that just because Elon and his sycophants want them too. He is almost certain to stay checked out of Tesla regardless of what happens with the shareholder vote so even on pragmatic grounds it makes no sense to approve it.
The Domestication of Causal Reasoning
>That's not what I'm talking about. I'm talking about when there's simply no sign that thinking happens.

I concur here, and it is (to me) terrifying how common this is. Just even basic first order cause-effect evaluation.

It isn’t popular to suggest this though, and I’ve learned to tread lightly with this observation of mine because 1) it gets me labeled as “fun at parties” or associated with worse 2) there are plenty of people with high paying jobs or powerful positions who are in this category who will not let it slide without some form of retribution.

It’s also really hard to explain without coming across as an arrogant jerk in normal company. But it’s there — like “head empty no thoughts” isn’t just a meme it’s a real thing. And you say some really basic, almost rudimentary critical thought in their company and you get met with “omg you’re so smart how did you think of that” and I’m like 1) that wasn’t worth any sort of praise 2) uhhh, I … did some thinking?
Disrespectful to the AI art medium.

I don't want to see art from someone who has spent a hundred thousand hours looking at the real world.

I want to see art from someone who has spent a hundred thousand hours looking at AI medium output

For you see, the second artist will be quite mad. The first artist is just a pretentious fake who has not destroyed their own mind.
Being able to access people's naked thoughts sounds like a disaster.

That's the part of it I can't quite get a grip on. If we end up with systems that perform "telepathy", what do they actually pick up? The active part of the mind that filters and decides (the "ego" if you will) or all the random noise and nonsense that's in there but not really willed or deliberate?

If all the random thoughts and impulses, critical voices, and what not were tapped into, a lot of people would be in huge trouble quickly, and not necessarily of their own volition.
I thought it was about Maven the build system. Apparently there is "Heymaven" a social network?
[shameless plug]I maintain a collection of proofs of leftpad in different prover languages, so people can compare them. It's here: https://github.com/hwayne/lets-prove-leftpad

[/invalid closing tag]
Pure Data 0.55
Photography captures a real moment, place, or thing.

Generative AI may replace the pictures that hang on the walls of hotel rooms, but I don't see it coming for the photographs in peoples homes, or even art galleries. At least, not at any real scale.
Poco: Policy Composition from and for Heterogeneous Robot Learning
There's lots of places in the US that don't have natural gas infrastructure and do all heating electrically. The UK has a much higher population density so services like natural gas are more widely available, I'd guess with no evidence to back that up.
By "danger", I mean "risk of it being used to train an AI".

I am currently of the opinion that how these tools are being developed, released and used will bring much more harm than good. As such, I very much don't want to contribute to their development even as obliquely as by adding to the training data.
And additionally, things are more likely to go bad, precisely because there are fewer regulations that would otherwise lead to stability.
Clean code was the first book I found when looking for books about writing clean code, go figure, and back then I found it very helpful. It's easy to criticize now that I'm so far removed from then (in both time and skill). Before this point I really had never even thought about the code's design, only its functionality. I wouldn't recommend it now, but this book played its role in my life
> I think it's completely my fault for not articulating myself properly, thank you for your patience.

Not at all, and thank you for your patience and engaging this deep!

I think the disagreement came from different people. I initially tried to question why /u/guidedlight thought a certain delimiter would be easier/simpler just because it was less common and then we went down a rabbit hole of "what is a CSV/TSV".

I agree with you and I think there are many use-cases for not-as-full CSV/TSV parsers/encoders. My main objection was calling a CSV/TSV implementation a CSV/TSV implementation when it clearly skipped a lot of parts (while it can of course parse a lot of files without those parts). I'd like to call those simpler formats something other than CSV/TSV, but that ship has sailed.

So I think it seems like we are on the same page.
21.2× faster than llama.cpp? plus 40% memory usage reduction
It doesn't "directly" connect - it changes things on iCloud - it just doesn't work well. It takes more than a few seconds for it to add things to reminders. It has to verify your voice to add things to reminders - god forbid if you are sharing a shopping list with another person in your household. That nearly doubles the time it takes to add something to a shopping list. With Alexa, adding things to a shopping list is instant, it doesn't verify if you are authorized to add things to the shopping list, Alexa just adds them.
You would be incredibly surprised how many people can’t do this without being forced to memorize.
DJI Completes First Drone Delivery on Mount Everest
Hinton's example doesn't resonate for me -- I do gardening as a hobby, so my immediate answer to his "What is common to nukes and compost heap?" -- was the concept of critical mass. It took me 10 seconds to articulate the word, so I'm not as fast, but I still got the "correct" analogy right away, because with the right information the answer is obvious.

Hinton says this demonstrates analogical thinking. I read about gardening online and I've probably read about compost heap physics written down somewhere online.

So what is more likely happened was that ChatGPT was previously trained some article about compost heap chain reactions, because there's a lot of soil science and agriculture that discusses this, even for laypeople like myself that I've already read, so that it isn't a long reach if you know enough about both topics.

Thus Hinton's example strikes me as more having failed to control for LLMs having already basically seen the answer before in its training texts.

EDIT: A few minutes later in the video, Ilya comments (https://youtu.be/Gg-w_n9NJIE?t=4966): "We have a proof of existence, the human brain is a neural network" (and the panelist agrees, assuming/barring any computational "magic" happening in the human brain. I'm interested in this comment, because I generally hold that position as well, but I see many naysayers and dissenters who will respond "Well but real neurons don't run on 8 bits, neurons have different types and cells and contain DNA in a chemical soup of hormones, etc. etc., you are just confusing the model for the real thing in a backwards way", and so on. So I think there's an interesting divide in philosophy there as well, and I don't personally have an articulate answer to explain why I might hold the position that natural brains are also neural networks other than an appeal to computationalism.
What made you regret it and why wouldn't you wait for it to come back in stock to buy it again?
My family home is built on the former estate of Minor Cooper Keith, a founder and former VP of United Fruit, who did many similar horrible things to people in Central and South America. I learned this while researching the name of the waterway behind our house, called "Keith Canal". You can see the history of the development in historic maps from 1829 thru 1976.

https://en.wikipedia.org/wiki/Minor_Cooper_Keith

https://westisliphistoricalsociety.org/index.php/archives/ma...
If you could watch NBA games from court side seat in VR, they would be flying off the shelves. I'm fairly sure nothing technical is preventing this from happening. Most likely it is blocked by existing media contracts. I.e "non-technical" reasons.
Project Github link:https://github.com/SJTU-IPADS/PowerInfer
> There’s nothing uncommon about a leaky old well. Many in West Texas were drilled during World War II and 80 years underground can do major damage to steel and concrete casing.

This makes me hope carbon sequestration never takes off.
> Voice assistants are particularly egregious - they've done all that work to correctly recognise the words I said - i.e. the hard part - but then it breaks because I said "set reminder" instead of "create reminder"??

They hardly even managed the hard part. What's surprising for me is that for a year now, ChatGPT app has been miles ahead of SOTA in voice assistants in terms of speech-to-text with whatever the thing is they're using, and somehow none of the voice assistants managed to improve. OpenAI could blow them all out of the water today, if they delegated a couple of engineers to spend a week integrating their app deeper into Android intent system - and 90% of that wouldn't be because GPT-4, but because of speech-to-text model that doesn't suck donkey balls.
> 1 bit per page

Close, it’s 2 bits/page :-)

It’s not that it bloats, it’s that the hits are scattered among many pages. My wording wasn’t great on that point.

Some tests demonstrating this are here [0].

[0]: https://www.cybertec-postgresql.com/en/unexpected-downsides-...
Instant Onboarding and Instant Message Delivery
The Alien Tort Statue [1], the reason this case [2] is in the US at all has sometimes been used for significant environmental and social justice global legal activism. Because of this, it is in the sights of the conservative legal movement. Sadly I suspect this case may end up at the supreme court and end up another victim of the removal of redress for the evil of the powerful.

[1] https://www.law.cornell.edu/wex/alien_tort_statute

[2] https://www.courtlistener.com/docket/4232180/in-re-chiquita-...
If I'm halfway through reading a quote when it ticks over, can I backtrack?