skysight-inc/HackerNews huggingface dataset:
Counter-example: the play Antigone by Sophocles.

(spoilers)

The lead character commits suicide half way through and the second half of the play is what the other characters do.

(more spoilers)

It all ends in tears.
I can't read that and not think about all those influencers and efficiency coaching videos. "Do this thing that works for me, a person addicted to structured functioning." This has so many preconditions about what you want to achieve and what the context is.

For example I've done beginner's programming lessons with kids. Using Scratch, at the level of explaining what a variable is. There were 2 kids who would consume any knowledge given out of pure interest and everyone else who either was entertained while learning or immediately switched to playing ready games from the Scratch library. Anything close to "you're going to do learning/mind workout for the next hour" would just alienate all of them.

That's without even getting into how funny this idea would be to people with executive issues (which we have a decent representation of in tech) "allocate 4 hours" haha.

Don't get me wrong, I'm glad it works for him and if anyone finds it useful/motivating, I'm happy for you. But presenting this as something universal really annoys me. To be a bit more positive - any workout you actually do is better than the one you don't. If you need fun to continue, that's awesome. If you like a challenge, awesome. If you like goals, awesome.
Iron Mountain Atomic Storage
can you elaborate on the 'emotional' part?
https://archive.today/KUQzP
It would be strange if the latest release of a computer line was not the best one ever in that line.
Do any other nations do that? Much of the UK splits barristers (trial law) and solicitors (non-trial law) but I’m pretty sure that’s a historical relic not a designed split to make each easier to learn and practice.
Looks like this may be the work of Joshua Bird's little brother (?). Joshua bird did some impressive projects already, that were featured on HN before: https://www.youtube.com/@joshuabird333
Same experience here. I loved The Great Mouse Detective, at age 8. Not much later I read The Dark Knight in a translated trade paperback, and it really tickled my little mind. There was a trend of having comic adaptations of movies back then, so I also read and loved the License to Kill comic and was disappointed when Terminator 2 omitted some scenes in the movie -- until the Director's Cut came out.

I was certainly not traumatized (apart from the week of nightmares after seeing Alien one night on TV at age 12). Because of this, I had no arguments when I learned my 11 and 13 year old kids' mom and their stepdad had secured tickets for us to go see Deadpool & Wolverine when I was visiting last time.

Kids understand more than one may think, depending on how much "real life" they assimilate through culture (and parental guidance), I believe.
I didn't start watching until the first couple of seasons were available on ... gasp ... DVD (remember those)?

Got the first season because I was bored. Laid on the couch all weekend watching the entire set of shows. Called in sick on Monday and Tuesday so I could go buy and watch the second season.

I used to own the movie, all ten(?) seasons and the SG-1 movies. I rewatched them a couple of times.

It holds up surprisingly well. I wouldn't argue against a reboot, but I would want to see something different rather than just copying the old shows with a different cast.

I think maybe the last couple of seasons were kind of a bit of stunt casting and while it eventually sort of worked, those were the worst shows since it was just sort of a rehash of the "Well, we pissed off yet another super-alien race by existing so lets kick their asses" idea. New villains, same as the old villain.
You can try out MyScript Calculator, which is doing exactly that – https://www.myscript.com/calculator

I prefer to keep my handwriting over the printed symbols. This might sound crazy, but when I see my handwriting transform into printed symbols, I feel as if the system stole it from me. :) Another crazy take – it is more difficult to read handwritten script, so you slow down your thinking, which might help you to think more deeply. I can't back these claims with any evidence other than "I like it that way"..
Where does it say learning should never be fun?

> Learning is not supposed to be fun. It doesn't have to be actively not fun either, but the primary feeling should be that of effort.
I tried using nix to build some old software, but failed miserably. Could you give me an example guide to someone packaging older software, that often also needs older compilers, with Nix?
Financial trade group calls on SEC chief Gensler to 'immediately' step down
Ask HN: What % of your portfolio is in Crypto?
I learned "vee-hickle" from the TV show M.A.S.H
"Video is mutual"

That's a good idea. Should be built into teams etc.
These will never be economical. Waterworld will always be sci-fi, unfortunately.
No, but complicit to a degree.
The goal seems to be to be as irrational and self-harming as possible, because rationality itself is considered some kind of narcissistic injury. So I don't expect this to end well.

Neither Musk nor Thiel understand the structural differences between being a CEO and running a successful country.

China does understand them. It is in many ways a terrible place, but China has made insanely successful investments in education, engineering, and infrastructure, and is far better at planning for and building the future.

The US has gone in the opposite direction. Make high quality education increasingly unavailable and/or unaffordable, cultivate a popular culture of superstition, narcissism, and irrationality, and impoverish the population so talented individuals are either trapped in cultish, increasingly directionless corporate bureaucracies, or on the verge of homelessness.

And tech in the US only exists because of immigrants. If it becomes hostile to immigrants the smart people will go elsewhere - and that will be that.
No one else is going to mention that "separation" was misspelled four times?
It's not only the typical improvements in chip technologies: form factor also plays a significant role here [1]. It's also worth noting that the M4 Pro supports three (or more?) displays.

From a business perspective, I'm eager to see Apple’s Q4 and Q1 reports. My hypothesis is that they might be reshaping the desktop market with these Mac minis.

I think one of the next milestones could be to achieve a fanless model.

[1]

Height: 4.97 cm (1.96″)

Width: 12.70 cm (5.00″)

Depth: 12.70 cm (5.00″)

Weight (M4): 0.67 kg (1.48 lb.)

Weight (M4 Pro): 0.73 kg (1.61 lb.)
not GP, but, there are times when I just dont have the "will" to do anything "useful", when I just want to veg out, and be passive (as in , I am willing to listen to something, but not in the frame of mind to process anything)

(Or)

Another interpretation of GP is the mental barrier that "X Topic is very hard", and I am not _that_ smart, so I dont want to fail?
But you're agreeing? Emotionally it is easier to listen to 10 podcast episodes talking about LLMs, rather than to code a simple one yourself. Yet both can take a similar amount of time.
> Learning is not supposed to be fun. It doesn't have to be actively not fun either, but the primary feeling should be that of effort. It should look a lot less like that "10 minute full body" workout from your local digital media creator and a lot more like a serious session at the gym.

I don’t think the author disagrees with you. Some people really enjoy the effort of a tough workout. But they don’t do it primarily for the fun. Can / should workouts be entertaining? Sure. But there’s a difference between a primarily entertaining bit of content and a primarily workout-oriented bit of content.
SARS-CoV-2 "steals" our proteins to protect itself from the immune system
best Memory and cpus came from Japan after they got destroyed by us firms and the govt got all the Japanese firms to work together.

those who don't remember history are bound to repeat it or something.
First hit on DDG: https://www.nejm.org/doi/full/1
pic of the dish for those curious https://www.planetary.org/space-images/the-70-meter-dss-14-a...
If we can all hear the tiny violin, who cares?
I really like it, but the upgrade prices are a major drawback.

In the EU, the base Mini model with 256GB of SSD costs 700 EUR. Upgrading to a more practical 1TB adds an extra 460 EUR, bringing the total to 1,159 EUR.

It’s frustrating that Apple’s upgrade prices are so steep. For context, a top-quality 1TB SSD can be bought here for just 85 EUR.
Is your issue with the people themselves, or is your issue people getting justice when they otherwise could not afford it? If your issue is with the people themselves, is it your opinion that justice should only be reserved for people that you like?
The FDA approval is up to age 45, any use after 45 is off-label. Off-label prescribing is perfectly legal, but it might be difficult to find a medical provider willing to do it. You might have the best luck going to a place that specializes in sexual health (like Planned Parenthood).
Completely agree. As commented elsewhere, the main driver in true learning is practice.

I also wholly reject the idea that this "edutainment" content is useless. Same as spaced repetition, once you see some concepts often enough (which the algorithm guarantees if it knows you are into that topic), you will learn something. I don't consume such content myself, but to dismiss it just looks as rejecting formats different than what you used.
Booleans Are a Trap
> and renamed 1 variable that had nothing to do with

irrefutable proof we have AGI. it's here. they are as sentient as any human in my code reviews
Show HN: Nova – a data oriented JavaScript engine
Nova is a JavaScript/TypeScript/ECMAScript engine written in Rust and following data-oriented design principles. At the moment it almost passes 50% of the test262 suite.
> Thing is that Android is probably no more secure than a standard desktop experience specifically due to the very uncontained Play Store, the prevalence of sideloading apps and rooting doesn't really help at all.

This is completely untrue. There is lot more to OS security than where software can be downloaded from. The point about root and sideloading is completely missing the point as those are even worse on desktop operating systems. On desktops you can basically run whatever from wherever and there is usually no sandboxing at all. On Android, there is a strict sandbox and you can't run whatever you want. Android is not rooted by default.

Every app is strictly sandboxed on Android, point me to a desktop OS that has anything close to that. Every process is confined using SELinux policies on Android, which desktop OS has as strict MAC setup? Android has a proper, working verified boot, which desktop OS has something similar? Not to mention all the other hardening and exploit mitigations that are usually completely missing from standard desktop operating systems.
In the moral panic over vaping, we risk forgetting that cigarettes kill
I definitely found the world a bit harder to navigate for solving puzzles than the 2D games but the really horrible puzzles in grim fandango were the time based ones that the engine could do but not remotely well. There was one in particular with a wheelbarrow that was fairly easy to figure out but an insane pain to coordinate with the game's controls on our PC
Because one remote overseas person can watch multiple camera feeds at once which should make the cost of a human-in-the-loop more palatable.
Tallinn Manual 2.0 on the International Law Applicable to Cyber Operations.

Not exactly a page turner, but if you are serious, it offers a solid legal understanding of cyber operations.

The Art and Science of Military Deception by Barton Whaley.

Again, somewhat dry but essential if you are serious about cyber warfare.
I can't find the source code, but the project looks interesting.
TL;DW? (1h7m video, with a slow start to boot).
+1 for Sandworm
Dead on.
Another good example is the London Stock Exchange; they have a really nice office downtown that is something of a magnet for protests, but I used to work around the corner from their data centre , and it was in a very scruffy , anonymous building with dirty windows, just an unusual number of cameras and stuff on the roof.
BTW, saying that someone "is a bit of a quack" is an ad hominem fallacy. The article linked talks about the "keto" part of the protocol, it does not discuss the glutamine portion of the treatment. I'm not sure who is right, but I would love to see, someone debunking it with data.
Protocol: https://www.nature.com/articles/s42003-019-0455-x
I know very few people under 40 who fold and iron clothes, and I'm not sure I know people under 30 who own an ironing table and iron (or if they own one, it's busted, and if it's not busted, it's lost).

I think "doing the laundry" is getting obsolete faster than doing it yourself is. Kind of like people didn't give up on sewing their damages clothes by hiring a robot to do it... they gave up by throwing old clothes away and switching to fast fashion.

If this product addresses high-income people (which would probably be the case even if the price comes down from $100k to even $1k), then it still seems a lost cause for this reason.
> The React front-end communicates with wasm compiled from Rust.

Just to clarify, this means that the entire engine is compiled into wasm and runs inside the browser? There is no server component?
Histogramming bytes with positional popcount (GF2P8AFFINEQB edition)
Thank you, could you provide high quality online references?
The "source" here goes with "open source".
Not sure why you're being downvoted that is exactly why I'm using that simple problem to benchmark LLMs. If an LLM can't figure out how to traverse a graph in its working memory then it has no hope of figuring out how to structure a proof.

Under natural deduction all proofs are sub trees of the graph which is induced by the inference rules from the premise. Right now LLMs can't even do a linear proof if it gets too long when given all the induced vertices.
I do remember that time where people were being manipulated into eating Tide Pods...

https://en.m.wikipedia.org/wiki/Consumption_of_Tide_Pods
Yes this is common knowledge in econ supply/demand and money supply.

Other currencies 1M base notes is not a lot (e.g. 1M dinar). You can just add/remove zeros but prices have adjusted, those people can't live like "millionaires" with 1M dinar.

There was a time goods like meat cost pennies, now it's $10 per pound. In those times $10,000 would be a life-altering amount of money, today most people have $10,000 in assets. The price of goods is related to money supply, they get more expensive if people have more money.

Money has no intrinsic value, it is balanced by whatever goods and services can be bought by it. If you add money but no goods and services, money is worth less (see COVID policy, increase money and decrease goods and services).
Someone at exolabs is running a cluster of these for AI:

https://x.com/alexocheema/status/1855238474917441972
An easy way to find all places is to temporarily add a new struct member without defaults, run the compiler and let it complain of all the places where it is being instanced.

Similar to when you add a new enum member and it complains of all switch statements that are not using it (as long as you didn't add a default case).
> "should be effortful" and "should not be fun" are not opposites

Karpathy doesn't really say they are. What he's postulating is that learning must be purposefully effortful. Kind of like playing any sport, say Football / Volleyball. You'll enjoy it, but it isn't without effort.
Yep. For some reason they want to make it boilerplate to write interfaces. Its so pointless
I am quite excited about the new era of WASM webapps - those are cross-platform & fast. Unlike traditional desktop programs those are sand-boxed & unlike mobile apps the distribution channels are open ("side-loading" by default).
I am trying to learn French to some decent level. I have every anki app, one-on-one coaching, textbooks, podcasts, online courses, and friends to help me. Even LLMs now.

God, it is painful. I think of myself as motivated and talented. It is a torture. It is rote and repetitive to no end. I feel helpless all the time. Progress is slow. Just nothing helps besides considerable concentrated effort. Not fun. Fun XOR progress.
of the Tiobe top 10, only 3* are not variants of warmed over algol (and of those 3, 1 is arguably not even a general purpose programming language).

* Fortran, Visual Basic, SQL — and even here, the way they've all evolved from their roots has been towards Algol 68.
Yeah I got that, but it's really not as interesting as it seems. Let me explain why.

Say we have an array p[1], p[2], ..., p[n] with all possible rubiks cube configurations

Then this function will solve the cube:

move(1) = p[1]^(-1)
move(i) = p[i]^(-1) * p[i-1]

In laymans terms, the resulting algorithm is: assume the initial configuration is p[1], then solve it. If it wasn't, undo those moves then solve as if the initial position was p[2], etc...

So, yeah. Those fixed solving sequences / hamiltonian paths are actually very common. We can make one for any permutation of the group elements.

So I posed a more interesting question: what is the simplest sequence of moves that has this property?
> He was so convincing that 250 poor Scots went on board the ship, the Edinburgh Castle, armed with his guidebook to Poyai. They then spent two years dying in the jungle. Forty of them come back and stand for his defense to say, ‘No, we just got lost because obviously we didn’t find the land in the guidebook.

People said he was the best conman.
Heard the one about the Swiss company installing laugh detectors?
Never heard anyone pronounce it like that.
>When filmmaker Marc Wolfensberger first found out about Neft Daşları, he thought it was a myth. He kept hearing about this secretive city

In what way it was secretive or a myth?? There were multiple books and movies about it, it was a major job source and a ton of people worked there.
(citation needed)? The more general knowledge of the related area you have, the more the new information starts looking like "this other thing, but with a slight twist". But that means you don't need to fail to learn. If you tell me about some new networking/routing layer for example, I don't need to "fail" in any way to understand how it works - it's going to be like or unlike something we already have.
I agree with the post :)

Writing a book was very personally fulfilling.

I wrote about my self published book earnings a couple years ago.

https://on-systems.tech/blog/130-2022-self-published-book-ea...

This quote got me pretty excited, and I since yesterday I started sketching out some ideas for other books ;p

"First, simply: you believe strongly in your view of the world, and you’re pursuing it with intensity. Right now nobody else is really able to download your brain. Your book becomes how others can download it."
I thought it is interesting to note the vibe shift on HN between first election, his 2nd try and now. ( Although not specific to election but how the political shift of HN has changed from 2008 to now )

https://news.ycombinator.com/item?id=12907201
https://news.ycombinator.com/item?id=12909752

The 2nd obvious observation is that HN now manage to fit 9435!!!! comments ( and counting ) in a single page. I downloaded it and it was ~18MB or 2.7MB zipped. And Arc is now Clarc and works on multiple core. I guess this thread is a huge battle ground for further optimisation. I also wonder if this is the most comment HN thread.
I know Karpathy explicitly says that learning doesn’t have to be not fun either, but it reminds me of the book “A Theory of Fun for Game Design” by Raph Koster [0], which offers a counterpoint.

It’s been a while since I read it, but Koster essentially proposes that fun literally is learning at an evolutionary brain chemistry level. That the games we play as children prepare us, in a no consequence environment, for the problems and dangers that we’re going to face as adults. The thing that makes games “fun” is the solving of puzzles and mastery of problems, and we’re much better at learning when it’s fun.

[0] https://game-studies.fandom.com/wiki/A_Theory_of_Fun_for_Gam...
I'm afraid that "a more objective way to measure value that everyone can agree and adhere to" is necessary to solve AGI (as opposed to getting extincted by one), and world peace will kind of follow naturally.

In other words: we're screwed.
I wish the market limits its punishment only to the groups you stated... usually the market tends to over-correct
tl;dr: use sum types to model mutually incompatible states, rather than multiple booleans.
“Whether the assembly of the bones occurred in the late Neolithic or in the Roman period, the presence of the ‘individual’ was clearly intentional,” write the researchers.”

I would like the researchers to explain to me what hypotheses they consider to suggest that in the Neolithic they had bones from the Roman period.
You can only really conclude that in a few years time, after we find out if they are any hardware/software issues

I've gone right off Apple. Their iOS 17.x update bricked my 2.5 year old iPhone 12, my neighbour's M3 Air yesterday got stuck in a boot loop after an update and not even recovery mode works so it's being sent for a service, Sequoia is/was full of bugs. My perfectly fine 2015 MBP turned useless with newer OSes due to awful performance. Our work M1s are starting to develop faults too

I feel it's quite clear they're deprioritising quality, QA and software defect rates for releasing yearly N+1, and performance

Yes, they made some nice chips but there's more to "best ever x" than performance
I get the point, but...

>Wait—that last state doesn't make sense. With a real door, you can technically turn the key while it's open, but does that meaningfully change its state?

Yes, you can't close a door that is open but the lock is turned. So this state actually makes sense in the real world.
I've been reading HN more this past week to avoid rehashing now unavoidable horrors in the news. And here I am, "hearing" this guy telling me that society is having a macrocosmic psychotic break - that the downstairs had been invited up to run things, but not the just the house, the country. Awesome.

\wrong topic
tl;dr: use enums
No it is not. If you want to consider informal logical fallacies, it is closest to "poisoning the well", as I am tarnishing his name in an effort to make you not believe is claims. I am not saying he is wrong because he is a quack, I am saying he is a quack, and here is an article going into why he is wrong.

> but I would love to see, someone debunking it with data

The problem is Seyfried doesn't have data. His science is bad and extrapolating from marginal results. Some parts of these ideas might pan out, but all I've seen indicates he's made this his hobby horse is riding it.
Ask HN: Best tech/AI daily podcasts in 2024?
Quite a different problemspace, but there is:

https://github.com/derkork/openscad-graph-editor

which allows programmatic 3D modeling using nodes/wires. It exposes _all_ of OpenSCAD (last I checked) and is quite extensible (I use it to control a Python-enabled version of OpenSCAD https://pythonscad.org/ in an effort to make DXFs and G-code: https://github.com/WillAdams/gcodepreview )
that's what drew me in