skysight-inc/HackerNews huggingface dataset:
> True it's probably easier to survive on earth in some luxury bunker than on Mars no matter how much we destroy earth.

Definitely, and by a large margin.

If I said Mars combines the warmth of Antarctica with the moisture of the Sahara, the air pressure of the peak of Mount Everest, the environmental quality of a superfund cleanup site, the surface illumination after the 1883 Krakatoa explosion and subsequent volcanic winter, and the UV radiation from a completely destroyed ozone layer…

…if I said all that, I'd be understating how harsh Mars is.

The most positive thing I can say about colonising Mars is that the mere ability to actually do so will mean being able to recover from any possible catastrophe that comes our way.
terribly sorry to be such a tease, but im looking to publish a paper on it, and still need to delve deeper into machine interpretability to make sure its empirically properly couched. if u can help with that perhaps we can continue this convo in private.
No human would score high on that puzzle if the images were given to them as a series of tokens. Even previous LLMs scored much better than humans if tested in the same way.
And our kids will warn their kids about how the ‘direct to brain’ type interface they will use is rotting their brains. Each generation will have been a little correct along the way; the harm at each step was just always gentle enough to not scold the frogs too quickly.
How did the scammers know these people were likely to have significant amount of crypto in the first place?
This. There’s even a QR code you can scan so you don’t have to type on the mobile device.
Ooh sorry, I misread!
It's not like phishing trainings don't exist, but almost all of them are just wrong. They tell you things like "look out for spelling mistakes and sketchy looking URLs".
This forum is run to inflate the value of certain startups. Nobody gives a shit. It’s basically a sponsored post.
No, I stopped even reading my email unless something prompts me to retrieve something from it.
This also looks interesting.

My question is similar to the wormhole one.

Does it really need to be 168 files of code to do this? I don't know WebRTC, but wouldn't a single PHP file be enough to create the connection between the two devices?
I think "stupid" may be overstating it a bit. I think it's more that people only have a limited mental bandwidth and can only focus on a limited amount of categories of life. Person A may think person B is stupid for not caring about the quality of background music. But person B might think person A is stupid for ordering a $5 glass of the house wine at a restaurant instead of some special French vintage. And person C might be aghast that that both A and B have standard factory tires on their cars instead of high performance low-profile racing tires.
The answer is that it is not.

It frustrates me more than it should, I admit, that people always mention Rust when they talk about safety, but never Ada / SPARK. You want formal verification? Use Ada / SPARK. It has been battle-tested. It has been used for critical systems for a really long time now.

(And a compiler being formally verified vs. being able to write formally verified code means two different things.)
With an iPhone you’d have AirDrop built in.
The canvas renderer tried on iPhone feels weird. The scroll is completely different from regular, also no scroll bounce. That alone is a deal breaker
Aside from BBSs from about the mid-80s, followed by some Usenet and related later, there was very little online presence until getting well into the mid-90s or so. Certainly my social friends who weren't part of the local BBS scene had no online presence until maybe the dot-coms really took off.
We do math because it's hard
Resonate, a cooperative music streaming platform
its original stream2own model allows you to automatically spend more on the artists you listen to more and even own (= stop paying for) and download the tracks you listened to at least 9 times. i think that it is a much fairer revenue-distribution model than “the big money pot” model (used by almost all other music streaming platforms out there) where people listening to the highest amount of tracks decide where other people’s money goes.
Always on. You can see where your friends are at both in Find My and under their contact photo in your iMessages chat.
Generally, I agree with you. But, there are risks other than "But a human might have a baby any time now - what then??".

For AI example(s): Attribution is low, a system built without human intervention may suddenly fall outside its own expertise and hallucinate itself into a corner, everyone may just throw more compute at a system until it grows without bound, etc etc.

This "You can scale up to infinity" problem might become "You have to scale up to infinity" to build any reasonably sized system with AI. The shovel-sellers get fantastically rich but the businesses are effectively left holding the risk from a fast-moving, unintuitive, uninspected, partially verified codebase. I just don't see how anyone not building a CRUD app/frontend could be comfortable with that, but then again my Tesla is effectively running such a system to drive me and my kids. Albeit, that's on a well-defined problem and within literally human-made guardrails.
The combination, which is the point of the comment above. Legalization may be fine in places where people have other support factors that make them less likely to destroy their lives with drugs and alcohol, but in areas without those protective forces, it's good that there are some controls (or at least many of the people who live there think so).
With the Apple and the Google ecosystems!
There is some precedent for Apple allowing apps that can be used for ToS or even copyright infringement, as long as they have a plausible legal purpose and all the infringement happens through third-party plugins that are not advertised in the app. The example I'm most familiar with is Paperback. There's also precedent for Apple not caring about Google's terms in particular, e.g. with Musi, though I guess that did get taken down in the end.

Grayjay also uses a plugin model, possibly for this exact reason. On the other hand, the infringing plugins are first-party and advertised via their website, so I somewhat doubt that either Google or Apple would allow it on their stores.
Always on, works as a great way to check in on close friends or have them check in on you (like someone going on a first date)
That's a bit silly.

Yes, resource consumption is important. But your car guzzling a lot of gas doesn't mean he drives slower. It just means it drives slower per mol of petrol consumed.

It's good to know whether your system has a high or low 'bang for buck' metric, but that doesn't directly affect how much bang you get.
Woof. Major unspoken caveat in the title!
https://www.poetryfoundation.org/poems/43914/the-walrus-and-...
I'm not sure if X actually caused that, given that even 4 years ago people were suggesting dementia in both Biden and Trump, and that Harris was kinda just parachuted in rapidly and without sufficient preparation when the fear about Biden having dementia got too loud to ignore.

And also that X was never as popular as Facebook.

On the other hand, the polls seemed pretty close, so perhaps it made enough of a difference on the margin.
If there are any fully-autonomous cars on the streets of nyc, there aren’t many of them and I don’t think there’s any way for them to operate legally. There has been discussion about having a trial.
I use Thunderbird and just back up my home directory.
Efficiency has always been the key.

Fundamentally it's a search through some enormous state space. Advancements are "tricks" that let us find useful subsets more efficiently.

Zooming way out, we have a bunch of social tricks, hardware tricks, and algorithmic tricks that have resulted in a super useful subset. It's not the subset that we want though, so the hunt continues.

Hopefully it doesn't require revising too much in the hardware & social bag of tricks, those are lot more painful to revisit...
I vaguely remember seeing a physical boxed software title in my local stationary/book/media store that I am pretty sure in retrospect must have been a WAP gateway you could install on Windows and dial up to your modem from a mobile phone.

The idea was presumably that if you'd have a second line or maybe broadband connection on your computer, you could save on your mobile operator's WAP fees if you had cheaper local calls to your own landline, or possibly access local data on your PC?
I tried that. The problem is that you will always need a middle-end (a separate server between your stand-alone front end application and the GitHub server). You can't just distribute a stand-alone app and let it talk to GitHub directly. Or well you can but only if you get a token with *FULL* scope for all repositories. What I as a developer need is a scope for only one repository. That's how stand-alone and especially browser-based applications can remain safe. You don't want to store tokens with full permissions in multiple apps.
Using my SDR I pick up tyre pressure readings around me at 433mhz, the remote control frequency. Running that constantly off a button cell is impressive.
> They could also stay put and milk it. But that invites new-entrant competition.

And believing that this is likely to happen is the problem I have with the whole proposition. I don't see any real player with capital, data and tech know-how to get into this in a way to turn it into a proper competition.
I suppose it comes down to what the purpose of such archiving is.

I think it's the preservation of information, but I also believe 90% is absolutely pointless. There is just so much of it, and data storage so cheap, that it makes sense to just save everything.
I prefer adding "_" in front of unused variables, like I do in OCaml.
How does this differ from https://dify.ai/ and the many others in this space?
Yeah it’s crazy, welcome to Germany. The number of “partners” they share your data with is a four-figure number on some sites.

OTOH in the US they probably just use the data without bugging you first.
What's extra confusing is that in the graph the runs are called low compute and high compute. In the table they're called high efficient and low efficiency. So the high and low got swapped.
this might be quite an important point - if they created an algorithm that can mimic human reasoning, but scales terribly with problem complexity (in terms of big O notation), it's still a very significant result, but it's not a 'humans brains are over' moment quite yet.
I feel they must know the difference(and anyone would assume that) but will answer you in good faith.

I can listen to songs in their entirety in my head and it's nearly as satisfying as actually hearing. I can turn it down halfway thru and still be in sync 30 sec later.

That's not to flex only to illustrate how similarly I experience the real and imagined phenomena. I can't stop the song once it's started sometimes. It feels that real.

My voice sounds exactly how I want it to when I speak 99% of the time unless I unexpectedly need to clear my throat. Professional singers can obviously choose the note they want to produce, and do it accurately. I find it odd your own voice is unpredictable to you. Perhaps - and I mean no insult - you don't 'hear' your thought in the same way.

Edit I feel it's only fair to add I'm hypermnesiac and can watch my first day of kindergarten like a video. That's why I can listen to whole songs in my head.
> This is what I’m thinking. All of the kids I know from 16-22 are the most level headed group of young adults I’ve known.

Taking this on a bit of a tangent, but as an elder millennial, I recall having been told (by elder relatives in their mid-30s at the time) all about how one day I'd too be an "old fogey" looking down on "teens being teens" and how such progression is just the way of things. Hell, I still hear people preaching such "wisdom" today to their youngers.

Yet here I am, just past the age I'm supposedly meant to start ragging on "kids today", and all I can remark is that this same 16-22 set you speak of are remarkably respectful, polite, and considerate, perhaps more so than my own cohort at that age. I almost worry they're not rebellious enough for their own good.
Civic Identity Registry
Webwormhole needs those to setup a direct p2p connection.

Php you need intermediaries.
I work on all of them, if you have skyscraper of a project, which I worked on a quite a few, you can't run them without having the supporting "scripts" to define infrastructure, test, deploy, run canaries, gather metric putting them into dashboard, setting up alarms etc. etc.

You'd be surprised at how much engineering effort is NOT going into that skyscraper despite everything being built around it.
What happened this is year is the need to cover payouts from last year’s record losses due to wildfire, flooding and wind.

https://www.nytimes.com/interactive/2024/12/18/climate/insur...

https://www.nytimes.com/interactive/2024/05/13/climate/insur...

https://www.nytimes.com/interactive/2024/05/13/climate/home-...
I wouldn't underestimate how verbose JSON over HTTPS is, compared to a binary protocol that maybe only sends a single symmetrically encrypted UDP packet per sensor status report.

Some IoT devices run on CR2032 Lithium cells, and even a single order of magnitude still matters there.

Network data usage can be a consideration too. Some IoT devices use satellites as a backhaul; you definitely don't want to (and in fact can't) run HTTP over something like Iridium SBD, for example.
"AIs are a lot less risky to deploy for businesses than humans"
How do you know? LLMs can't even be properly scrutinized, while humans at least follow common psychology and patterns we've understood for thousands of years. This actually makes humans more predictable and manageable than you might think.

The wild part is that LLMs understand us way better than we understand them. The jump from GPT-3 to GPT-4 even surprised the engineers who built it. That should raise some red flags about how "predictable" these systems really are.

Think about it - we can't actually verify what these models are capable of or if they're being truthful, while they have this massive knowledge base about human behavior and psychology. That's a pretty concerning power imbalance. What looks like lower risk on the surface might be hiding much deeper uncertainties that we can't even detect, let alone control.
Smaller dairies are already in peril in the US, and cattle herds have been shrinking due to rising costs from climate change. Avian Flu might cause us to reach an inflection point quicker around cattle husbandry for milk and meat consumption.
Thanks for the quasidupe link. I didn't know about it.

This cookbook page is focused specifically on the Spreadsheet datatype, which is similar to dataframes, but also has a lot of specific ideas and views I think. It's not something that other languages couldn't implement.

Page could be a long blogpost, but since it's not temporary information, I made it in a form of a cookbook.

I am the author, but I didn't submit it here. I did submit it on lobsters, and someone reposted it to hn it seems.
Not people.

Certain gullible people, who tends to listen to certain charlatans.

Rational, intelligent people wouldn't consider replacing a skilled human worker with a LLM that on a good day can compete with a 3-year old.

You may see the current age as litmus for critical thinking.
These post-hoc determinations of senselessness are retarded.

You are at war with Nazi Germany and you're doing everything in your power to bring the war to a close and in war sometimes your attacks aren't as effective as you'd like.
Scenario 2:

You confide in your friend that you find one of your boss's habits so disgusting you don't even want to be in the same room with him. Your "friend" secretly records the conversation and then gives it to your boss.

Scenario 3:

In confession, you tell your priest that you've had recurring impure thoughts about your best friend's wife. The priest records the conversation and gives it to your friend "in the interests of bringing everything into the open".
I don't care about Haskell either, but we know what reasoning is [1]. It's been studied extensively in mathematics, computer science, psychology, cognitive science and AI, and in philosophy going back literally thousands of years with grandpapa Aristotle and his syllogisms. Formal reasoning, informal reasoning, non-monotonic reasoning, etc etc. Not only do we know what reasoning is, we know how to do it with computers just fine, too [2]. That's basically the first 50 years of AI, that folks like His Nobelist Eminence Geoffrey Hinton will tell you was all a Bad Idea and a total failure.

Still somehow the question keeps coming up- "what is reasoning". I'll be honest and say that I imagine it's mainly folks who skipped CS 101 because they were busy tweaking their neural nets who go around the web like Diogenes with his lantern, howling "Reasoning! I'm looking for a definition of Reasoning! What is Reasoning!".

I have never heard the people at the top echelons of AI and Deep learning - LeCun, Schmidhuber, Bengio, Hinton, Ng, Hutter, etc etc- say things like that: "what's reasoning". The reason I suppose is that they know exactly what that is, because it was the one thing they could never do with their neural nets, that classical AI could do between sips of coffee at breakfast [3]. Those guys know exactly what their systems are missing and, to their credit, have never made no bones about that.

_________________

[1] e.g. see my profile for a quick summary.

[2] See all of Russeel & Norvig, as a for instance.

[3] Schmidhuber's doctoral thesis was an implementation of genetic algorithms in Prolog, even.
I personally believe there are 2 types of Perl - development which you’re talking about here, and sysadmin/devops.

For the first category you’re right - these days there’s not much difference between Perl vs Java vs Rust because abstractions are the same.

But where OP’s smugness comes from I totally agree when applied to the second category - there’s an ocean of a difference between using tools like Perl, awk, sed, jq, and bash to transform Unix command inputs and outputs that it really is a massive superpower. Try doing a day’s work of a Unix admin using these tips compared to writing Java to do it. Oceans I say!

But I don’t think their being a basement dweller genius as you put it is because of Perl - it’s the smugness for the same reason why BOFH Unix sysadmin got their reputation - their tools are literal superpowers compared to GUI tools etc and they can’t believe everyone doesn’t use them!
> nobody knows why

But we do know the culpability rests on the shoulders of the humans who decided the tech was ready for work.
It honestly borders on midwit to constantly introduce a false dichotomy of AI vs humans. It's just stupid base animal logic.

There is absolutely no reason a programmer should expect to write code as they do now forever, just as ASM experts had to move on. And there's no reason (no precedent and no indicators) to expect that a well-educated, even-moderately-experienced technologist will suddenly find themselves without a way to feed their family - unless they stubbornly refuse to reskill or change their workflows.

I do believe the days of "everyone makes 100k+" are nearly over, and we're headed towards a severely bimodal distribution, but I do not see how, for the next 10-15 years at least, we can't all become productive building the tools that will obviate our own jobs while we do them - and get comfortably retired in the mean time.
amps are not water volume, more water pipe width
setting aside the difficulty in getting probabilities that sister commenters have brought up, i think what these kinds of articles often miss is that these decisions actually often are about vibes. even if i had accurate numbers and Kelly says that it's not worth it to buy insurance, it very well could be worth the peace of mind for me personally, regardless of wealth.

in general i don't like when someone else tries to tell me how i should be using a product i buy, and that includes insurance.
Humans are a bit annoying that way, because it's all correlated.

So a human with a better response time, also tends to give you more intelligent answers, even when time is not a factor.

For a computer, you can arbitrarily slow them down (or speed them up), and still get the same answer.
They don't have filesystem access, see the permissions overview in the OS settings for the app

But also how would the client be vulnerable in a way that leads to a compromise? Connecting to a domain that doesn't exist anymore? Even then it would need to download executable code, or exploit a bug that leads to it reading and uploading arbitrary files—if it had filesystem access in the first place. Working in the security industry, I never hear of people needing to update mobile apps for such a bug, it seems to be exceptionally rare. Most issues are server problems, direct object access (missing permission checks on invoice pdf downloads or so) or such

I do update things like SSH (yes, on my phone) because that actually exposes a port on the network, or email/messaging clients where anyone can send arbitrary content (how many times have we heard of image parsing bugs being exploited through a messaging system like SMS or WhatsApp?); that's not really the case for Spotify. There's attack vectors like the URIs that the app can handle, but it's not wormable in the same way because it requires user interaction and so won't go viral. It would be a specific attack and there's easier ways to target me

> (or are all android apps really sandboxed nowdays? I doubt it)

You might want to read up on this. They've always been isolated.
If it is really working for you, may I ask what platform and browser?

I am just nerdily curious how that could work.
Yeah, in C, you at least add the unused attribute and can grep for it. In some languages that do not support "_" prefix or the attribute meaning unused, you have to comment out parts. It is really annoying and I think it is worse.

In some C code where I have to suppress an unused variable warning (for example to a pthread callback), I just do (void)arg at the top of the function.
Yeah it's almost like system 1 vs system 2 thinking
Glad to see this on here. I've been using this for 3 years now with my club to track race course participants for a 50K. Radio operators at each station call in bib numbers, and we drag their bib from their last waypoint to the new one. There is a laptop in the van mirrored to a TV outside the van. Friends and family can then check on their particpant.

https://i.imgur.com/UZWhppc.png

I basically modified the CSS a bit so you can fit multiple cards in a row. nullboard as a board import/export feature to a simple json file. I have small python script that generates the columns (way-points) and cards (bib numbers). Then I can import that json to start that years race. While I would like more features (time tracking), it's a rather simple tool that can be easily operated offline and requires no resources other than a web browser.
Considering a nyc principal sent email to staff complaining about students' lack of proper edicate...

Yes. An encyclopedia. And a dictionary.
There are new research where chain of thoughts is happening in latent spaces and not in English. They demonstrated better results since language is not as expressive as those concepts that can be represented in the layers before decoder. I wonder if o3 is doing that?
Not everyone with a checking account also has savings.
Why is it a conflict at all? Does modifying the software go against the license? They don't have to follow Matt's philosophy. If Matt want to control the use he should have encoded it in the license. Isn't this a classical case of wrongly chosen license and assuming others
agree with you on unstated things.