skysight-inc/HackerNews huggingface dataset:
> You need 3.0 for Solitaire, 3.1 for Minesweeper, and WfW for Hearts.

To complete the set: and Win32s for FreeCell.
> (the meaning of Alhambra is “red castle”)

I'll have to correct that.

I) Linguistically :

Al-Hamraa [AR: الحمراء] is just the definite feminine noun for "the red one" the definite male noun being Al-Ahmar [الأحمر]. There's no mention of castle here, but, as usual in Arabic, there might be a case of abbreviation by omission.

The full noun of the complex is one of these, which are all used:
1. Al-Qalâatu Al-Hamraa [القلعة الحمراء] (translated as: The red castle)
2. Qasr Al-Hamraa [قصر الحمراء] (translated as: The palace of the red one [fem])
4. Qalâat Bani-l-Ahmar [قلعة بني الأحمر] (translated as: The castle of the sons of Al-Ahmar)
3. Qasr Bani-l-Ahmar [قصر بني الأحمر] (translated as: The palace of the sons of Al-Ahmar)

The latter two might be the originals, since the complex is named after the other name of the Nasrids, "Bani Al-Ahmar" (sons of the red one [male]).
So, both Palace and Castle are used interchangeably, so the name here holds no evidence if it's a castle or a palace, nor should it do, which brings us to ...

II) Epistemologically :

The Alhambra complex is a fortification surrounding many quarters, gardens and buildings; some of which were added later. The most important and central parts are the Nasrid royal palaces (yes there's many). One could say that the other parts were initially built and made to serve this central one.

I would argue that the correct description for Al-Hambra is "citadel", even though the Al-Qasaba garrison within it usually takes that definition.

Anyway, I believe the meaning lies not in words, but in context. I encourage anyone who's able, to go visit Al-Hambra and similar "Palaces".
To add to this pondering: we are discussing the state today, right now. We could assume this is as good as it's ever gonna get, and all attempts to overcome some current plateau are futile, but I wouldn't bet on it. There is a solid chance that 8th grade level writer will turn into a post-grad writer before long.
Ruby 3.4 Highlights
My favorite imagery of this idea comes from the last two stanzas of a poem:

For while the tired waves, vainly breaking
Seem here no painful inch to gain,
Far back through creeks and inlets making,
Comes silent, flooding in, the main.

And not by eastern windows only,
When daylight comes, comes in the light,
In front the sun climbs slow, how slowly,
But westward, look, the land is bright.

— Arthur Hugh Clough
https://www.poetryfoundation.org/poems/43959/say-not-the-str...
Imre Kertesz - Fatelessness

Easy to read but provides a profound understanding of the unique historical situation it describes. A famous and heartbreaking sentence: ‘(…) I would like to live a little bit longer in this beautiful concentration camp.’
Figuring out what your company cares about can be surprisingly challenging
This is what Brave browser tried to do, but everyone on HN had a spasm cus “boo crypto”.
Pomsky – Next Level Regular Expressions
On the one hand, you're right, but on the other hand, what you're describing is essentially just religion. Believing in spells is little different than believing in prayer. The "astral plane" may as well be Heaven or Hell, or Purgatory. The Bible is an "occult" text about demons, containing spells and rituals, and many people believe in a literal God and Devil and intercession by angelic and demonic forces.

And of course there are plenty of schizophrenics who claim to hear the voice of God and claim to be doing His will, something which might have gotten one canonized centuries ago, but no one pathologizes Christianity when that happens. If we're going to consider magical thinking normal in one sense, we should consider it normal in every sense, because the only difference between "religious" and "occult" practice is cultural acceptance.

Or else accept that all of it is equally ridiculous, that Aleister Crowley is no more divine or absurd than the Pope.
Exactly. And I also like to remind the Apple fans that Linux's desktop OS market share today is around the same share macOS X had in the period 2002-2010, when Windows was completely dominant and before the iPhone turned so many into macS desktop users. I also like to remind them that the perspective that iOS and Android are both dominant mobile platforms is very US- and Canada-centric. In the rest of the world outside of the very richest nations, Android is dominant. And in many poor areas the world over, Linux desktop is used if for no other reason than to rejuvenate used hardware and avoid software licensing fees. So Apple knows exactly what it is doing when it avoids cross-platform development.
In the old days they called it, "habitually one-pointed".

Those guys really know how to concentrate.
The goal is to make it intelligent, by which OpenAI in particular explicitly mean "economically useful", not simply to be shiny.

Passing tests is well known to be much easier than having deep understanding, even in humans. They openly ask for tests like this, not that they could possibly prevent them if they wanted to.

There's scammers trying what you say of course, and I'm sure we've all seen some management initiatives or job advertisements for some like that, but I don't get that impression from OpenAI or Anthropic, definitely not from Apple or Facebook (LeCun in particular seems to deny models will ever do what they actually do a few months later). Overstated claims from Microsoft perhaps (I'm unimpressed with the Phi models I can run locally, GitHub's copilot has a reputation problem but I've not tried it myself), and Musk definitely (I have yet to see someone who takes Musk at face value about Optimus).
Disagree. I can have a beautiful garden and still have curiosity over what's my neighbour's garden looks like.
And even this comment will get a lot of explanations why cars and the infrastructure as it is is absolutely necessary for them. Yes, given your setting you built and the only pov you can imagine! The opposite is easy, fun, and proven in many places to work well and better;)
AI Goes Nuclear
Think of it as Stripe for identity verification. The chip in passports and ID cards can be read and verified instantly via NFC, providing a highly secure and efficient way to verify user identities.
Finding what works for an llm and what not is also part of communication skills.

Though I do not have a good idea what is _bad_ communication with an llm. People say that sometimes, but when specific examples arise I do not see really anything more than limitations of llms (and the improvements they often suggest do not do anything either). So it would be good to have some more concrete examples, unless that is about inability to communicate a problem in general, stemming from actual inability to _understand_ the problem. Also a lot change in time, I think in the past one had to really coddle an llm "You are the best expert in python in the world!" but I am not sure that is that important nowadays.
At this end of the rumour mill, the covenants themselves were not the rugpull. Rather from what I’m hearing two provinces away, it was that SVB issued the debt but National Bank (who acquired SVB’s Canadian debts) called it.
In France I have never been forbidden from using anything, even with jobs a bit sensitive like coding for banks or credit cards. What kind of job are you doing?
If you are refering to EFI/BIOS level secure erase, it's for hardware-encrypted storage and the function merely replaces the current master key such that the current data becomes irretrievable.
Most of Steinbeck is similarly approachable.
The footnotes request a lead on P&T explaining this trick.

I’m a bit of a P&T fan, and I’m pleased to be able to share a fairly obscure old video where they do indeed explain this trick. I’m glad I remembered it, and managed to find it again.

https://youtu.be/gnEGedfTrzc?si=ci7omkG-4zCUmIPc
"No lives matter" is also a 2017 song by Body Count [0] about class inequality.

[0] https://youtube.com/watch?v=hlk7o5T56iw
7776 is 6^5. The exactly right number for the trick to work.
Yes, of course. I was clarifying, not disputing.
2FA does not protect against a website getting hacked.
Huh? If Starship can cheaply lift 150T to LEO, you can allocate some of that 150T to a propulsion system.
Critical: .NET Install links are changing
Counterpoint: ING, Trade Republic and the Comdirect app all work with current lineageos, even with the phone rooted.

Amusingly, my health insurance app (Tk) does not.
> Inflation will always be higher in Iceland, because

They cannot join Euro until inflation stops being higher, because that's simply how it works: countries must achieve “convergence criterias” before they can enter the single currency.
Noteworthy AI Research Papers of 2024 (Part One)
SpaceX has several million Starlink customers providing around 6.6 Billion dollars of revenue in 2024. It not clear if it’s profitable yet, but it’s been stated to kick off 100’s of millions in positive cash flow.

As to the salaries of its employees, that’s a major component of launch costs. You can’t point to it and say launch costs must be cheap because they are paying all these people when a large fraction of them are directly or indirectly working on launches.

They are spending ~2 billion per year on Spaceship, but what they charge per launch varies widely. 5 crewed falcon 9 flight cost the government ~260 million each, and the 2 ISS missions where 145 million each. https://payloadspace.com/predicting-spacexs-2024-revenue/
Great work! I did a production of Beatrix Potter’s stories with full alt text a while back for Standard Ebooks:[1] it’s a labour of love, but worth it.

[1] https://standardebooks.org/ebooks/beatrix-potter/short-ficti...
Heh, Demolition Man is a great film. I had the fortune to randomly rediscover it before it was recently re-recognized as incredibly prescient. It was a cool experience, made all the better because I was totally surprised by it. I had zero expectations and just thought it was a dumb fun action movie. It was actually great.

But as to your real question: well, tune in, man. :)
Which version of GTK should I pick since you seem so confident?

And should I target X or Wayland? Which Wayland extensions are ubiquitous enough so that I don't need to manually reimplement things in my app? Should I target pipewire for audio? Pulse?

If I pick a modern stack like Wayland + GTK 4 + pipewire it might not work on older linux distros. Maybe that's fine for my needs, maybe it's not. If I pick X + GTK 3 + pulse I might end up reimplementing half of the desktop manager in my app and need to constantly rewrite my app.

Do I distribute deb/rpm or do I distribute a flatpack/snap... Actually which one.

And don't bring up that GTK abstracts Wayland/X because if I target Wayland I have access to a ton of Wayland extensions which aren't there in X so I do need to make that decision the moment I need to get access to that stuff.

So even just picking GTK I now have a matrix of 9 different configurations. GTK is not the defacto framework on linux. We now need to add QT to the mix and the whole collection of things there.
Barebones alternative for *nix people: just "dd" random data over the entire disk. A single pass suffices because there is no such thing as "gleanable history" on the sectors of magnetic storage - nor for flash storage, but the complexity of spare/reserved memory blocks on SSDs may result in data escaping the procedure.
I’m not who you replied to, but:

The equivalence classes of integers: pairs of naturals with (a, b) ~ (c, d) := (a + d) = (b + c).

The equivalence classes of rationals: pairs of integers with (a, b) ~ (c, d) := ad = bc.

It’s “easy” to tell whether two integers/rationals are equivalent, because the equivalence rule only requires you to determine whether one pair is a translation/multiple resp. of the other (proof is left to the reader).

Cauchy sequences, on the other hand, require you to consider the limit of an infinite sequence; as the GP points out, two sequences with the same limit may differ by an arbitrarily large prefix, which makes them “hard” to compare.

We can formalise this notion by pointing out that equality of integers and rationals is decidable, whereas equality of Cauchy reals is not. On the other hand, equality of Dedekind reals isn’t decidable either, so it’s not that Cauchy reals are necessarily easier than Dedekind reals, but more that they might lull one into a false sense of security because one might naively believe that it’s easy to tell if two sequences have the same limit.
Oh I like these two.
Writing a language, even a DSL is a lot of work. It's not enough to just make a good language, there's also a whole world of tooling support that people expect nowadays.

Also ultimately it was hard to sell the idea of living in a different file format from the rest of your code. This is always a tough sell for DSLs. Even languages as good as CSS and SQL struggle with this for a lot of devs.
Academic papers have abstracts for that purpose, and many academic books have basically an executive summary in the introduction. That already exists.
>>...the next tiny act of self-destruction

A world of truth in that phrase

It all really comes down to the tiny acts of building one's self or wasting the time... Yes a (non-wasteful) strategy & goal is key, but it comes down to how we spend our seconds...
and a massive pain when you wanted to repair something! From what I was told by an old tech was you had to drain the affected area do the replacement, fill up, power on and do a test.

If you forgot something, or it didn't work, rinse and repeat.
What's the difference between benefitting from seeing previous problems and being worse off when not having a previous problem to go from?
I love this! Haha, I was hoping someone would do that. :)
The article you linked gives plenty of other options.
I'm currently going through the Statistical Rethinking [0] class on Bayesian statistics, and it reminded me that Bayesian statistics' renaissance was basically thanks to Monte Carlo methods. Such methods can approximate posterior distributions that are often extremely difficult to calculate analytically.

[0] https://github.com/rmcelreath/stat_rethinking_2023
Was it intentional that you used the phrase “rolling sentences around her mouth, like toffee” in a post about how it’s better to write plainly?
The amount of household wealth we throw away on cars, just to be able to participate in the economy, is BONKERS. In the past ten years my wife and I have spent a combined $30k on two vehicles for our 4-person family, and that was through months of bargain-hunting. I've count myself lucky to have gotten away with spending so little, yet even that amount represents to me a gigantic hole in our savings, wasted on depreciating assets.
Finally, a true application of E=mc^2+AI
Strange - I submitted this 3 days ago and yet this newer submission isn't tagged as a dupe.

https://news.ycombinator.com/item?id=42539218
There are stones still unturned. For typical unicode table lookup's you'd need batches for all characters of a word. It would be much faster to lookup eg 16 chars at once, to optimize cache misses.

But when I tested this even Eytzinger was too slow.
I'd love to see a tool to record while monitoring a backing track. Heck, I don't even mind if the sync isn't good because of latency as I have a manual syncing method when recording takes. I can't tell right off hand if this one can do this, nowadays I use whatever mess audacity is currently in.

Back before all this jack pulseaudio stuff I used to just have a routine where I'd play a backing track then record a new track.

play backingtrack & rec newtrack

occasionally I'd have to resync the new track to the backing track but I already sort of have a routine for that (and its mandatory for my current audacity version when recording takes).
Had to look it up because I can't remember nitty-gritty details: DD manufacturer under class 10 FFL or class 2 SOT. I imagine the various types of insurance needed to operate such a business are expensive and painful too.
Yes so when you change the sequence of tokens they've electronically memorized, they get a bit worse at predicting the next token?
This is based on an old scam, the core idea isn't Derren Brown's.

But what a nice execution. I really liked how be complimented the core idea with a bit of sleight of hand in the last episode, turning the mark from a victim into a winner.
Yes. That's the compounded price because the cheapest retail price of Wegovy for 4 weeks near me is $1311. It's compounded with vitamin b6 as a hackaround for $250. The manufacturing of semaglutide outside of Novo Nordisk was legally possible because of the scarcity problem. I don't feel at all bad because NN's CEO is a greedy prick who lacks shame about selectively bleeding poor Americans dry while selling it cheaper in the rest of the world.
As was I :)
I think your prof’s worries came true on a massive scale
'Simon says' is about reaction time and pressure.
Hence the internet archive keeping the copyrighted scans up for disabled screen readers.
I haven't found a technical whitepaper on it but supposedly NAND/NOR flash goes void immediately when reaching a certain high temperature below the melting point of copper. Something about putting a blow torch to the chips for a brief moment...
Presumably interpolating from data points recorded IRL to synthesize data points not in the IRL dataset, but which do exist, at least approximately, IRL
Subsidies are often in the form of tax credits - they cannot be really used to pay for things. I'm not sure if "energy subsidies" may be about providing energy below the cost of production but it's true that the "true" cost of production is not clear when a political decision to close nuclear plants, for example, introduces a distortion on their useful life and their amortised cost.
Most of my work career I was able to commute by bicycle. Only in winter was it impossible (snow/ice).

I always surprises me that in areas of the US were bicycle travel could easy be done all year round, it is highly discouraged and in many of those places it can be very dangerous.

I remember visiting some of those areas and I noticed the way the roads were designed made bicycle travel very scary. In one case, I tried to ride somewhere and I really thought I was going to get killed. All I heard was beeping horns and people yelling at me for a short 10 mile (~16km) round trip errand run.

I guess I am lucky being born in a place that the roads were put in place by cows :) These days, the State Gov started promoting this kind of travel, all that is needed is to fix public transportation after decades of corruption.

Edit: I have even ridden through NYC a few times, to me, NYC it is far safer then places I have seen in those areas.
Huh? 89 is the 45th odd number.
That's where the profit margins are at the moment
Looks like the slack invite expired?
above is me.

just watched a short video on the lore of the game Blasphemous and read through a bunch of comments and *holy shit* my seemingly nonsensical idea keeps shaping up.

Spanish, partially ultra-religious origins, with great parts of the language building meekness and subservience right into brain structures ...

maybe i should focus on symbolism, after all, narratives and so on ... but then again, it's all linguistics and interpretations as well as personality traits/buckets differ greatly between cultures and languages.

but an LLM only works with statistical linguistics and not semantics per se, so no chance to align with symbolism and narratives. hmmm...
None of this is particularly new. Horizontal submerging has been an area of research for at least 20 years. Spinny disks were a pain to do, because they need a certain amount of air to not have head crashes. (Sealed HDDs existed I'm sure. )

The problem is that its not that practical. Firstly it much less dense than upright racks, secondly its almost certainly more heavy.

What is happening now is direct watercooling to the rack. Currently in widespread use is effectively a back of rack "car" radiator (ie it looks like a rack sized car radiator), where the coolant is piped to the back of the rack.

Another, newer, but needed for high density GPU, is coolant block direct to component cooling. Where you have a coolant manifold on the back of the rack with each server plumbed direct into the coolant loop.

However, that doesn't solve the problem of what to do with the heat once you have it.
It drops from 50 to 33,96.
Still the best, o1 on variable is around 2 times better than Claude on original test.

The rest of the llm are far away, single digit.

It makes me wonder if o1 is finally getting intelligent? LLM are not supposed to understand these problems when you change variable and values, they have to rely on preexisting data of absolutely identical solved problem to give a correct answer.

I didn't follow LLM development but I heard one times that chatgpt is now composed of multiple LLM and maybe they put multiple artificial intelligence with purpose of problems solvings or trigonometry for instance.

That would explain the reason it's so much better.
Neat how-to, very glad to see experts sharing their insights.

The ship is masterful. Macro and micro scale, it has visual interest and convincing detail.

The planet is pretty, but not so much effort there - it's just backdrop. Room for more visual interest, it's been suggested a tidally locked planet would have perpetual storms at the terminator due to the thermocline. Perhaps a desiccated sun-side because of the water being sequestered in ice over millions of years. Lots you could do with that.

Anyway, beautiful and instructional - like a zen master.
Very interesting, Does o1 have a cutoff date for knowlege or does it index HN in realtime?
wait, what's an accelerated English emulator? Auto-translate to and from?
Timeline of AI model releases in 2024
2024 – A Year of Climate Extremes, in Photos
The paper includes several examples of their modified questions. There has been a substantial jump from o1-preview to o1, so I gave several samples to o1 and o1-pro (not o1-preview), and current o1s gave the correct answer to those modified problems. SOTA changes fast.
Legal precedent?
Great podcast, especially the part about hitchhiking :)

https://www.youtube.com/watch?v=XhB3qH_TFds

Or RSS

https://api.substack.com/feed/podcast/69345.rss
Shouldn't all these control-plane operations be moved to ioctl instead, like TIOCSWINSZ? Of course, getting all terminal emulators and TUI programs to use them would be a formidable migration undertaking.
It doesn't, you need to square the whole thing.
How Many Minerals Do We Really Need for EV Batteries?
You seem confused. The founders believed right to keep and bear arms is god given and recognized this in the constitution as a backstop against tyranny of the courts or any branch of government. They did not anticipate the courts decision to necessarily be final or correct.
Railway – hardest problem in DevTools? [video]
I think we are on the cusp of another renaissance in Bayesian / MC methods - specifically, I think in some relatively short timespan (5 yrs? 10 yrs?), it’s reasonable to think that some new algorithms that are massively parallel at their core will break through. Whether it’s on the VI side or MCMC side or BO/GP side something totally new I don’t know, but it just feels like it is bound to happen eventually.

Big +1 for that textbook!

Also giving a +1 to the Bayesian Optimization/Gaussian Processes textbook [1] that came out last year - I mean 2 years ago - beautiful graphics and full PDF officially hosted.

[1] Garnett 2023, https://bayesoptbook.com/book/bayesoptbook.pdf
Are there any 3d frameworks worth learning?
Speed of sound also depends on the temperature (i.e. speed of the gas molecules) which is high and variable. These kinds of coupled interactions make combustion instability really hard to model in CFD hence the importance of full-scale testing.