skysight-inc/HackerNews huggingface dataset:
Thanks, it's interesting and gives some suggestive information about the motivations concerning navigation and calendrical reform.

It has some severe weaknesses when trying to make the case for influence on mathematics, though.

The authors mention Pell's equation x^2+Ny^2=1, and the method given by Bhaskara II to find solutions x,y for arbitrary N (though others note the method was given earlier by Jayadeva).[0] Bhaskara gives the example of N=61. Fermat, in a letter to his friendly rival Frenicle, also gives the example N=61 as a challenge. Now, if 61 were arbitrary in this context, then this would be something like a smoking gun showing almost certain influence. However, 61 is very special here, because the smallest solutions x and y that satisfy the equation are suddenly much larger for 61 than for any smaller N (they're of order 10^10). The authors of the paper don't mention this crucial detail. Fermat also challenges his pal with N=109, which has similarly huge minimal solutions (order 10^15), and which Bhaskara does not give. Fermat writes that he's chosen smallish values of N, "pour ne vous donner pas trop de peine," so he's obviously chosen these values precisely because they're fiendishly difficult, and that's no doubt why Bhaskara also chose 61 as an example, and that's adequate explanation for why the same value shows up in the two places. Fermat had been working on number theory for some decades prior to this point, and his correspondence shows him working through simpler versions of this and related problems, making many original contributions along the way.[0]

The example the authors give about influence on calculus has similar weaknesses. The example they give involves using the sum of the kth powers to integrate x^k. They write that "the formula had no natural epistemological basis in European mathematics," which almost made me spit out my tea because it suggests the authors haven't heard of Archimedes, who used exacly this method with k=2 to give his quadrature of the parabola, and this was well known in Europe at the time (although his works had only really been rediscovered in Europe in the 1500s). The Arab mathematician Al-Haytham had extended the method with k=1,2,3, and 4 in the 10-11th cenury, Cavalieri in 1635 had calculated up to k=9 and conjectured the integral was (1/(k+1))x^(k+1), before Fermat, Pascal, and Roberval gave their proofs of this general relation.[1][2] This last point especially means I don't understand what the authors of the paper mean when they say "the European mathematicians were unable to prove the formula or provide a rigorous rationale for it within their epistemology." ... They did give proofs, and what they were doing was completely intelligible within the historical development leading up to that time.

These are the points I know about, and they don't fill me with confidence about the authors' other judgements.

[0] Andre Weil 1984 Number Theory: An approach through history (ch.1 section 9 mentions Jayadeva and see ch.2 on Fermat, esp. sections 12 and 13)

[1] Edwards 1979 The Historical Development of the Calculus (p.109ff.)

[2] Stillwell 2010 Mathematics and its History (section 9.1)
`exit` will work as expected in Python 3.13: https://docs.python.org/3.13/whatsnew/3.13.html#whatsnew313-...
Human brain has 1000 trillion synapses between 68 billion neurons. What are you going to simulate them on?

And it's not like you can copy brain's connectivity exactly. Such technologies don't exist.
If I do dream, I have no knowledge of it. In 52+ years of life, I have never woken up and remembered anything from the time I went to sleep. I even tried keeping a dream diary to see if I could remember anything if I tried to write stuff down as soon as I woke up, but there was never anything there to remember.
All examples are 404'd for me.
Sure, since they don't have much experience, but in time, they will.
us companies are subject to lawsuits from us citizens and government
Always fun trying to read errors in a CI build and they are full of [[
They're not short of cash, they're short of business throughput for their fab because it's uncompetitive next to TSMC, but a lot of their chip design business relies on integration with it so they'd lose a ton of money if they went fabless like AMD and switched to TSMC.
We need laws and regulations on software the same way we have for toys, cars, airplanes, boats, buildings.

This silicon valley libertarian non sense needs to stop.
pgvectorscale from the timescaledb team introduces StreamingDiskANN indexes and compression to pgvector:

https://github.com/timescale/pgvectorscale

the sales blurb:

> On a benchmark dataset of 50 million Cohere embeddings with 768 dimensions each, PostgreSQL with pgvector and pgvectorscale achieves 28x lower p95 latency and 16x higher query throughput compared to Pinecone's storage optimized (s1) index for approximate nearest neighbor queries at 99% recall, all at 75% less cost when self-hosted on AWS EC2.

been using it in dev (~2.5M embeddings to date) and so far, pretty great

edit: HN announcement + thread from a couple of months ago:

https://news.ycombinator.com/item?id=40646276
That’s terrible. The real reason to read the book is for the language, as the narrative itself is great but not why it’s such an excellent novel. I have a few lines memorized via Anki because the writing is so impressive.
US is not the world and cars do get sold outside of the US. This is probably the list the parent comment was referring to: https://www.best-selling-cars.com/global/2023-full-year-glob...
This is correct. Greenspun's Tenth Rule is not meant to be interpreted as applying to projects that are consciously creating a Lisp implementation. It's about programs which are not meant to be language implementations at all reinventing ad hoc infrastructure that is designed in Lisps according to established patterns. For instance, badly reinventing something that functions as symbols.
Both Chat GPT 4o and Claude 3.5 can trivially solve this puzzle if you direct them to do program synthesis to solve it. (that is write a program that solves it - e.g. https://pastebin.com/wDTWYcSx).

Without program synthesis (the way you are doing it), the LLM inevitably fails to change the correct position (bad counting and what not)
Polar icecaps shuddering at the thought
You don’t have to verify your whole application, just set SPARK_Mode => Off where you want to skip it. Alternatively, set the global default to Off and it becomes an opt-in feature.

Proof levels depend on your goals, but most requirements are satisfied by proof of “Absence of Runtime Exceptions” (AoRTE), which is easier than a full formal proof.
That's explicitly encoded right in the rule itself! When the program contains a bug-ridden, ad-hoc simulacrum of half (or more) of Common Lisp, then it has become sufficiently complicated. When it has less than half, it is not yet sufficiently complicated.
I think solving ARC-AGI will be necessary but not sufficient. My bet is that the converse will not be true - a model that will be considered "AGI" but does poorly on ARC-AGI. So in that sense, I think this is an important benchmark.
High lead levels found in cinnamon and spice blends from 12 brands
Chinese Cargo Cranes at U.S. Ports Pose Espionage Risk
I wonder what SoC these are running?

Quite a few of them actually end up configured to preference SD boot over internal flash and/or have easily accessible buttons or shortable pads to trigger bootrom recovery modes.

Which at least, stops them being automatically consigned to e-waste.

Although, customising a LibreELEC image for the dozens of different models of TV box isn't great. Typically involves sorting out the dts for the device and remapping the remote.
All of those things are based overwhelmingly on social circles and politics. Not merit. If the world were based on merit we wouldn't be afraid of free markets and we wouldn't have mega corps. Yet, here we are.
I migrated from pinboard to raindrop this year, can confirm.

I was on Pinboard's lifetime plan. No subscription, just a single payment of $15 back who knows when. A few years ago I was asked if I wouldn't rather pay $5 per month instead, and declined. I wonder if all the outages and throttling were a result of underestimating the running costs.

Regardless, service quality had declined to such levels that I switched to raindrop this year. Ironically, raindrop is free to use, and may run into the same issue eventually.
https://archive.ph/WJ0gM
The tech cartel faang and adjacent. People talk to each other.
To add to my comment which I can’t now edit.

On the Netflix series ‘Tour de France: Unchained’ there is mention of the cyclists getting run down, losing weight and getting chest infections.

This seems to be a thing, though upper respiratory tract infections, ‘the cyclists cough’ seem better documented.

https://www.netflix.com/title/81153133

https://www.kheljournal.com/archives/2020/vol7issue6/PartD/7...
I think it’s simply coincidence that the executive branch is finally getting around to this, after years, at the same time the Chinese economy is coming off the rails. Regrettable, but such is life.
> posting mean stuff

"inflammatory posts on social media calling for hotels housing asylum seekers to be set alight"

I dunno, I think there's a bit of a gap between "mean stuff" and "racial hatred with an incitement to murder".
Correct, no companionship for me — I understand this is a business and any connection is as deep as a “customer service” role at most. The relationship part is weird to me. I’m just paying because I want to see more of that person’s content specifically, and You Gotta Support The Troops™ (and by troops in this context I mean sex workers).
Here's material for learning languages:

https://web.archive.org/web/20240914030045/https://www.filem...
https://web.archive.org/web/20240914030209/https://2009.file...
https://web.archive.org/web/20240914030209if_/https://2009.f...

sha1sum mem9.csv: c7b82b2488dc136676b6be3e6c25fcea9437f78f

unfortunately these languages are missing from the files: portuguese sinhala sanskrit pali prakit dzongkha
Drafting someone in the rain is awful. Their wheel makes a nice little geyser for your eyes and mouth.
Exploiting the alpha decay of thorium? If we fully capture the alpha decay energy from the decay chain of Th-232, we get about 24 milliwatts per ton of Th-232. That doesn't seem practical at all.
Does anyone have a logical reason why this company should not be sued into oblivion?
You're not getting a job in programming without a social in. The people hiring you don't understand the job. That's what happens when things become big, bloated, and need to be popped. Tech has control of all modern nations down to the military and infrastructure. Nobody is tangibly regulating and pushing back on their power.
Some bios and firmware support turning on at a certain time. Maybe cron was a way to simplify.
The analogy of a wafer bank to a seed bank is new to me. I would imagine the wafer bank is a bad idea, because they would just be playbooks that would lead to the collapse. So kinda pointless.
Linear Doesn't Mean Easy: Applied linear algebra is much harder than advertised
> actual hearing aids have way higher end speakers, microphones, and other sensors

Can you share more info about that? I'm open minded but skeptical. What about the speakers and microphones is way better? Speakers and microphones are certainly in the category where a high price doesn't necessarily reflect higher quality.
> If you gave me a button that burned down the entire Amazon and made a semiconductor industry magically show up in its place, I wouldn't even think twice before pushing it.

I wouldn't. It would be a really bad deal.

It's not like the article is wrong. There is a link between deforestation and droughts. Droughts and heat waves are becoming more severe and common in Brazil. The point is that the well was poisoned. Mainstream environmentalism was contaminated with politics so it's pointless to engage with it as it will accomplished nothing by design. It doesn't make sense to waste time and sacrifice your mental sanity for nothing.
Bash is crap and powershell an abomination with a few good ideas.

fish, Python, and oilshell (ysh) are ultimately on better footing.
Yes, but the author of the article doesn't do that either. Everything is dismissed as ridiculous and old fashioned. Which is also just silly. Not rebelling or rebelling against everything are both bad paths. You need to realise some things you ancestors got right, and some things they got wrong.

As OP says the fashionable thing in media seems to be "dismiss absolutely anything that even faintly resembles old fashioned values as idiotic"
Ambassador to a country with no currency or trade or airport. In the US it’s a meme that political donors get to be ambassador to one of the easy countries. Doesn’t get much easier than the Vatican.
"Owning" the land is more of a license from a government. It is a taxi medallion you trade with other people for money.

Lots of stuff you cant do on your own land without permission.
You know you can actually like people with different political views to yourself.

I think Zizek is a super nice guy, despite disagreeing with 90% of what he says. I still think he's a great person with a nice soul.
> Moreover, the military wants parts for decades, so you're stuck building obsolete parts on an obsolete process.

Intel recently built expertise in this area, so I think they are a good match.
Great article. One question I had, not to diminish this hard work, is why not use a different implementation like ECL which is pretty portable already and can compile to static C code which can just be compiled traditionally for the target? I've been doing that for a Wasm + SDL2 game in Lisp and it's been (relatively) straightforward. I suppose performance might be a issue.
These are API calls to a remote server. We don't have the option of scaling up or even measuring the compute they use to run them, so for better or worse the server cluster has to be measured as part of their model service offering.
> so you're stuck building obsolete parts on an obsolete process.

Isn't this what every corporate wants? Steady supply of income with no R&D, marketing, etc.
Their right to free speech was not taken away. Their access was blocked for failure to comply with the law. E.g. it wouldn't be the first time if I tried to visit a website and see the domain was seized by the US government for breaking a US law, which is even more egregious because it blocks a page from the whole world and not just US. I have yet to hear Musk complain about this being the man of strong principles he tries to make himself to be. Twitter under Musk routinely bans users that mock Musk, see e.g. https://en.m.wikipedia.org/wiki/Junlper
Their technology deserves a lot of praise but their anti-competitive business practices should be shamed. If there was a way to separate the two i would love to see intel as a business go bankrupt but intel as a foundry live on.
Yup, this is why the label will say something along the lines of "DO NOT COVER DRIVE HOLES".
To paraphrase, "ZFS is the worst filesystem, except for all those other filesystems that have been tried from time to time."

It's far from perfect, but it has no peers.

I spent many years stubbornly using btrfs and lost data multiple times. Never once did the redundancy I had supposedly configured actually do anything to help me. ZFS has identified corruption caused by bad memory and a bad CPU and let me know immediately which files were damaged.
Now imagine Apple bans your account because you forgot to update your payment details and were on holidays at the time, missing the warning.

Now you're not only stranded without your data, no, all your devices are ewaste too

I can see the charm, totally.
Dr. Khan explains Linear Algebra here: https://www.khanacademy.org/math/linear-algebra
YC S25 startup idea:

Online identify verification is hard. Financial apps rely on verification to meet their KYC/AML obligations. In years past, a selfie photo was sufficient, but sophisticated fraud entails that we must now ask users to perform actions while their identity is being verified.

Where there is a problem, there is also opportunity. Identity verification is ripe for commoditization as adtech. We have partnered with Mountain Dew to help users protect themselves from identify theft by asking them to perform fun, brand-aware actions during the IDV process.

Due to the revenue generated from our sponsorship partners, we can actually pay apps to include our technology, even if they don't need it. This enables revenue potential that would be impossible with the traditional app-pays monetization model.
> the entire point is that the process is confusing and easy to mess up

That's a fair point! It isn't the only one that was made.

OP concluded that the activation lock "only exists to create ewaste and pad the bottom line" [1]. That's the contentious part.

[1] https://news.ycombinator.com/item?id=41536804
Nowadays you could almost fit all that on a single 61TB SSD and not bother with 24 disks
I too am retired. I use "rsync" instead of "tar" because I prefer the ease of browsing and restoring from a non-compressed filesystem. To save space on the backup medium and get a faster backups I use the "--link-dest" option of "rsync" to hard-link unchanged files in the destination backup to a previous backup.

Since I have external drives that also need to be backed up I put a ".diskid" file containing a unique identifier in the root of each external drive and duplicate the identifier in the disk name. My backup software has multiple targets and sources configured, so all I have to do is execute "backup" and all possible backups are performed depending on whatever external drives I have mounted.
aka. proper landlords
Isn’t that sort of the point? It makes the argument impossible to dispute. If it’s not slow or big-ridden, then it’s just not sufficiently complicated. Which you’re correct to call out.

I think what makes it work is that Common Lisp very quickly becomes a faster way to do things because of how insanely efficient it is.
Related:

23andMe told victims of data breach that suing is futile - https://news.ycombinator.com/item?id=38874361 - January 2024 (33 comments)

23andMe tells victims it’s their fault that their data was breached - https://news.ycombinator.com/item?id=38856412 - January 2024 (368 comments)
Not to mention, you likely don't own the water or mining rights to the land you own, nor does your ownership extend significantly up, either.
And loose all of it when it fails.
There is no "his own farmland". All land in Ireland is owned by Ireland. You don't magically become a sovereign of your own plot just because you have a title deed, Ireland still ultimately owns that land. You're just granted most of the rights relating to use of that land. But not all rights. And archeological finds fall in the "not all rights" category.
I don't think there's a non-moderated scenario that puts the cat back in the bag. Even before chatbots, there were massive influence operations in favor of one strongman's favorite strongmen. Online manipulation is now an industrial science with decades under its belt.

There are so many voices now that someone or something is moderating them no matter what (in most cases just by ordering them.) The challenge now is meta-moderation.

There are still few enough moderators that one or two "good guys" could fill the shoes of the meta-moderator, e.g. EFF could tell you that HN is good and Xitter is bad.
>If I say "murderers suck", and 85% of murderers happen to be men, am I "attacking" men as a group?

No, but what's disgusting is that both sides of the argument will come up with different reasons why it's not.
But if we had enough compute, it'd be trivial, right? I mean, I didn't think so, but the guy I replied to seems to know so. No, in all seriousness, I realize that "extremely slowly" is an understatement.

In davidzheng's defense, I assume he likely meant a higher-level simulation of a human, one designed to act indistinguishably from an atom-level simulation.

I just think calling that "trivial with enough compute" is mistaking merely having the materials for having mastered them.
A secure environment doesn't involve software exfiltrating secrets to a 3rd party. It shouldn't even centralize secrets in plaintext. The thing to collect and monitor is behavior: so-and-so logged into a dashboard using credentials user+passhash and spun up a server which connected to X Y and Z over ports whatever... And those monitored barriers should be integral to an architecture, such that every behavior in need of auditing is provably recorded.

If you lean in the direction of keylogging all your employees, that's not only lazy but ineffective on account of the unnecessary noise collected, and it's counterproductive in that it creates a juicy central target that you can hardly trust anyone with. Good auditing is minimally useful to an adversary, IMO.
Nit: Their legal family name in Austria really is Habsburg-Lothringen. A double name. "von" was forbidden after WW1, so they replaced the von with a -.

A good friend of mine is a real Habsburg-Lothringen. From a poor farmers branch of the family.
In response to "our country's heritage": Ireland is not a person so the concept is entirely political.

And provided you don't cause any negative externalities, you should have the default right to do whatever you want on your land.
Buy a pinecil instead, it has proper tips and a good price.

Ifixit fails to produce good tools because all they've done in the last 5 years is coast on their bit sets. They're not people who actually work with these tools. If they were the LTT screwdriver wouldn't have needed to be built.

Hundreds of dollars for what is done for $50 is a clear example of attempting to turn ifixit into a brand that sells tools not a tool designer that sells effective solutions.
Yahoo pool was ace. Fond memories of 2006 I think...bunch of devs taking 5 minutes off to play.
and what prompt you gave them to generate program? Did you tell explicitly that they need to fill cornered cells? If yes, it is not what benchmark is about. Benchmark is to ask LLM to figure out what is the pattern.

I entered task to Claude and asked to write py code, and it failed to recognize pattern:

To solve this puzzle, we need to implement a program that follows the pattern observed in the given examples. It appears that the rule is to replace 'O' with 'X' when it's adjacent (horizontally, vertically, or diagonally) to exactly two '@' symbols. Let's write a Python program to solve this:
Oops, I actually meant Gum, not Glow. Different project from the same folks.

That said, I use Glow to render markdown sometimes. When and how does it connect to internet servers?
the US drinking-age law could be a model for fixing the housing crisis
I’ve definitely hit places where shellcheck is just plain wrong, but I’ve started to just think of it as a different language that’s a subset of shell. It’s less of a linter and more like using gradual type checking, where there’s no guarantee that all valid programs will be accepted; only that the programs which are accepted are free of certain categories of bugs.