skysight-inc/HackerNews huggingface dataset:
Don't get your hopes up too much, it has been flagged already. It will take a while still for the censorious fraction of this (and other similar) site's population to realise that an open discussion on 'contentious' subjects does not cause 'harm' and that studies like the one mentioned here are part of the normal progress of research into these subjects.
Espressif ships the wifi driver also as an .o file that takes huge struct of function pointers to OS-provided functions that works with other RTOSes. But you need some kind of RTOS.
Define "meaningful".

A lot of mathematics is about exploration. You look at some system and try to figure out how it works. If you have a good idea (conjecture), you try proving or disproving it. The goal is to gain some understanding.

Once in a while, it turns out that exploration hits the gold ore in the mine. You get something that applies to solving some problem we've had for years. As an example, algebra was considered meaningless for years. Then cryptography came along.

There are other good examples. Reed-Solomon coding relies on a basis of finite fields.

The problem is we don't really know when we'll strike gold in many cases. So people go exploring. It also involves humans, and they can disagree on a lot of things. Stephen seems to run into disagreements more often than the average researcher, at least historically.
> ..is a tiny part of a tiny market in a single nation in the world.

Calculator was a small device that was made in one tiny market in one nation in the world. Now we all got a couple of hardware ones in our desk drawers, and a couple software ones on each smartphone.

If a driving car can perform 'well' (Your Definition May Vary - YDMV) in NY/Chicago/etc. then it can perform equally 'well' in London, Paris, Berlin, Brussels, etc. It's just that EU has stricter rules/regulations while US is more relaxed (thus innovation happens 'there' and not 'here' in the EU).

When 'you guys' (US) nail self-driving, it will only be a matter of time til we (EU) allow it to cross the pond. I see this as a hockey-stick graph. We are still on the eraser/blade phase.
How am I supposed to read this ? a thinly veiled hatred for Mr. Musk?
> Edit: if you disagree then tell me why I have a religiously strong opinion on spaces vs tabs

Because you did not think this through logically I assume.
There is only one answer: indent using tabs, align using spaces.
This way the text never looks "broken" on any other machine, and personal preference for how deep indentations should be can be applied.

I think people mostly form strong religious opinions because they want to belong to a group or feel a sense of purpose. Do you feel that when defending your stance on tabs vs spaces?

But I fail to see how this is related to programmers being creatives
"Farthest North"

In 1893, Fridjtof Nansen set sail in the Fram, a ship specially designed and built to be frozen into the polar ice cap, withstand its crushing pressures, and travel with the sea’s drift closer to the North Pole than anyone had ever gone before. Experts said such a ship couldn't be built and that the voyage was tantamount to suicide.

This brilliant first-person account, originally published in 1897, marks the beginning of the modern age of exploration. Nansen vividly describes the dangerous voyage and his 15-month-long dash to the North Pole by sledge. Farthest North is an unforgettable tale and a must-read for any armchair explorer.

https://www.gutenberg.org/files/30197/30197-h/30197-h.htm
I don't think the tech sector will be hit that badly, the push to increase energy consumption by making everyone use AI won't slow down. Most of tech is physically closer to SF than LA.

Hollywood is being significantly affected though.
Do you have any plans to develop an iPad version of the app in the near future?
And lose that advantage the moment you need to go to the hospital.
What was the language and proposed architecture? Nothing is quite as grating as being hired for work on an Erlang/Elixir code base and seeing basically no correct usage of the platform and it'd definitely result in an instant suggestion to start correctly leveraging Erlang, piece by piece. It's not even a question of architecture as much as it is completely ignoring what makes the platform good, IMO.
Similar in nature is Farthest North: The Incredible Three-Year Voyage to the Frozen Latitudes of the North. Fridjtof Nansen (https://en.wikipedia.org/wiki/Fridtjof_Nansen) led the expedition.
Speculation has a specific definition which does not apply (I checked several online dictionaries). I was offering examples of things, but not considering them and therefore was not speculating.
I wouldn't be surprised if they're an LLM-powered bot.
ZX Spectrum family certainly did not had any usable one, and the few attempts that existed weren't usable over raw Z80, due to the code quality and having to deal with the memory space that was anyway reserved for the builtin interpreter.

I don't remember if the CP/M offering for the 128K +3A had any compiler available, but I only knew one person with such a model, thus I never really tried out myself.
On the subject of that last item, it is to my amusement that modern internet scanners are completely confused by a 1970s operating system. They record a "hit" when they find an open telnet port, but then get stuck because there is no recognizable prompt after the system banner message prints. They find a running FTP server but get confused that it does not use recognizable filesystem semantics. They get even more confused when it ignores passwords because the system has none. By all rules and tenets of security doctrine this system should be the internet equivalent to a smoking crater, instantly and utterly destroyed by advanced security threats beyond the imaginations of its creators.

PS: It is also amusing that an unmodified 1970s SMTP server can still deliver messages to gmail and receive responses back, given only the provision of a SPF record. Sadly, the coming mandatory requirement for DKIM will finally make this no longer a possibility.

PPS: It is much less amusing to attempt to read the gmail user's responses on a terminal.
I think that's more a pattern of your understanding growing over time.

Most technical writing is actually at the start of the technical journey, there's more people there and its more interesting to talk about strategy and ideas when its not "messy" with internal details and trade offs you make.

I encourage folks at any technical level to write, and I encourage folks to check authors work with a critical eye no matter how long the source has been in the industry, no amount of experience can protect you from being wrong.
My favorite on this topic is The Prize: The Epic Quest for Oil, Money & Power. It’s a deep dive into the emergence and evolution of the oil industry. Technological innovations, financial developments, political shifts and so on.
they'd show up for the reservation they made and find that it doesn't exist!
I would recommend The New Map - it's about the extraordinary development of Fracking and how it changed geopolitics.
They explicitly provide that data for you to do as you wish. They are in a grey area, not you. You can download it no problem.
Building Forward in the Face of Fires
Isn't really the same though, that would be like using MS-DOS debug instead of proper compiler.
Unlike most subscription services that rely on dark patterns to make cancellations difficult, Kagi does the opposite: it emails me every month to remind me that my subscription is still active and that I’ll be charged in a few days. It’s a small but significant gesture that shows respect for users.
It only sort of shows that. ISBNs are issued by edition, not title, so many books would have more than one. And books published before 1970 or so might not be represented at all if they have no recent edition.
It depends who you are:

- if you are an individual then it's called "pirating copyrighted work"

- if you are a multi-billion dollar corporation then it's called "use of uncleared material for training"
> Notably, no self-reflection training data or prompt was included, suggesting that advanced System 2 reasoning can foster intrinsic self-reflection.

They suggest, that self-reflection is an emergent phenomena of reasoning. Impressive. Can't wait to see the code.
No, it's not those other things, that's just using the tool incorrectly. A NULL is definitely "we dont know", not false, not N/A, especially not any known value.
thanks a ton! If it's public please share in the Discord https://discord.com/channels/1285598202732482621/ > #use-cases (just created!), if not, mail me at noah@priorlabs.ai
>Otherwise the H1Bs are coming to take your job.

Cool, let's just accelerate to the inevitable lawsuits when the government questions why so many Americans can't get work but we're importing more people than ever.

Give Trump's whole narrative, that will be an interesting show to watch.
Great call! I went for The New Map but this one is v high up my to read list.
> I was surprised to learn that seat-belt usage took so long to take on.

Look up the automatic seat belt fad from the 80s and 90s. To make a long story short, there's a reason why they fell out of favor; you still had to manually put on your lap belt, and a lot of people who normally would wear their seat belt correctly didn't realize they had to wear a lap belt.

Also, no one wears seat belts in India. When a car came to pick me up, there was no seat belt in the rear seat. The driver had tucked them under the seat, so I made him pull them back out. As we drove along a semi-freeway, the center divider was giant potted plants instead of a guard rail. Good luck if you happen to drift into one of those without a seat belt.
Mail-out madness as insurer offers refunds to customers in error
Although Wolfram doesn't mention it by name, this is closely related to what he is trying to do: https://en.wikipedia.org/wiki/Reverse_mathematics
Soon "war sitting" will replace "war driving."
As others have already said, think of it as NAND, although in traditional logic this is typically called the "Sheffer stroke".
I quite like the Sony Bravia UI.
I did intend to just use a connected Raspberry Pi 4B running LibreElec to play my own content, but I ended up using the Kodi app from the Google Play store, which was superior at the time (h264 and h265 hardware decoding, plus working HDR. The Pi4 firmware was lagging behind). I have used my Pihole for DNS to stop calls to tracking services like Samba. A fairly recent firmware update meant I could attach a cheap gigabit Ethernet adapter to the USB3.0 port, so happy camper here.
That's probably not what most people here understood with "rollable". It doesn't form a a roll like a roll of paper.
Meant to say you can't implement it as an invalid/trap state. This is possible in some implementations but they have to cooperate with you to do it.

> In particular getting valid addresses to other objects from out-of-bounds address arithmetic is not just conformant with the C standard but by far the most common conforming behavior.

One reason calculating out of bounds addresses might not work out is the calculation might cause the pointer to overflow, and then surprising things might happen like comparisons failing or tag bits in the high bytes getting corrupted.
The dot is not simply NAND or NOR.

Search for "What Actually Is the “·”?" for the answer, it's quite complex and fascinating.
Replacing the entire soldering station would be quite an overreaction to an issue with the tip.
Thanks for this. I wasn't going to feed the trolls; but you are not wrong

> this is the snottiest, rudest, least constructive comment I've seen on HN in quite some time

I wish ;-). I see a lot worse here regularly. But it's certainly not nice behavior. Luckily, I have a thick skin.
Let's suppose Waymo's fully automated stuff has tenfold-fewer fatal collisions than a human. There's no way to avoid the fatal accidents a human causes, and the solution to Waymos getting stuck sometimes is simple. The point is that the Waymo can actually be described as superior to a human driver, and the fact that its errors can be corrected with review is a feature and not a bug - they optimize for those kinds of errors rather than unrecoverable ones.
Formal proof is so much important, since currently maths is built on set theory, I wonder how the set theory axioms are written in some of the formal solvers.
Yes because otherwise they would have fact checked that there's no lake Geneva.
Estonia tops EU's housing price rise index
Payroll employment rises by 256K in Dec; unemployment changes little at 4.1%
Sure, but the title of the article blatantly states otherwise in order to give grandiose impression.
i have passwords in bitwarden and i backup my photos regularly to my pc
Time zones are still a thing to workaround. It's easier to import them or to nearshoe. Tech in south America is there but not super plentiful.

But you're missing the real reason. It's not about salaries by itself. It's control. People like musk would even pay H1b's more than an American when they lack the leverage to easily hop to another job or can threaten to end their visa if they get uppity. Even under American soil, he can coerce them to work to the bone easier than a citizen.
The latter is a necessary, but not sufficient condition for the former.
I'd agree except the laptop i'm typing this on seems to use 4.5 W right now, the whole system :)

I don't expect Apple like power/performance ratio from everyone, but they could at least try...
"We did not plan on our main competitor to do that bad... then we cannot handle the demand"
It's not exactly a copy (though espionage took place): https://en.wikipedia.org/wiki/Buran_programme

There are numerous examples where soviets copied western technologies changing little except the name but Buran is not one of them.
If your apps run continuously, how's the battery life?

If you freeze them to save the battery, how do you handle unfreezing?
It has an impact, even if its just a distraction. I have friends who had family seriously affected by the fire that work in major tech companies who are taking time off to help out etc.

I wasn't trying to suggest it's a major financial hit to the tech industry in California, but every event climate change linked extreme weather event like this does have a negative impact on output and profits.
As yet another layman, if they want to simulate a duel then they should make it first clean hit wins. Kind of like judo or boxing, where you do have points, but if someone lands a 'finishing' attack they win. Points only come in if no-one finishes the fight.
Great Fortune, a book about the making of Rockefeller Center is one of my favorites.
is there legal precedent for that?

already asked LLMs so please don't copy/paste an LLM response.
Speaking as someone who works in IT in healthcare - you need to close your site down immediately, do not pass Go, etc., and hire a lawyer. You are opening yourself up to practically unlimited liability.
It's all about the money.

When you get down to it in a capitalist society someone downloading a cracked videogame is worse than a sexual abuse victim in the Philippines. Life is cheap.
> data pointers are fungible regardless of where they originate.

This was never true because of something called provenance: https://www.ralfj.de/blog/2020/12/14/provenance.html. Though it usually doesn't matter and I think it annoys anyone who finds out about it.

But in practice it's not always true on Apple A12 or later because they support PAC (so pointers of different type to the same address can be not equal bit-wise) and is even less true on very latest Android because it supports the really big gun MTE. And MTE is great; you don't want to miss out on it. No explainer here because there's no Wikipedia article for it(!).

Also becomes not true on any system if you use -fbounds-safety or some of the sanitizers.
I don't think you're doing it on purpose, but this is Holocaust denial. The Nazis did destroy all extant copies of several works – for example, research of the Institut für Sexualwissenschaft. (Edit: Some Judaica were sent to Prague instead of being destroyed – though apparently Hitler's planned Judaism Museum is an urban myth.) They absolutely were trying to utterly destroy – not just symbolically reject – vast swathes of culture.

Please don't make stuff up about the Holocaust. It's the sort of mistake you shouldn't make even once.
They can, but it's slow and easily bribe able to change 2 or 3 minds to override the entire shebang.
Reading the article.

First Online Date: 2024-10-09

Date Posted: 2024-12-05

Date Published: 2025-02-01 (It's being "published" at a conference)
> Unraveling a person behind a pseudonym and Doxing is much easier nowadays though

For state level actors, sure. But generally? I don't think that's necessarily true, as long as you come up with a pseudonym that is unique, not related to anything in your real life, and you haven't already published a lot of prose under your real name.
And halve that to get "real world" speeds.
> they should not change their position on whether or not they should associate with said person based on this situation.

This sounds like you forcing them to adopt your views.
Honestly, I can't think of a single app that doesn't back up its own data. Meta apps have their own backup mechanism, games all backup either through their own servers or Play Games service, pretty much everything I use is a service of some sort.

But yeah, I guess Google isn't backing up the state of the offline chess app I downloaded 10 years ago...
spectrum here from 'guest actor promoting tie-in show', to unrelated product placement, to unskippable ads at the beginning of prime shows, to 'watch next episode' button at the end of an episode
You can just use k3s/rke2 and run everything on the same node.
Second this one, it's incredible in the level of research and detail.
That’s amazing great read. According to for example this[0] post it’s possible to change code pages in windows in various ways and would allow the use of multiple BestFit scenarios on the same OS without reboot. Even combining them should be possible.
> you have entered into a social contract to interact with others.

An entirely voluntary social contract. I'm not required to read a specific person's posts and can chose not to based on new information I'm told about them.
This is a frustrating conversation.

It appears that anonymized data medical data are being sold en masse by providers (*) because money. But it's also obvious to us tech folk how trivial it is to combine anonymized patient encounters with location and credit card purchase data etc to de-anonymize it and resell as enriched.

So the only people who are effectively bound by HIPAA are the well-intentioned ones who have to protect themselves and and comply; the rest are laughing at them on the way to the bank.

* https://www.theverge.com/2021/6/23/22547397/medical-records-...

* https://www.scientificamerican.com/article/how-data-brokers-...

* https://www.medicaleconomics.com/view/who-profits-our-medica...
You know, I've pushed back against the idea that the JavaScript ecosystem is absurd in its churn. I've argued that it's largely stabilized. But then I read comments like this, and they almost change my mind.

> Koa is old

9 years since 1.0, so sure, that's "old" by some definition. That said, I've been hoping we can get past that definition now that JS-the-language stopped iterating as quickly.

> but somehow it never gained enough traction. ... look at Bun or Deno frameworks like ElysiaJS or Hono.

Elysia has 45k downloads a week and Hono has 460k, but it's Koa at 2.5m downloads a week that never gained enough traction?

Koa never managed to unseat Express because the average Node developer is sick of framework churn and wants to just build stuff. The even-newer frameworks aren't somehow more likely to do so than Koa was.

> From a technical standpoint, Koa was all about composing middleware and using JS generators. I don't think that's relevant anymore.

Can you elaborate? What's the new, 'relevant' technical foundation for an HTTP server library?
"Why learning the C language is still a good idea" by Antirez
Drug addiction and overdoses are doing fine. Teen pregnancy decline is good but I fear the reason — alienation — is not.
Lunchmoney is great and much more affordable that YNAB
But that’s not very helpful advice then. Basically you’re saying water is wet.
It may be least of your worries considering it requires 2x[A/H]100 80GB Ram.
Robots and living animals have different limitations and constraints though: compared to separate legs and wings for animals, using one motor with some kind of gearbox to switch output from wings/propellers to legs might have a lower added cost in terms of weight . The legs can stay very skinny. The limitation would be how bulky such a gearbox would be, and how much extra kinetic energy loss it would introduce. At the same time creating functioning wings that can also work as legs sounds like it might be a huge challenge in robotics (unless there's a way to massively simplify it).

Definitely an interesting idea that should be investigated though! :)

(Also, I've seen so many "AI learns to walk" videos that I'm wondering if it could be used to find a design that would work for this task)
I use a self-hosted Bitwarden instance for that kind of stuff and before that I used Aegis + Synchthing.
Sure, it's called trial by jury.

A jury is gonna believe you forgot the password for an account you haven't accessed in X years. They're not gonna believe, without a lot of evidence, that you forgot the code to the smartphone you use every day.

And that's assuming that the judge even considers it reasonable.
I disagree that regular interventions every two trips where you have no control over pickup or dropoff points counts as full self driving.

But that definition doesn’t even matter. The key factor is whether the additional overhead, whatever percentage it is, makes economic sense for the operator or the customer. And it seems pretty clear the economics aren’t there yet.
Less deps method:
grep -f gravy_app_list\ -\ count.csv <(adb shell pm list packages -3 | cut -d":" -f2)
What free speech? The moderation changes explicitly say you cannot label Republicans as mentally-ill, for example, but you can label gay people as mentally ill. If you are cherry-picking who can say what, this is not free speech, so don't label it as so.
This sentiment toward the likes of Bill Gates is the root of the problem. Someone builds a large company through massive advantage, luck, privilege, timing, and above average skill in a particular industry, and their starry-eyed wanna-bees think they can do anything, even single-handedly build a sustainable economic model for the next century. Even Bill Gates is smart enough to know that he can’t do that.
My assumption was that it landed sans-cowl.

But it turns out it might be from an Ariane upper stage after all.
The amount of apologetic comments for a potentially dangerous malfunction of tech on this thread is amazing.
https://www.bls.gov/ooh/computer-and-information-technology/...

BLS reports ~1.9 million software developer jobs and predicts 17% growth through 2033. Crunchbase is talking about "tech workers" not developers. And they don't even say that tech employment is down. I predict that when BLS publishes their preliminary job numbers for 2024 it will be at least 1.85 million, not 1.9 million as suggested by your Crunchbase News. I would lay 2:1 odds that it will be higher than 2023's number.
It results in unreliable joints that will cause problems over time.