skysight-inc/HackerNews huggingface dataset:
Being English-as-in-UK I often run into situations where my dry/sarcastic humour completely fails to be clear to USians.

Then again from the UK POV the leftpondians barely count as native English speakers anyway ;)
If you redefine exploding pagers issued strictly to members of the organization you're trying to eliminate as indiscriminate, what does that even leave as disriminate targetting?

Feels like an entirely disingenuous line of argument; i don't like israel therefore _______
Symbols exist as data structures at runtime that can be inspected, have their names compared, and have a value that is separate from their name. Enums typically don't do any of that.
Reminds me of Ronnie O'Sullivan offending the snooker association by taking off shoes https://www.espn.co.uk/snooker/story/_/id/12736342/ronnie-os... I hope silly enforcement like that dies out.
Let's not assume that in a world where Apple has 80% market share artists are getting paid better...
Counter example, if they raised their price by more than $1-2, I'd cancel it. The music discovery hasn't been great and it mostly suggests playlists of the songs I already listen to. Inertia is the only reason I haven't cancelled and bought all the songs directly
Both Apple Music and Tidal (and Google Music, Amazon) can afford to lose money as long as leadership want the service to stay online.

I don't think it's sustainable for musicians to rely on cross financing via other services or VC money.
Further consolidation under under big tech conpanies would be a negative IMO
It's popular right now because it's Christmas time. The video stimulates the yule log tradition for people who don't have fireplaces (most people) or don't want the mess of a real fire. A lot of people are off work right now, visiting friends and family, and want a nice seasonal ambiance.

https://en.wikipedia.org/wiki/Yule_log

It also used to air on TV in some region

https://en.wikipedia.org/wiki/Yule_Log_(TV_program)

I understand that it would be confusing if you weren't familiar with the tradition.
Title shared on HN left me somewhat disappointed. The actual time appears to be "Where can you go by train in 8h?", though that's somewhat less clear. It only seems to include central stations of larger cities, though 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?

Anyway, the shared feature is neat, but seems to be somewhat iffy once you get out of the bigger cities. If a route has 2 or more connections, it seems to struggle to show them. While true to its message, I still feel the restriction of 8 hours misses sleeper trains, where travel time is less essential compared to daytime trains.

It's cute for discoverability, but for a specific train search, I would definitely defer to bahn.de, which basically includes all train stations in Europe.
None of the countries involved are socialist
On this topic, I'm sick and tired of Spotify's recommendation algorithm and ready to jump to a superior service, would love to hear HN's recommendations. Happy to pay for a good service.

My listening style basically comes down to vibe, e.g. "I want to imagine myself as a jaded ex-con planning my next heist" and "I'm duking it out with an aggressively hegemonizing von Neumann swarm in the asteroid belt"
Looks pretty cool! Unfortunately I can't use it yet, as I am on a Ubuntu-based distro (Pop! OS 22.04), so my GTK version is not high enough. I imaging that's the case for a lot of people who stick to LTS versions. I may check it out on my Mac for work though
Many years ago when I was in college, one of my professors wrote a Star Trek Next Generation script, and she talked about how the producers pretty much destroyed her story by insisting she stick to the formula such as "between X and Y minutes, the Enterprise or one of the main characters must be in danger. That danger must be resolved by minute Z." Sigh.
I think because people are 'watching' in a situation where twenty years ago they'd've put the radio on but now they default to 'fire something up on Netflix' and so Netflix wants to make things amenable to those customers.

I'm not sure how I feel about this, but it does at least make sense in terms of why Netflix are doing so.
What do you consider 'exact'? Approximate positions are drawn on nautical charts, so that ships don't accidentally go and try to anchor in the vicinity. Plenty accurate enough for a ship to 'accidentally' drop an anchor and drag it along the seabed for miles.
It's a game of concentration, and what you wear could affect people's concentration. Better to just stick to a dress code.
Maybe the owner using their personal one? I've not seen it at big businesses, more like the coffee shop around the corner places.

YouTube also has a lot but the ads are distracting.
> Why give literal ints their own temporaries?

Just following the paper's convention (their justification being that now they only need to substitute variables for variables which is simpler), plus this gist is a trimmed down version of my hobby project which had full-blown algebraic data types: the integers were handled by that case as well. You absolutely can merge "int" case with the "var" case above, and use ints as themselves:

if isinstance(expr, str) or isinstance(expr, int):
result = CpsExprBuilder()
return maybe_tail(result, expr)

The second argument in maybe_tail would need a better name though...

> Why not support lambda expressions?

They were missing in your write-up as well :) I just went by your text, and look at the code snippets in it. But adding them looks like this:

if what == 'lambda':
args, body = rest
result = CpsExprBuilder()
tmp_name, ret = gen_tmp(), gen_cont()
fun = ['fun', [*args, ret], cps(body, ret)]
result.add_let_without_body([[tmp_name, fun]])
return maybe_tail(result, tmp_name)

Some test cases I've tried look like this then:

['lambda', ['x'], 'x'] =>
let
#t0 = fun(x, @k1):
$ret @k1(x)
in $ret @halt(#t0)

[['lambda', ['x'], 'x'], 2] =>
let
#t0 = fun(x, @k1):
$ret @k1(x)
#t2 = 2
in #t0(#t2, @halt)

['let', ['f', ['lambda', ['x'], 'x']], ['f', 2]] =>
let
@k0 = cont(f):
let
#t3 = 2
in f(#t3, @halt)
#t1 = fun(x, @k2):
$ret @k2(x)
in $ret @k0(#t1)

By the way, if you don't like creating contiunations just to immediately invoke them, you can adjust make_LET adjusted to flatten that pattern as well: check if the body is '$ret' with the continuation name that's in the defns list, replace body with this continuation's body (with variables substituted!) and throw its definition away.

[['lambda', ['x'], 'x'], 2] =>
let
#t0 = fun(x, @k1):
$ret @k1(x)
#t2 = 2
in #t0(#t2, @halt)

['let', ['f', ['lambda', ['x'], 'x']], ['f', 2]] =>
let
#t1 = fun(x, @k2):
$ret @k2(x)
#t3 = 2
in #t1(#t3, @halt)

But this also throws the programmer-supplied names away during the substitution, sadly. Preferring to keep programmer-supplied names is possible, of course, but it requires both tracking them and making sure they don't collide with temporaries or other programmer-supplied names so... this simplification step is better performed in the optimizer after the CPS-conversion.
> if the end user can't use it for commercial purposes then the software is by definition not FOSS software.

Okay but like, who cares. The definition of "Free Software" is just whatever RMS screeches about. The OSI is rather biased towards them, and importantly, does not own the trademark.

> That would be a major restriction on their freedom.

Then why complain that they excercise that freedom.

Either commercial use without paying back is an explicitly granted and supported freedom, and then companies doing that is fine. Or it is not, in which case restrict commercial use on the free license if you want companies to pay up.
For a more modern facet to this issue, I'm surprised there isn't more teamwork around VSCodium, VS Code's free counterpart.
It is also his first Christmas after his mother's passing, so I think it is fair to say that he's under a lot of stress already.

We will see how other players react today. Will they wear jeans in protest?
Berard 1993 offers a good survey of the meanings of Abstrasction, Encapsulation, and Information Hiding

https://web.archive.org/web/20071214085409/http://www.itmweb...
Of course they care. Only then they can sell it. With real name and full precision location. Even with 10m precision it would be a good sell.
James Gosling on Java: Historical Oddities and Persistent Itches (JVMLS 2024)
Isn't it the case that some explosives can only be detected due to the introduction of "taggants" at the production stage?
Spotify is already steep in my eyes when I compare it to Netflix. Probably because I'm looking at video bandwidth vs audio bandwidth but paying for music more than you pay for movies feels weird in my monkey brain. No shiny picture, less money monkey say.
Couldn't disagree more about Arcane, I thought it was the usual pedestrian writing and mish-mash of tired tropes we've come to expect from mainstream productions.

A friend was pushing me to give it a try, a friend who likes Marvel, and the Miles Morales spiderman film, who plays League, who was excited by Baldur's Gate, etc etc. I tried to say "no, there is no chance of me enjoying that, it'll be the usual drivel", but they insisted it was really good.

And I watched, against my better judgment, saying to myself: "come on now, give it a serious try, be open-minded". To no avail!

I recall the scene where they'd the punk or alternative or "underground" live music in the bar in the underworld place, in the 3rd or 4th episode, and that being the final straw for me. A viler and more disharmonious appropriation of dissident culture I've never had the displeasure of sitting through.
Isn't the tanker much more expensive than repairing the cable damage? (and Russia has much lower GDP than the EU)

Seems like they can't play this game for long.
Now you're really on to something - someone give this person some VC money, please!
In case someone is interested, I started working on it here: https://github.com/bjesus/notsolocalstorage/
He was 2.5/3 the day he was fined (then forbidden to play) for his dress code violation, and was around rank 25 after game 8, one point behind first place. Not a winning performance but not particularly bad either.
Apple Music is quite good. Better masters, good recommendations, no fuss - and they pay artists more, supposedly.
> Why would smart people care about denim vs. trousers?

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. That's why organizers try to impose minimal standards on dresscodes.

Jeans and sneakers are maybe debatable, but players showed up with cargo pants, shorts or tank tops on other events.

In the FIDE regulation for that event jeans were explicitly mentioned as not allowed. FIDE would have made a fool out of themselves when allowing Magnus to wear the jeans.
THE WIZARD WENT WEST THROUGH THE DOOR AND INTO THE GARDEN
Apart from you being a transphobe, there's also Musk's antisemitism, racism, censorship, and many other things, so this doesn't invalidate my main point at all.
Have I missed something or you (who are 'we', btw?) are at war with Germany which owns half of Nord Stream? I think German citizens need to know who is their real enemy.
Technically one does not need the second stack to implement this. One can use the main stack to place all dynamically sized things. The trick is then on the return copy the dynamically sized thing to insert it before the caller return address stored on the stack. The caller will see it then as if the new thing was allocated on its stack after the call.

But using the second stack is just simpler, avoids the extra copies and more compatible with the mainstream ABI.
Very interesting, especially the mentioned use of the logic programming language Prolog as a scripting language, explained starting at 22:12.

Quoting from the talk:

"What kind of a language would I use? Any guesses? ... I wanted to try with Prolog. And why did I try with Prolog? [audience laughter] That's the thing: I want everything to be declarative, I really like declarative things. So, remember all those different configurations of Video4Linx? ... I want to not have to write all those algorithms myself. I want the device manufacturer, or the distro maintainer maybe, to describe what each of those devices does, or each of those nodes over here does, and I also want, on the other side, to describe what kind of an output I want ..."

There is also a scheduled talk about libobscura at FOSDEM 2025: https://fosdem.org/2025/schedule/event/fosdem-2025-6184-libo...
>the jet was shot down immediately

By the same forces that later tried to overthrow democratically elected president of Turkey.
Exactly, many top players (probably all of them, but some only speak on such issues indirectly) feel FIDE is increasingly power tripping and somewhat out of touch with both the game and the interests of the players.

During Kasparov's era sentiment was similar and ultimately an entirely new players' association with their own world championship cycle was created. In the end they reunified with FIDE, but we're back on the trajectory for something like that to happen again.

I would wager alot that chess.com is strategizing behind the scenes about ways to become that replacement.
After nearly 10 years of Spotify I think I have heard it all. Now my discover weekly is filled with rock covers of pop songs or music I'm just not into. So either the algorithm got bad or I discovered all music I like.

I can recommend everyone this video by Rick Beato: The Real Reason Why Music Is Getting Worse

https://youtube.com/watch?v=1bZ0OSEViyo
Recently made the switch and have been very happy with the service.
> I'm not a Russia defender but this is comically inept if true.

I mean it's the 1000+ day of the 3 day special military operation, we've seen Russians with ww2 era rifles and gear, ww2 era tanks, &c.
Being inept is the only thing the Russian army seems to achieve consistently.
Wes Anderson recently did a few short films from Roald Dahl stories that feel very strangely "wrong" in their almost 100% simply reading the stories out loud to actors miming along. It is so broken that it's fascinating and entirely works.
I've definitely seen my share of coders who can sling decent code to maintain and extend an app, but not write anything from scratch. It is quite possible to have a solid career without ever having started with a blank slate. Even starting a new project these days, people often grab a framework that starts them with boilerplate.

So it is not really that they cannot code. It is that they cannot go from zero. If you handed them a bad implementation of FizzBuzz and asked them to improve it, they could. But they cannot write the very first line of code because while the code is trivial, the utter lack of context is a new experience.

Whether or not you want that to be a deal-killer for a hiring process is a much deeper question.
Right, and I hope for the charitable scenario. I suppose we'll find out in a few months.
There was similar drama exactly a year ago recently about a woman chess player wearing "sport shoes":
https://www.nytimes.com/2023/12/28/world/asia/chess-fine-sho...
in peacetime. It's looking like right now isn't peacetime. When a country is breaking every peacetime rule to conquer its neighbors and not-even-neighbors, the rules saying you can't, become super problematic as they'll be weaponized like everything else.
A good abstraction shouldn't make its usage shorter, it should make the proof that the usage is correct shorter.

This usually means the total amount of assumptions needed to prove everything correct is decreased.
(when the code is not actually formally verified, think of "proof length" as mental capacity needed to check that some unit of code behaves as intended)
Carriers are great at projecting power against poor people but sitting ducks against a near peer. And you probably know about the UKs recent propulsion system boondoggle…

Anyways, they just launched this very potent sub yesterday as well as several other hypersonic carrying boats this year (4 subs, 7 surface ships - all fake according to Reddit):

- https://defencesecurityasia.com/en/russian-navy-receives-fif...
My one and only sleeper train experience involved being woken up at 3am by police with guns to check passports. Never again.
They are used to playing against a spineless opponent, which in theory could have gone on for quite a long time. In this case, I'm glad to see it didn't.
I still don’t get how YouTube (premium + music) isn’t a clear winner here. Why use Spotify if you can get all that for the same price?
I got used to it after writing a lot of complex SQL. I even developed a preference for uppercase keywords.
At no point in my life my code has been made worse because I've used an existing sort function instead of writing a buggy one
Might want to take a look in the mirror with regard to tech...
Overloading the lambda abstraction in Haskell (2022)
The Mandalorian, oh my lawd, the dialogue was just narrative explanation. Just terrible.

Terribly terrible.
Would it have been quiet if the defending champion decides to stay at home and when someone asks him he says it's because of a disagreement about the event's rules? Wouldn't that have gone around and raised the issue/discussion?

I'm still undecided who's right here or who should have done what: I'm not for stupid dress codes, but it also seems silly to get hung up over if you can easily comply at no detriment to your performance or anything, so idk, just saying that it does seem like an option to stay home if you disagree when you're someone whose absence would be very conspicuous
Not sure where you get 75% for Bandcamp. They take a 15% cut for digital sales, 10% for physical, plus processing fees.

Also, they’re not really a streaming service: you can preview a lot of music on the platform, but it’s primarily about buying music. It’s not really a good comparison to Spotify at all.
Yes, all of that. In addition, you can easily give the same prompt to several models at the same time to see how they respond.
It's highly unsociable to ignore international law and agreements just because they're not convenient.

Classic American view point. Win at all costs, ignore the rules yourself but use another countries lack of adherence as an excuse to invade/bomb them.

You really think this is how we get a peaceful and civilised world order? You think this builds trust? Moral leadership? Long term reputation? Relationships?

Ridiculous. Sorry to be controversial but breaking international law should be avoided at almost any cost.

I guess one man's "sucker at the table" is another man's "gentleman who plays by the rules, and can be trusted"
"You may instead by remembering the fact only some TVs back then were successful at powering the Chromecast without an external power brick, using a USB port on the TV itself to power up the Chromecast."

I'm looking at my first gen plugged into the ARC HDMI port on my Vizio TV. It is ONLY attached to the HDMI port and nothing else.
Doesn't trainline support some of Europe now?
> Personally it helps me sleep having "TV" playing in the background.

That's fascinating to me, as I could not ever sleep with the TV on. Anything that has spoken voices keeps my brain turned on decoding the language and sleep is just not possible.
Do you dislike him because he's a leftist or because you're a leftist?
I for one am really worried about the UK Digital Visa system. There are just so many ways it can break down

Airport WiFi - people can easily run deauth with aircrack-ng.
Email server might be down
Phone out of battery
Etc
> they pay artists more, supposedly

They don't. Spotify pays out roughly 66% of their revenue as royalties, while Apple Music only does about 50%. [1]

[1] https://www.wsj.com/articles/apple-music-reveals-how-much-it... https://archive.is/lRZns
The last boat used for this stunt was Chinese, this one is registered in the Cook Islands. This is already happening.

There is no way out of the Baltic Sea without crossing the territorial sea of either Sweden or Denmark. Countries have full jurisdiction in those, cutting cables on purpose is at least a criminal act, if not terrorism. There's no problem handling this, even if you're fully playing by the books.

Russia would then need to switch to ships running only to Kaliningrad, which makes it even more obvious that it's an act of war.
ok recently was stretching it, I've watched these over the past year or so.
I have them on a tin sign! My wife originally got it at Hobby Lobby, I think. I see them for sale on eBay if you are in need. Ours hangs directly above our tv.

https://www.ebay.com/itm/167000652001
I don't think it's necessarily that LLMs by themselves will lead to AGI, but that LLMs proved what is possible with enough compute and money. In a few short years, we went from "bots struggling with CAPTCHAs" to "bots easily passing the Turing test and able to fool most people". With that came bazillions in investments, jumpstarting an AI/ML arms race that may one day take us to AGI.
WTF is a LinkedIn appointment.

You people need to get a real hobby.
Are home-built devices allowed to be made using things like pre-manufactured valves and transistors?

What about integrated circuits?

Where's the line drawn?

Am I allowed to order some parts from Digikey and assemble them into a widget, or must I start closer to the beginning by mining my own ores?
The idea that Roundup is the worst pesticide being used is optimistic.

It’s like the GP indicates - I think the concern is more for yield than safety.

My experience as a tourist was that some fruit reeked so strongly of chemicals that I just kept away from it.
>Most experts agree that the best way to de-escalate conflict with Russia is to show them overwhelming force.

Source?
I assume the US is inconsequential for the next four years geopolitically.
I'm not implying anything or delving into metaphysical matters.

All I'm saying above is that the number of neuron-neuron connections in current AI systems is still tiny, so as of right now, we have no way of knowing in advance what the future capabilities of these AI systems will be if we are able to scale them up by 10x, 100x, 1000x, and more.

Please don't attack a straw-man.
Because the IDF would not crank the propaganda machine to the max following such an act.

Also, as a reminder, Hezbollah was founded in 1982 by Lebanese clerics in response to the Israeli invasion of Lebanon.

The middle east would be a much better place without Hezbollah & Israel, for sure.
Lockpicks.com
This article is very informative article, but it is funny that it seems to imply that Netflix is somehow essentially evil, compared to the artsy heros of the 90s, such as Harvey Weinstein's Miramax.
Yes.

And the last decades we’ve had a new unknown cause of colon cancer increase in young adults.

My money is on plastics, but will be hard to prove.
I have no doubt that there was spying equipment. That is assumed. Curious that this story is only run by Lloydslist and now Breitbart of all places has picked it up.

It seems that someone has discovered tech people as willing amplifiers for war mongering (as chickenhawks, naturally, they won't be in the trenches).