skysight-inc/HackerNews huggingface dataset:
Terrence Tao has a very healthy view of what AI can and cannot achieve shorter term. It is refreshing to hear more grounded views from a top mathematician who is clearly well versed in the topic.
If 12 days with an RTX4090 is all you need, some random people on the Internet will soon start training their own.
Show HN: KoboHighlights – Extract and Display Highlights from Kobo Database
Hey everyone!

I created KoboHighlights to easily extract and display highlights from my KoboReader.sqlite file.

Although I'm not a professional developer, I realized that others might find it useful too, so I decided to share it with the community.

What It Does:

- Extracts highlights from KoboReader.sqlite file

- Displays highlights in a user-friendly interface

- Allows sending highlights to Notion (for a single book or for all)

- Supports saving highlights to Local Storage for offline access

- Supports downloading as TXT, MD and HTML

- Multilingual (supports English and Turkish for now)

I built this project with my limited coding skills, so if you have any feature requests or notice any issues, please let me know.
I'll do my best to improve the project based on your feedback.

Source: https://github.com/TaylanTatli/KoboHighlights
> they basically adapted themselves to the os rather than adapting the os to themselves.

That's an odd thing to say. Is there an OS that you have adapted to you?
That's the joke, people weren't holding the iPhone 4 wrong, either. :)
The DB app is absolute hot garbage. God forbid you don't have internet or it randomally updates logging you out. All of his previous arguments are valid.
> Of course you have to know the type of an object to manipulate it. How can you not?

Not every language requires you to know the strict type of the data to manipulate it. Take `conj` from Clojure as an example. The function adds an entry to a `collection`, so you know it's a collection, but that's all you need to know in most cases. A collection can be a map, vector, list or your own thing, but it "adds a new entry" regardless, which exact behavior depends on what you use with it.

Definitely not for everyone, but personally I like the abstracted thinking this leads to.

Besides, what I meant with my comment wasn't "I don't need to know anything" but that confusing what types I'm dealing with isn't a typical problem I have when reading/writing code. I thought I made it clear, but I suppose I could have made it clearer. That's on me.

> Running code to see the type is pretty much the only option for dynamically typed code but it's clearly vastly inferior:

Disagree, it's vastly inferior to rely on types to understand what the data actually is, and evaluating the selected form takes one keyboard shortcut and your editor shows you the actual data + type. Only being able to see the type is clearly vastly inferior to me. I like to be able to see exactly what's going on, not just being able to see kind of what's going on.

You never wanted to be able to select a function call inside of another function and be able to see exactly what that returns, without having to do anything else than selecting that piece of code and hitting a keyboard shortcut in your editor? I wouldn't want to trade being able to do that with having static types any day.

> Similarly they make automatic variable renaming actually work (IDEs don't have enough information to do it properly otherwise), and they detect errors when you screw up a refactor.

I don't know where you get the idea that automatic variable renaming doesn't work outside of statically typed languages. Just because a language isn't statically typed, doesn't mean you can't statically analyze it, see https://clojure-lsp.io/features/ for one example.

Worth repeating: It's great that you seem to be getting good value out of statically typed languages, really. But that doesn't mean it's "objectively the best" or whatever, it just means it works great for you with the tradeoffs you're willing to make. Personally, I make other tradeoffs, so other languages are better for me and what I work on. You seem to argue from the standpoint of "Obviously static typing is the best for everything, no doubt" (like many of the statically typing practitioners) but reality is almost never that black and white.
1. Note time stamp: https://github.com/BenWheatley/char-rnn

2. Most ML is basic calculus and basic linear algebra — to the extent that people who don't follow it, use that fact itself as a shallow argument.

3. I'm not asserting how fast it can advance, I'm asserting that the comparison with "6 million years of evolution" is a as much a shallow hand-wave as saying it's trivial, as evidenced by what we've done so far.
What's that in response to? I don't have an account so don't seem to see anything beyond 'Sorry, who are you?'
Funny to contrast it to Stonehenge by noting the lack of a henge, since Stonehenge does not actually have a henge either. But I suspect he means there is no ditch structure at all.
> "The intervention is a stressor,” Churchill explains. The most-resilient animals lost the least weight, maintained immune function and lived longer.

Very happy to hear that my struggles with weight loss are because of my resilience and a strong indicator that I will live a long life ;)
Show HN: Goku PFP and Wallpapers
I believe there are non-Apple devices that use this approach as well, but they're certainly failing in making that information easy to find.

That being said, being the only watch with FDA blessing is a pretty effective point to market

https://www.apple.com/healthcare/apple-watch/
In Xanadu as Ted Nelson can
A stately spanfilade decree:
Where DSP, the sacred measure, ran
In branches measureless to man
Down through a WID-ful tree.

Lagniappe: https://www.youtube.com/watch?v=39ttm3RHrwo
> We know since 1993 with the discovery of the daf-2 gene (a nematode insulin receptor) that genetics can drastically affect longevity.

We've known that since we observed that humans can easily live more than 70 years while cats tend not to go past 20. And presumably well before then.
Rail was famously first in the USA, and you can still see politics focused around rail as the main long distance transportation merely a century ago.

But yes, there was a lot of car-centric buildup (and maybe even some new cities??) since then.
Is Ukraine wreaking havoc in occupied Ukraine or are they fighting their invaders?
The niche for hard-wrapping is straightforward. Sending patches via email.

In these types of communities there is no formal markup. So what is code and what is text? You can’t tell. Some might use “code fence”. Some might use four-space indents. Some might just dump code in between prose. And when you comment on a patch you comment directly on the diff.[1]

You can’t just let the email reader go to town on the text. That’s fine for prose but annoying for code where every line break is either intentional or machine formatted.

The author mentions the downside of browsing on a mobile device. Yeah I sometimes do that. But the primary mode for this kind of browsing might just be on a laptop/desktop. Certainly if you plan on doing some coding. (not just browsing the email archive for discussions that happened eight years ago... not that I would ever do that)

[1] Maybe diffs are easy to parse out of a message since each line starts with `+`, `-` or a space. After you have peeled away the quoting.
"I think", but worse.
Or a cockpit cam for the world's most realistic flight simulator. /lighthearted
I did a deep dive on entropy a couple years ago. I found the concept to be much harder to understand than I expected! Specifically, it was confusing to shift from the intuitive but wrong “entropy is disorder” to “entropy is about the number of possible microstates in a macrostate” (Boltzmann Entropy) https://en.wikipedia.org/wiki/Boltzmann%27s_entropy_formula

I was extra confused when I discovered that a spread out cloud of hydrogen is lower entropy than the same cloud gravitationally bound together in a star. So entropy isn’t just about “spreading out,” either.

I found that Legos provide a really nice example to illustrate entropy, so I’ll share that here.

Consider a big pile of Legos, the detritus of many past projects. Intuitively, a pile of Legos is high entropy because it is disordered—but if we are trying to move beyond order/disorder, we need to relate it to micro states and macro states.

Therefore, a pile of Legos is high entropy because if you randomly swap positions of the pieces it will all be the same macrostate—ie a big pile of Legos. Nevertheless, each of the Lego pieces is still in a very specific position— and if we could clearly snapshot all those positions, that would be the specific microstate. That means that the macrostate of the pile has an astronomical number of possible microstates — there are many ways to reorganize the pieces that still look like a pile.

On the other hand, consider a freshly built Lego Death Star. This is clearly low entropy. But to understand why in terms of microstates, it is because very few Legos can be swapped or moved without it not really being a Death Star anymore. The low entropy is because there are very few microstates (specific Lego positions) that correspond to the given macro state (being a Death Star).

This specific case helped me grok Boltzmann entropy. To extend it, consider a box with a small ice crystal in it: this has many fewer possible microstates than the same box filled with steam. In the steam, molecules can pretty much we swapped and moved anywhere and the macrostate is the same. With the crystal, if you start randomly swapping molecules to different microstates, it stops being an ice crystal quickly. So an ice crystal is low entropy.

Now, the definition of what counts as a macrostate is very important in this… but this comment is long enough and I still haven’t gotten to the gym…
My Korean tutor said the same thing about “the”. I said “doesn't it just mean there is only one instance?" and he replied "the police".

For the benefit of other folks wanting to follow up the "take off" thing: it's called a "phrasal verb".
These are two completely different things.
One thing is solving the problem for the world as a whole. That’s the ideal scenario, the one we should aim for. It might get resolved, it might not, but it will definitely take a good amount of time, maybe a very long time.

The other issue is your personal situation.
If you're living in a country with intense conflict or in a war zone, you can’t just try to survive for 40 years while “waiting” for the country to make progress. You move, and that’s it.

Plus, given that people’s freedom is constantly increasing, and they have more and more options available, expecting that everyone will autonomously choose a healthy lifestyle is like waiting for Santa Claus—unless you plan to take that freedom away from them.
The main quality I remember Emacs having compared to something like VSCode is its ease of extendability - but I don't know how to balance the liveness/messyness of a personal Emacs setup and wanting to package some of those bits to third parties. I think its a tension there...
> Cars and roads only scale so much before you physically can't move more people fast enough even with more roads and more lanes.

The Induced Demand observed in car traffic, also known as Downs–Thomson paradox.
I’m still running a site on Hugo 0.18.0 because it works and the effort involved in upgrading is not worth the benefit.

And that is the appeal of Hugo. A single binary with no dependencies that still works years later.
Gradio for Node.js. Quickly build ML apps
It can hardly be called a fork when you wipe every mention of the original dev team in the codebase, and start a fresh changelog with 'Patched security fixes' whilst thanking his team. It's an absolute takeover not a fork.
Bell Curve Probabilities: One die vs. Multiple Dice and opposed rolls in games?
You're right. But that's a somewhat recent (2 years) release and not compatible with as many GPUs as their closed source kernel side ones drivers, which are still on version parity.

My 1080Ti isn't compatible with those drivers, so I do forget about the open sourced ones.
Dismissing a review as “wasting” is like listening to a junior engineer tell everyone it’s pointless to waste time testing invalid user input because an enduser would have no chance at even innocently sending bad data to a system.
Website frontends are always source viewable, but that is not OSS.
With frontend frameworks, I can't define what I'd really want from them. I recognize many features as "great to have DX wise, not great UX wise," like SSG, and others yet as "great to have UX wise, terrible DX wise," like different mobile vs. desktop layout that isn't easily doable w/ media queries.

Frontend is in a really awkward place right now.
> > "there is no understanding, only prediction"

> I have no idea what this means.

You can throw a ball up in the air and predict that it will fall again
and bounce. You have no understanding of mass, gravity, acceleration,
momentum, impulse, elasticity...

You can press a button that makes an Uber car appear in reality and
take you home. You have no understanding of apps, operating systems,
radio, internet, roads, wheels, internal combustion engines, driving,
GPS, maps...

This confusion of understanding and prediction affects a lot of people
who use technology in a "machine-like" way, purely instrumental and
utilitarian... "how does this get me what I want immediately?"

You can take any complex reality and deflate it, abstract it, reduce
it down to a mere set of predictions that preserve all the utility for
a narrow task (in this case visual facsimile) but strip away all depth
of meaning. The models, of both the system and the internal working
model of the user are flattened. In this sense "AI" is probably the
greatest assault on actual knowledge since the book burning under
totalitarian regimes of the mid 20th century.
this is crazy

when trying to run on a mac it only plays in a very small window, how could this be configured?
They could have backed down and allowed WPEngine to publish an update or even published it on their behalf. Instead they've doubled down and taken this ridiculous action that undermines the whole wp/plugin eco system.

None of this is necessary.
They found it confusing, pointless, stupid, annoying, irritating - you know, all the great productive feedback that awesome people give over the web.

One of my problems is I'm quick to abandon my efforts and discount any faith I have in a project and I do so subconsciously. I'm the opposite of stubborn: a sabotaging level of flexible.

Part of behavior change I think is identifying when emotional decisions happen without any intellectual agency.

Figuring out when I'm pivoting without realizing it is a key way to improve myself.
Cool project! I've got a directory for AI tools like yours at https://aiagentslist.com/. Wanna get your NaturalAgents listed? Could be good for visibility!
This was Schmidhuber's group is 2018:

https://worldmodels.github.io/

Just want to point that out.
> That's an odd thing to say. Is there an OS that you have adapted to you?

Microsoft BOB
If they split up Google it’ll be AT&T and Bell Labs all over again.
Who is our in this context?

If you are a party to this dispute, why on Earth would you comment publicly?
Great tool, upvoted! As the creator of https://aiagentslist.com/, I'd love to feature your PostalAgent. It's a perfect fit for our AI tool directory.
The abbreviation "WP" was initially permitted for use before they retroactively changed it a few days ago.
Saying "We host WordPress" on WPEngine's site constitutes as much trademark violation as a random shoe shop listing Nike shoes in their catalog.
It seems this is more about attempting to undermine a competitor, with trademark issues serving merely as an excuse.
Stop Ignoring Your High Performers
Exactly! And now you've invented Dependency Injection. That's all DI means, passing dependencies to where they're needed instead of pulling them in via global state. You're doing it by hand (and in an impure way) instead of relying on an IoC container for convenience, but it's still the same thing.
As a fan of doom, I can't wait to play this mod. Hope it will "respect" the style of its predecessors.
if you strap an explosive to it you can make infinite money in ukraine / defense in general
can someone please explain the feud for those of us who are out of the loop?
Jamming online in real-time is possible only between participants in the same city or district. It all boils down to internet-induced latency. More than 20ms and no real-time is possible. For long distance (high latency) online jamming, there is Ninjam [1], developed by Cockos, creators of Reaper DAW, where latency is actually expanded to match a musical division (bar), so everyone can jam in non-realtime but still musically correct.

For long distance collaboration and recording (not jamming), I'm currently working on developing a Reaper + Sonobus (which uses AOO) solution which I named ReaConnect [0].

[0] https://github.com/AtmanActive/ReaConnect

[1] https://www.cockos.com/ninjam/
So, the article seems to be mostly about desktop usage, but for me, the best way to show off OpenBSD is to just run `ps ax` after a clean install, and compare that to, say, Fedora CoreOS (just because that happens to be the other common OS I use for my server VMs).

On OpenBSD, the list of processes is mercifully short, and I can tell you what each of them is supposed to do. CoreOS? Not so much -- and, yeah, I know, I could of course switch to non-systemd-infested distro, but even there, there would be at least a screen-full of processes of which I could maybe identify half?

This pattern extends to configuration: OpenBSD has a handful of very-well-documented files in /etc, whereas under Linux, things are literally all over the place, and you might even end up editing irrelevant configs, because they happen to be regenerated by yet-another-layer of tooling, or your distro is simply not using the tool you think you're configuring...

Still, I have no clear preference for one OS over the other! With workloads being mostly containerized these days, it's so easy to roll out a new VM, that the level of understanding required to, say, nurse a broken OS on physical hardware back to health, is now simply irrelevant. Just blow away the old and deploy the new, and forget about it.

On OpenBSD, the deployment tooling uses tried-and-true commands like `fdisk` and `ifconfig`, whereas for CoreOS it's YAML (pronounced: 'hell'), but the truth is... it doesn't matter that much. Getting the base OS installed, adding some volumes, creating sub-interfaces for the relevant VLANs, installing Docker(-compose), and getting the containers to (re)start is all very, very similar.

So, yeah, I sort-of get what the article is trying to say, but the ground-truth I think is that in most cases the OS isn't that much of a differentiator anymore, as they're pretty much all OK-ish...
From the article (sorry for the bad link before; fixed below [1]):

> The revenue from taxes and levies on road traffic amounts to around 50 billion euros annually. Around half of this is earmarked by law via the mineral oil tax, i.e. around 25 billion euros. This means that just over a third (36%) of the earmarked revenue from road traffic covers the costs of roads and other facilities such as parking lots and the like. It is therefore clear that the public sector is heavily subsidizing road traffic.

My understanding is that these two forms of taxes add to more than 50%, but then almost half of those taxes must be reinvested elsewhere by law (i.e., not into roads), hence the 1/3 figure. But even if you ignore this reallocation of taxes, you still have a deficit of around 20 billion euros.

---

[1] https://www.forschung-und-wissen.de/nachrichten/oekonomie/au...
With good hardware and a stable system you should be able to get the harware latency down to 2-5 ms. Then everybody needs a very stable and fast internet connection with low jitter, so you get average ping times of 20 ms or less. On top of that you have a jitter buffer latency of maybe 20 ms or less. (If you're very far apart geographically, you also need to consider the speed of light for the network transmission.) Under ideal circumstances you may end up with a total end-to-end latency of 30 ms. This is the same latency you get when standing 10 meters apart on a large stage. You probably won't be able to play bebop or technical death metal, but pop ballads or stoner rock should be feasable :)
What if the model actually understands that the ball will fall and bounce because of mass, gravity, acceleration, momentum, impulse, elasticity? I mean you can just ask ChatGPT and Claude, I guess you would answer that in this case it's just prediction, but if they were human then it would be understanding.
I don't say it's more expensive, but WarHammer is not that cheap either
Just completed the whole game in iPhone/Safari. Was very difficult but very fun. I’m a big fan of mini games like this, and I was always a huge fan of Lunar Lander etc which this game reminds me of.

Great polish for a web game too.

I made my own[0] Lander clone in PICO-8 a while back and this gave me some fun ideas like the different starting angles/velocities to try recover from.

[0] https://www.lexaloffle.com/bbs/?pid=lander2000
ICP here means "ideal customer profile" not "Insane Clown Posse"
According to https://bullenweg.com/#matt-uses-wordpress-to-dismiss-founde... , "Laura Elizabeth, founder of WordPress Plugin Client Portal" posted "Guess I can’t contribute to WordPress "
TIL, thanks for posting. The workflow I was sketching out is simpler though: Render a legacy game or low fidelity modern game as-is, and run it through a diffusion model in real time.
I mean they make a bold statement up top just to paddle back a little bit further down with: "[…] In terms of Chinese and Cantonese recognition, the SenseVoice-Small model has advantages."

It feels dishonest to me.

[0] https://github.com/FunAudioLLM/SenseVoice?tab=readme-ov-file...
Somehow? For some internally obvious reason I never expected that.

One person is clever, two can talk, a group is clueless and a crowd is an idiot. It is only expected that any non-standard regulation will meet all sorts of resistances and division across axes most of which will make no sense even.

Personally I believe that the best way to handle it is not an open information, but total social manipulation into FUD with proper control points. But that’s incompatible with democracy and all. It’s not because I’m an inherently bad anti-humanist, I just don’t see how that could work cause it’s absolutely naive. A crowd is a separate being from a human that stands in it, and it requires non-human interaction. Treating it as just a set of humans to whom you speak directly is an error.
What makes trust fund children more deserving of resources than anyone else? When these estate taxes are avoided, yes, illegitimately through lobbying, then the rest of society shoulders their burden. The difference between a trust fund baby and a welfare mother is just which bank account is sending money to them.

I’m not suggesting to eat the rich. Far from it. I’m suggesting to leave the hard working rich alone, and tax them at the end of life. Their children are no more deserving of their riches than anyone else.
Kind of the definition of man-machine interface. You in some way adapt to whatever you choose to interact with.
My favorite part of this deal is how you can use the same ticket in every city in Germany. Before you had to learn which app to install and then go through the (usually) broken registration setup. And you needed to learn the zones too.

Now I just arrive to a city and hop into the transport method of my choice.