skysight-inc/HackerNews huggingface dataset:
> Okay but like, who cares.

People who care about freedom. The question answers itself. If the person writing the software is laying down the law about how it is going to be used then, as a simple and practical matter, the user is being denied freedom. If code can't be used for business purposes it is a bit of stretch to say it is free software. We may as well call pirated software free software if we're being that loose with language that we only mean price; people don't pay for it either. The "free" stands for freedom.

> Then why complain that they excercise that freedom.

They've just legally given up all the coercive options, so the only tool left is complaint. That is one of the major points of the whole thing - for everyone to have the most freedom communities have to try and resolve disputes by clear communication, vocalising concerns, argument and persuasion.

Although I think you've misread KingMob's comment. Exactly what they meant is open to interpreting, but what they actually said isn't a complaint. "Free-riders" is a technical term for what most FOSS software users are doing. It might be explicitly endorsed by the software maintainer but it is still free-riding.
Every parent I know forbids Youtube, for obvious reasons. Even the content on the Kids service is utter crap (I know several who tried the service and dropped it.)
And ID is demanded online or by phone how exactly?
Thanks!

I'll have to muse about what the more dumbed down version would look like (as this version is already quite dumbed down compared to the primary sources). It wouldn't be quite a matter of saying "This code contains an abstraction, this other code doesn't," because (and this is quite important) abstraction is a pattern imposed on code, and not part of the code itself.

We do have a document with a number of examples of true abstraction — written in English, rather than code, in accordance with the above. It's normally reserved for our paying students, but, if you E-mail me, I'll send it to you anyway — my contact information easy to find.
Yet you'll find sources that claim spoken American English is closer to historical British English, because of some aspects like rhoticity. [1]

[1] https://www.bbc.com/culture/article/20180207-how-americans-p...
Those are all valid concerns.

Then, the digital passport's ship has already sailed for better or for worse, and all these questions are solved in other ways.

> when the Home Office messes up and accidentally deletes your immigration status

You're toast either way, because it will be checked at the airport. You'll have to deal with the immigration officer and have them do something, because you won't go very far with just a paper that will be checked against the backend. In my experience it has already been the case for a while now.

You still better have the reference paper that will help identify your visa procedure, dates etc. But it's already just a key to the info in the DB.

> you will no longer be in possession of any records

Print out the papers and keep track of the important pieces. It's the same for everything else in your life, including tax documents, birth certificates etc.

Even in the olden days, the papers you had only had value against the agency's record that could prove their validity. If you had to prove residency in some specific period, having a stamp on your passport would mean very little if the agency denied having any records of it. So it's exactly the same weight as if you printed out a certificate while the DB blew out and no data about it are left.

PS: I think in previous time people were also so much more lenient. It wasn't much a question of physical papers or not, and more on how much few people cared if your info was valid or not. I had an error in my name in many official documents, and while people noticed it, a simple "they typed it wrong" explanation was enough in 99% situations.
> I was hoping for a list of shortest travel times between stations in Europe, as more of a thought/data experiment. Or put another way; which two train stations in Europe have the least distance between them?

You mean most distance you can travel in X hours?
It's getting a 4k Blu-ray release soon AFAIK. Will definitely pick it up.
Negotiates to 2x 5.0 so long as the board it's plugged into supports it. 2x 4.0 or 3.0 otherwise. Hadn't tested even lower.
This is an awesome project!

Someone (with copious free time) is just a wee bit obsessive.

Hate to say it, but I can sort of relate (but I don't have enough free time to do something this intricate).
We wouldn't be talking about it here, and I suggest that the same is true across many other forums that aren't specifically focused on chess.
Any punishment that involves breaking the same law to administer isn't the correct one. It infers no superiority and just kicks off the race to the bottom.
If social collapse is the concern - then the huge, global, and extremely fragile (but current-profit-optimized, for the owner class) supply chains of the modern world are the #1 concern. Millions of essential items (chips, drugs, face masks, manufacturing equipment, etc.) are made in highly specialized facilities, in far-flung countries. So we've got the "perfect" setup, for very local collapses (or just natural disaster or social unrest) to take something critical, somewhere, off-line - which mushrooms into a major global problem.

The whole "owner class escapes to their space colonies" scenario is a combination of SciFi fantasy and short-term-only self-delusion. Space colonies are incredibly fragile, compared to life on virtually any inhabited part of the Earth. And most of the basic technologies they require - starting with air, water, and food supplies - have (at best) only been demonstrated at micro-scale. With extremely high maintenance needs...which gets you right back to the supply chain issue.
Trainline support most of the Europe. Used it from Poland to Portugal, not much of a hassle.

It does miss some regional train tickets which could be found on local platforms but major lines are covered fine.
You don't end up under a bridge in Brazil for losing your phone.

You end up there by being born in the wrong family or part of town.
(So I guess "Rightpondia" would be Airstrip One?)
> Mostly it's about the sponsors. It's much more difficult to get sponsors for an event if the participants are dressed like they slept in their clothes.

Would be interesting if they can get mattress companies or apparel companies that have good comfy clothes as sponsors. Why not play chess on a firm mattress?
Tech worker movements grow as threats of RTO, AI loom
The United States, and not really, no.

All their warfare that's effective is the methods used to produce Brexit and elect Donald Trump. That's been way more effective than WWII munitions, and if they were satisfied with that, the world would be 'the Zone' for our lifetimes. But those who control Russia are old, and want land, territory. They've already spoken of wanting Alaska, and once you concede Crimea and Ukraine as 'really first', they'll be wanting to surprise everybody by taking the United States.

This is not realistic. They've got the power to destabilize to a shocking extent, but only while unobserved. To actually take territory, formally, from the United States would change a lot, and yet that's their dream.

By contrast, they're not fighting Finland first: not because Finland is that much tougher than the US, but because Finland knows them and is prepared.
Ballistic protection in particularly violent captures.
My primary memory of this screensaver was while working as a desktop support work-study in college. Our NT 4 servers (PDC and its backup) ran the 3D pipe screen saver. I pointed out to the admin that it was using a software OpenGL renderer and so likely wasting CPU cycles. They then switched to the Star Field or maybe the blank screensaver (can’t remember now).
I love watching institutions cling to silly little rules to the point where it actually hurts them. It's a perfect demonstration of the problems with groupthink.
Caves Of Qud: a rich roguelike realm you could get lost in for months
I switched to YouTube Music from Spotify years ago, but have friends who refuse to switch, my understanding is:

- The YTM UI just feels worse than Spotify

- YTM has no official desktop app

- Moving all your liked songs and playlists over is annoying

- The whole shutting down Google Play Music just to release Youtube Music did a lot of damage to their "brand mindshare"

- People think it just means watching music videos on YouTube

- Everyone they know uses Spotify and they like seeing what their friends are listening to and it's easier to share links to songs within platform
> China is currently at 3,230 GW of generating capacity. Its current nuclear capacity is about 1.76% of that.
Morsom kar han der
I used a variation of rot13, discovering much the same thing.

I try to put myself in the other’s perspective. Firstly, many (myself included) do not respond predictably on “on the spot”. Going cold into a problem is like doing some responsive physical activity, it often takes some mental warm up. The obstruction of “mental tooling” makes a unit of effort in the span of two hours, two weeks, or two month frames.

Solving the problem in “pseudo code”, in which you don’t actually intend to run it for instance reduces the anxiety of the dev environment not working in exactly the way you require for your iterative dev round trip. Even if it isn’t actually a problem, our mindsets are actually slower switching intellectual frames, where those frames may be compartmentalized competence.

Is that compartmentalized competence in there, and can I get it out? Is it wrapped in a tolerable character? So many dimensions set us apart.
Do you have any other advice that was not covered in that book that you think would be helpful to know about for a first time parent?
But gestures at the approaching tsunami of AI-generated video content
Do you do any moderation at all? Usually some combination of Cloudflare + Akismet + manual review (or LLMs these days) can drastically cut down on spam. Much more expensive than just adding HTML attributes, of course.

And unmoderated share links should probably be noindex and nofollow anyway, no? Why would you want search engines to crawl that?
Has a value been announced for the cargo that has been confiscated ?
Bear? It is more like a stray dog that keeps shitting on your living room carpet. You don’t need to hate the dog, you just keep it on the outside where it can run around and have a great time on it’s own.
I am not versed in Ada, but Ada does not seem to have dependent types at all, in fact the author doesn't seem to understand what dependent types are. All his examples seem to revolve about arrays and bounded integers so I will stick to those example (although DT are far richer than that).

In a language with dependent types you don't merely have arrays with arbitrary bounds, but you get a proof that array access is always within bounds. AFAICT this is missing in Ada, even when SPARK is employed. Similarly with bounded integers. In a DT language don't get runtime bound checks, it's all compile time proofs.

In Ada, even the name of the feature makes it pretty clear that it's just runtime verification:

type My_Record (Top, Bottom : My_Integer) is record
Field : My_Array(Bottom .. Top);
end record
with Dynamic_Predicate => Bottom <= Top;

It's not a dynamic predicate in either a language with DT or refinement types! It's all in compile time proofs!

SPARK does attempt to prove certain properties of programs automatically, including things like bounds checking, which is great, but it's all best effort and it's nowhere at the same level of capability compared to when using DT (or even refinement types). Of course it's far more lightweight (although it can be argued that systems based on refinement types are just as lightweight).

It's very clear that people developing SPARK know a lot about type theory and formal verification, and use as much of the theory as possible to make verification of Ada programs as cheap and ergonomic as possible, but to claim that Ada has DT is quite a stretch. People are using DT to do formal verification of C programs but that doesn't mean that C has dependent types.
Validation of the passenger manifest.
This is the Unix philosophy: Write programs that do one thing and do it well. Write programs to work together. Write programs to handle text streams, because that is a universal interface. -Doug McIlroy
So you want to write Java in Neovim
Thanks for sharing your code.

Don't be disheartened by negative unconstructive comments.

I think maybe adding a disclaimer that you use an LLM since English is not your first language will preempt such comments in the future.

Keep at it, I think such tools are great to build, share and learn from.

Keep focusing on functionality!
That would be nice, in practice, the SSD requires its power rails to start up in a particular sequence and with very particular voltages.
A fractal coast of feeling; a strange loop, recurring. Nightmares within nightmares.

Or, a keyboard accident.
I don't understand how it works. First time clicking on Poland, it showed a kind of a heat map around some city. Then I click on another location and nothing happens. OK, there's a "back" button, I go back, click on the map again in a different place and... nothing happens. No heat map. At some point in frustration I accidentally move the mouse while clicking and the map rotates upside down. Don't know, is it me, my browser, or there's something about the UI.
Oo this is cool! Looking at some of the transports you built already, it looks fairly simple to do, but I'd appreciate a little documentation on how to BYOTransport (or at least once you think the api for that is solid)!

Was just about to start adding a little more structure to my app's logging, so ill have to play with it then!
It's interesting to watch Russia's posters beginning to get some pushback. My experience is that HN has suffered somewhat Reddit-like conditions, where if you criticized Russia's war on its neighbors and the West, you got botted.

That sort of thing only works when it's not observed, and it looks like Hacker News is starting to protect itself against malicious actions, as are Russia's physical neighbors.
From my end the decision to not use the Google product comes from two places. Firstly, any money I send to Google is probably a net negative for the human race as a whole (though the same could probably be said for Spotify). Secondly (and much more importantly for me personally), YouTube is quite addictive, and having premium would enable me. If someone offered me a music streaming subscription with a bit of free crack cocaine on the side, I would not take it over someone offering me just the subscription, regardless of the price (up to a point)
Not sure I agree. Chess has moved towards a much younger audience over the last 5 years, and is incredibly popular now. Gets 10s of thousands of viewers on Twitch, for example & there are many players that could be seen as modern day celebrities in their own right.

FIDE needs to embrace the younger generation that think the game is cool. Ancient dress codes are a distraction.
One of Bill Thurston's answers on MathOverflow should be required reading on this and a lot of related topics. When basically asked "How do I cope with the fact that I'm no Gauss or Euler?" he replied:

> The product of mathematics is clarity and understanding. Not theorems, by themselves... mathematics only exists in a living community of mathematicians that spreads understanding and breaths life into ideas both old and new. The real satisfaction from mathematics is in learning from others and sharing with others. All of us have clear understanding of a few things and murky concepts of many more. There is no way to run out of ideas in need of clarification. The question of who is the first person to ever set foot on some square meter of land is really secondary. Revolutionary change does matter, but revolutions are few, and they are not self-sustaining --- they depend very heavily on the community of mathematicians.

https://mathoverflow.net/questions/43690/whats-a-mathematici...

Ongoing relationships and cooperation is how humanity does its peak stuff and reaches peak understanding (and how humans usually find the most personal satisfaction).

LLMs are powerful precisely because they're a technology for concentrating and amplifying some aspects of cooperative information sharing. But we also sometimes let our tools isolate.

Something as simple as a map of a library is an interesting case: it is a form of toolified cooperation, you can use it to orient yourself in discovering and orienting library materials without having to talk to a librarian, which saves time/attention... and also reduces social surface area for incidental connection and cooperation.

That's a mild example with very mild consequences and only needs mild individual or cultural tools in order to address the tradeoffs. We might also consider markets and the social technology of business which have resorted in a kind of target-maximizing AGI. The effects here are also mixed, certainly in terms of connection / isolation, also potentially in terms of environmental impact. A paperclip maximizer has nothing on an AGI/business that benefits from mass deforestation, and we created that kind of thing hundreds of years ago.

The question is if we're going to maintain the kind of social/cultural infrastructure that could help us be aware of and continue to invest in the value the social/cultural infrastructure.

Or, put more simply, if we're going to build a future for people.
> close all maritime corridors going through NATO territory for Russia.

Probably too extreme for maritime law. OTOH a tighter inspection regime might fly. There is a precedent in ports of call that enforce their own inspection regimes.

Profile and optionally board boats entering the Skagerrak. Registry? Condition? Incident history? Hazards of declared cargo? Too many suspicious antennas?
This talks about representing numbers as graphs whilst showing that the graphs can appear to be reminiscent of leaves, not that the numbers are leaf nodes of graphs, which is where I thought it was going at first.
> Have you thought about stepping back from all of this for a few days and notice that you are wasting your time with these arguments?

Num fecisti?

> It doesn't matter how fast you can calculate a dot product or evaluate an activation function if the weights in question do not change.

That's a deliberate choice, not a fundamental requirement.

Models get frozen in order to become a product someone can put a version number on and ship, not because they must be, as demonstrated both by fine-tuning and by the initial training process — both of which update the weights.

> NNs as of right now are the equivalent of a brain scan.

First: see above.

Second: even if it were, so what? Look at the context I'm replying to, this is about energy efficiency — and applies just fine even when calculated for training the whole thing from scratch.

To put it another way: how long would it take a mouse to read 13 trillion tokens?

The energy cost of silicon vs. biology is lower than people realise, because people read the power consumption without considering that the speed of silicon is much higher: at the lowest level, the speed of silicon computation literally — not metaphorically, really literally — outpaces biological computation by the same magnitude to which jogging outpaces continental drift.
How Intellectuals Found God
I think the parallel many draw is that atheism is taking a position of certainty on the question of a God. And that certainty is based largely on personal belief as any evidence for such a question will inherently be weak.

To me agnosticism would be more the absence of religion, because the absence of religion doesn't imply any particular opinion on the existence or not of a God. One can believe there might be a God without embracing any religion.
It also probably depends on having a generally undistracted audience which you probably don't have a lot of the time especially outside of a movie theater.
I started the movie Twisters. The exposition and acting in the first five minutes was so jarring that I stopped it to leave it for another day
Had to read a bit but, ah, there it is: the war on general computation

> A DTC, according to the United Nations’ International Civil Aviation Organization (ICAO), which is behind the approach, is made up of two parts: a virtual element, which represents the information stored on passports, and a physical part, the bit on your phone. The two are cryptographically linked to ensure they’re not forgeries.

Your phone, apparently, can't simply carry this data and provide that at your choice to the passport checkpoint for it to verify by taking a picture of you and comparing it against their database. No, it needs to be locked down. If you are the admin on your device, you could make a copy, so it sounds like this will never be allowed to run on a phone that isn't locked

Smartphones are supplanting computers for a lot of people but manufacturers lock it down in a way that you can't fully see (let alone control) what it does. Some manufacturers let you flip a switch and get this access, but then big corps and governments try to counteract that and refuse to provide their service on your unlocked device

For a smartcard (bank chip, SIM card, yubikey, passport, oyster card, etc.) this isn't a problem because the device is dedicated. I don't need access to the private key on a SIM card because I've got no intention of forging it. Would be cool to see its internals but it doesn't have a microphone or its own uplink. However, I do want access to my smartphone because I use it for all sorts of things (including making a full backup instead of dealing with individual apps' manual or adb export functionality) and it processes all sorts of personal data about me that I want to be in control of (I often open an app's data folder to see what is stored, queued for uploading when I don't give it network access (SwiftKey has telemetry reports queued for years and years), or to modify some setting that the GUI doesn't expose). One of my primary devices wouldn't really be mine if I need it to carry these things requiring DRM

These applications have legitimate reasons to want to be on a smartcard, for it would require an always-online database who the counterparty (such as border control) can trust if they can't trust me or my device. It just doesn't belong on a smartphone, like get your own secure storage if that's what you want me to carry. Payment, passports, and public transport can all bundle their thingies onto one smartcard just fine (if they can standardise on phones, they can also standardise on a much simpler device with more uniform functionality). It could even be a smartcard chip inside my phone, but it shouldn't be my phone with my data on it that needs to be locked down for this unrelated purpose
Memory safety and the borrow checker are useful even in the absence of dynamic memory allocation. This still doesn't bring rust and ada to the same place, but it is important to clarify that piece.
Or Apples family offering. For ~€40 we get Apple Music, Apple TV+, 2 TB of iCloud and probably something more for the whole family.
Magnus has been bored of chess for a long time. He's the best ever, everyone knows it, including himself. He has long had nothing to play for, hence he acts up baiting organisations into enforcing the rules. It seems like a form of self sabotage. He should retire and turn his genius into something else
That percentage doesn’t really explain anything. What if Apple has more revenue? What if Apple users stream less, so royalty costs per subscription are lower? In both cases the AM payout could be fairer for artists and the percentage could still be lower.

The article you cite actually claims the latter is true, so it seems looking at just that statistic is misleading.