skysight-inc/HackerNews huggingface dataset:
> if your train leaves at 0700 you can’t plan to get there at 06:59

Millions of train commuters in the UK optimise for just this sort of thing. Not one minute before, because the doors typically close 30s to a minute before departure, but 06:55 for sure.

I am not a commuter, but later in the day I don’t leave the house much earlier than twelve minutes before the train I want to get will leave the station, which is a third of a mile away on foot, and I will have time to get a ticket from the machine.
(Also a parent) there are two ways to use Youtube. One is to let the child choose what to watch and, I agree, this is a disaster. There's no possible guardrails that would work with their current algorithmic models. The other is to find things they (or I) are interested in, particularly tutorials, and then watch them together and then apply that to real life. It is a fantastic tutorial device and my kids have learned how to do things I wouldn't have known how to do or teach myself. I don't think there is a better substitute for this use case.
No. One is a technology writer for Barron's based in New York:

https://www.linkedin.com/in/firstadopter

https://x.com/firstadopter

The other is a software engineer based in Japan:

https://x.com/kimchi314
On the womens’ side, the biggest FIDE sponsor is breast enhancement surgery. That makes women’s choice of shirts important for the sponsor’s marketing. Maybe these rules are trying to signal that the attention is spread across men as well.
How do you get a Firefox window to float on top like the iPhone preview window does?
Otherwise, just put on some pants.

I agree. This isn't high school rebellion. Is the real world.

Adults dress appropriately for different places and different times. You can be denied admission to a restaurant, a business, an office meeting, or even a concert for not dressing appropriately. This is no different.

Grow up and put on some pants. Be sloppy in your own home.
Literally happened to me yesterday on the way back to Berlin. I arrived 2 hours late. In fairness there was what was labelled "a personal accident" on the track, which is a euphemism for somebody jumping in front of a train. Which unfortunately happens and needs to be dealt with properly and is not really something anybody can do much about.

But delays are fairly common on that particular route (Berlin-Amsterdam). They use really old trains and they break down once in a while. Or the track is down for maintenance. Or whatever. Most of my journeys in the last three years there's always something. Before that it was more reliable.
> The refusal of "FOSS" communities to use a direct non-commercial clause is an entirely self-inflicted wound.

The self-inflicted wound is non-copyleft licenses. Under copyleft you pay for free code with more code, by making freely available any modifications you publish over the original. Permissive licenses break this, causing a self-inflicted wound. Corporations can just build upon your codebase and privatize your base effort, giving just the middle finger back to community.
There are exemptions to all legal systems in the world, and you're using words like "official petition" and "civil disobedience" for a game.
and before that the term "quality fade" was well established and could be used in all contexts... damn you Cory Doctorow!!!
Some of the things the author mentioned really resonated with me. This year I finally got around to building a blog for my astrophotography and I did it on top of Hugo and it's an absolute delight. Minimal JavaScript, learned a whole bunch of stuff since it'd been forever since I was in frontend.

And seeing it load in tens of milliseconds absolutely delights me. Especially in this day and age of massive frameworks, and massive load times.
Did the t-rex snort the lava off the volcano? badass!
If the Spotify UI was the only way I could consume music, I would never listen to another song again. It's ugly, barely customizable, wastes space, wastes time, and it's flat-out user hostile, just like recent YouTube UI changes. Except unlike YouTube, I cannot reasonably modify the style and functionality to my liking, or easily use third-party clients.

It seems to me the most ethical mode of consumption which doesn't compromise consumer integrity and freedom is to use YouTube, or pirate, and to make up for lost royalties by directly supporting creators and encouraging creators to cut out the middlemen.
I don't get it. If TSMC has demand, then so could Intel. What am I missing?
We tried that. This is the 3rd incident in a couple of months. We should just let Russia sever all the cables and pipelines in the Baltic? I’m guessing you don’t live here
I almost believed it was a trick to generate labelled data to train AI systems down the line
Unless you don't happen to live within the city center. Train stations frequently have zero long term parking, while airport frequently have cheap or even free long term parking. If you need to take the train where I live, then you're better of driving to the airport and park there. Then take a train or bus to the city center and the train station.

I did like to take the train more often, but travel times are just to slow. I'd need to set aside one day to just leave the country, then maybe I can get another train somewhere in Germany and then I can get pretty much anywhere in Northern Europe in a reasonable time. It's just that train travel in Denmark absolutely suck and is fairly pointless and you almost never travel more than 80-90kph.
Migration from Central Asia is certainly a topic in Russian discourse. Some talk about Uzbeks coming to replace them while "real" Russians die in a war, some extol the virtues of Tajiks who, unlike other lazy Russians, are willing to work in construction for pennies and under inhuman conditions. Frankly, very similar to US talk.
LLM is probably not the right model for AIs strapped to a formal solver. But experience which has been gained with LLMs may help design those maths oriented models.
> I think a fair thing to ask is if the force-directed layout engine is uniquely responsible for the leaf-like structure and this has nothing to do with the Von Neumann ordinals themselves.

> To check this I generated some Collatz trees and they ended up looking like microbes. I think it's safe to say the answer is no.

"Uniquely responsible" seems to be doing too much work. These structures are reminiscent of dendritic fractals coming about from diffusion-limited aggregation in electrochemical deposition[1], which is a transitional phenomenon with a phase diagram (molar concentration of the electrolyte vs voltage) There is a sweet spot in the middle where you get intricate dendritic crystals: outside of that you get smooth layers or big blobs / spikes without much internal structure.

I suspect it is primarily the modeling of the forces which is responsible for the behavior, with the topological structure of the tree somewhat indirectly corresponding to the chemical and electrical parameters. I am by no means an expert but it seems likely to me that these von Neumann dendrites vs the structure of Collatz trees is a fairly shallow relationship: lots of trees with similar graph-theoretic properties to the von Neumann trees would also demonstrate the leaf-like fractals, but with no meaningful relationship to the natural numbers. But it would be interesting to make this more precise.

[1] https://en.wikipedia.org/wiki/Diffusion-limited_aggregation
Similarly, is a stupid rule about the type of fabric of a players pants really the hill to die on enforcement-wise? Discretion is a thing. Jeans has NOTHING to do with playing chess.
A friend had a job installing security equipment and kept Thomas Guides in his car. This is only the second time I’ve seen the name.

I’m so glad to live now, as I used to get very lost before GPS.
s/Europe/Western Europe/
For my money, nothing beats miku-chan03's pull requests. She's most famous for the "fucksy wucksie" PR:

https://www.reddit.com/r/ProgrammerHumor/comments/88dl5c/pro...

However, she has apparently made a lot more, for example:

https://github.com/fairyglade/ly/issues/435

My favorite part is that (although I can't see the code of the closed request to verify) it appears that she is providing actual fixes to actual bugs.
And if you need to catch some connecting trains, forgot about connections that are less than 15 minutes apart.
> But one should abide by the rules one signs up to.

If it's the only competition in town, and the rules are unjust, and the organisation in question considers you #1 chess player in the world… I can hardly imagine better circumstances for civil disobedience.
Show HN: Smol Site – A Free, Single-Page Site Builder with Text-to-Site Feature
> "I want this to be given away free for ideological reasons but you must also pay me" is a moronic position. Pick one or the other, if you want money, just sell the software.

Exactly—it's a position that Matt Mulenweg has now exposed in gory detail as not just a moronic position but an unethical one. You want to get paid? Put it in a contract up front. You want to release Free Software with no extra contracts? Don't expect to get paid—sponsorships are a nice bonus, not something you're entitled to.

The "I should be able to release Free Software for free with no strings attached and also you are morally obligated to pay me" position is inherently an unethical bait and switch. You're only entitled to the compensation that you communicate up front in writing. Red Hat does this right, Canonical does this right, JetBrains does this right.
I'll go one further - operations, marketing, sales, and culture _are_ what makes a successful business. Superior technology is a bonus on top of that.

Superior technology in a company that hasn't figured out how to operate, or market and sell may as well not even exist.
In your scenario we’re clearly already in an open conflict
That's just stretching the meaning of the word "political" so broad that it ceases to have meaning at all. For an act to be political, it needs to engage with the environment with an intention to change or entrench it. If you include in your definition actions that are the result of a certain political climate, you have simply nullified the word.
> So what is important then?

Nothing. Importance and meaning are human constructs. What is important/meaningful to each of us is simply what _feels_ important/meaningful to us. There's no extrinsic measure of importance/meaning, although others will continually try to tell you there is.

It's true though that for many (most?) people relationships feel meaningful, so it's a good bet to do things that build those if you're not sure.
If the well known data structures and algorithms are not provide by your language get a better language.

There are exceptions. If you are implementing the language it is your job to write them. It is useful as a student to implement the basics from scratch. Your language may decide something is not allowed and thus not implement it (a doubly linked list is almost always a bad idea in the real world. Likewise you don't need to provide all the sorting algorithms)
The rules specifically said "dress to impress" and she wore thousand dollar shoes.

Maybe not everyone is impressed by money?
And what about the battery usage? Again apple has own coprocessor to parse this in low energy
That's correct. The company in question here is iwantmyname.com. Must of been thinking about how I just want my domains back when I wrote it :)
Unfortunately all content is being optimized for increasingly brief attention spans and availability / focus.
Copyleft solves this. The problem is permissive licenses that lack copyleft, allowing privatization of codebases.
Both are an option for regular transfers.

What I meant is that in BLIK, phone number gets resolved to a bank account number and a regular (express) transfer gets made, which can be seen in your account history.
A free educational website offering hands-on battery information
Whilst I do like having shows and movies on to the side as I code... it's on the condition they're actually interesting and have good writing. Otherwise I just can't bring myself to be interested.
we’ve all seen the people with the kid glued to youtube and clearly self-navigating. just because there are many people doing this doesn’t mean it’s a good thing.
You kid, but I find myself doing this often for long-form videos on YouTube with Gemini / NotebookLM. Works nicely.
> This is ultimately a kind of meta-programming.

There is connection between advanced type systems and metaprogramming, you don't even need dependent types to reach it, GHC can express, for example, typed symbolic differentiation of compiled terms[1], something that would be of interest to a Lisp programmer. This is not a surprise, System Fω has a copy of simply typed lambda calculus at the type level.

> But the way you get 'proofs' in dependently-typed languages is just by building a tree of function evaluations that demonstrate a given logical inference at compile time, and that disappear (are translated to a unit type) when 'program extraction' is performed on the code.

As someone who works on dependently-typed language, I have no idea what you mean. Programs in most DT languages run directly (Lean, Idris, Adga, etc), code extraction is a Coq thing (and Isabelle, but Isabelle does not use DT). Some languages have type erasure, some don't. Some are explicitely concerned about type erasure (Idris), some don't.

> And in a DT language you would still need runtime checks within your extracted code to ensure that program inputs provided at runtime satisfy the logical conditions that the "proof" part of the program relies on: the need for runtime checking is thus reduced to a bare minimum, but not fully eliminated.

In a typed language you need to parse the input exactly once and construct a typed term. The type system itself will prevent you from constructing an ill-typed term -- that is, the parsing routine itself is typed checked (at compile time). Yes, parsing needs to happen, this is true for any language, not just a DT one, but the act of parsing itself produces a dependently-typed term, there are no additional checks happening on the term while it is being used at runtime. The fact that a parsed term cannot, for example, cause an integer overflow inside your program no matter what is quite a massive guarantee.

[1] https://mail.haskell.org/pipermail/haskell/2004-November/014...
I'm currently in the process of moving away from friends. It's definitely not something I want to do, but I don't have much of a choice due to the lack of tech jobs in the area, the increasingly oppressive culture & laws of a deep red state, and the lack of amenities.

I suspect that the focus should be on making it easier for people to choose to live near friends. Not sure how that would work though.
Anecdote is not data. We have data

https://www.statista.com/statistics/1301730/us-time-spent-ch...
Why wouldn't smart people care about appearances? If the organization and participants desire to present themselves as dignified and worthy of respect, a certain standard of dress is appropriate.

More generally, appearances are important because they are clear signs of attention and care. Something worth our respect is worth dressing up for, and a collective dressing up reinforces the importance and elevation of a given event or moment over other events or moments of lesser import.
It's like a live-action Looney Tunes cartoon
Applying some leeway to the numbers would make this a nicer experience. There are some destinations which are e.g. 3 hours 2 minutes away — they only appear when 4 hours are selected, but it would make more sense to show them in the 3h bucket.
The fake requests problem has been solved, atleast partly.

I added a simple CORS check that makes sure the request is coming from the same domain as the request itself is saying it's coming from. Also added rate-limiting.
Zig — here's the choice matrix:

- You need strong performance, your choices are:

* C: nope, unless it's super simple library-type code, must integrate as easily as possible with everything C compatible

* C++: unless you have ecosystem lock-in, avoid this mess, stuck in an evolutionary rut where they can't undo bad decisions and keep adding more complexity (mostly good stuff, but total complexity too high)

* Zig: better than C & fully compatible with it

* Rust: ecosystem tailwinds, bit better safety than Zig, steeper learning curve and uglier code

* Go: ok but GC probably means not the best perf

* Java: JIT means it can handily beat non-painstakingly hand-optimized C code in some particular cases (requires a lot of wisdom to choose this for perf)

* something that will incur a lot of pain in some other way like Fortran, Forth or Ada

- You need to export to C code (all of the above have options to import from C code with C/C++/Zig being the easy choices)

* C: ez

* Zig/C++: harder but still ez, need to write some wrappers when using features nont in C

All in all, for new system or high-perf work with no ecosystem tie in, it's probably a battle between Rust and Zig. I think I'd use Zig on aesthetic grounds — find it less painful to use than Rust, and I'm not too worried about missing on the extra safety. The converse decisions seems reasonable too.
For God's sake, no pictures of the shoes in that article, just a link to a long ass video where she allegedly holds them up. Im not watching a 20 minute video to see shoes.

At least the Daily Fail has pictures - https://www.dailymail.co.uk/news/article-12908497/Chess-kaza...
So, what was the political motivation of Pliny the Elder to document the Vesuvian eruption that destroyed Pompeii, as opposed to e.g. the numerous eruptions of Krakatoa?
Flee the country. Of course those with the money or connections to make that possible have already done so.
Things in tech I found joy in the last few years: .
One of the reasons why Nvidia managed to get ahead was that they managed to get a new chip out every 6 months without fail, so there was always a new Nvidia card to upgrade to.
Yep the job market isn’t going to get any better.
Most transit systems tend to optimize getting to the city center. Getting to the airport is usually harder.
Not Doug Trumbull, it was John Whitney Jr and Gary Demos at Information International Inc (Triple-I) who did the Westworld “android vision” effect.

https://web.archive.org/web/20120717074134/http://www.beanbl...
My God, that model is utterly beautiful.
Clearly you haven't seen House!
Perhaps because those go on autopilot most of the time?
Have you ever looked at how useless Chuck Moore's stuff is? Like, the chip designs are of the type “384 independent Forth chips with tiny amounts of RAM and mediocre interconnects, and if you want to actually do anything with them, you'll need to use 128 of them to program your own DDR3 controller”. Or, he demonstrates how awesome Forth is by showing that you can do “the guts of a disk driver” in five lines, except that it's the dog-slow PIO mode.

It turns out that if you can just change the problem statement, then sure, you can write very simple things. But if you have a real problem to solve (and you can't just say “no, I want to solve a simpler problem”), the Chuck Moore way of thinking doesn't really produce, well, good solutions. It simply doesn't scale to anything large, and not everything can be made small.

https://yosefk.com/blog/my-history-with-forth-stack-machines... (2010) is a fairly interesting experience from someone on the outside trying to work in the same way. It… didn't work that well.
Select a start city/station. The heat map is destinations within the selected duration.

If you pick Paris, most major cities in Western Europe are within 8 hours.

Pick Madrid, far fewer destinations are marked.
They’d made a fool out of themselves by disallowing jeans
Especially when others are wearing chinos that look like jeans.

Discretion should be a thing.

This being a thing at all certainly proves Magnus’ point. Its not 1970.
The US is not anywhere close to replacing the outputs of Taiwan. The US will be dependent on Taiwan chips for a long time.
This is such a brain dead solution to a problem that shouldn't exist. Why push for digitization?
Consafe was who I was thinking of.
Only 5 seconds into the video they show plate amor in the year 1236. This is a disappointing start, I kinda like the rest, though. They have a wide reach and Alhambra is a good example to present a fascinating topic to a wide audience. It would have been great, though, to give more historical context.

Water management systems in the middle ages in general were incredible sophisticated and widespread. Hydropower was in use for basically everything. There are dozens of examples of castle wells more than a hundred meters deep, all cities in the late middle ages had systems of wells and channels, often cooperatively organized. Impressive examples include the water supply for breweries in Lübeck, the Stiftsarmstollen in Salzburg or the Wasserkunst of Augsburg.
I watch a lot of films and series (mainly SciFi) at home and I find that when I start to get bored is when I'll pick up my phone and half-watch the TV. It's one sign of a great show that I'll be paying it 100% attention and not mucking around with a phone.
This has been very entertaining. All that good will he has tried to build up with MAGA base gone in 2 days.
If we ignore 'buggy' part I think you projecting current good state back into not so good old times. I am pretty sure you will not replace radix sort that uses domain knowledge of reduced value range with qsort circa C++98.

Things became much better after relatively recent improvements in generalist sorting libraries: when pattern defeating quick sort variants became norm, when mostly sorted cases got covered ...

Tbh I do have a case from 2013-16 when I regret not doing it for one AAA project on ps4.
Ok, now I remember what was the deal with Hotspot. It makes it possible to work with a flamegraph of mine. However, it takes almost half a minute to load my perf.data. However! I totally recommend Hotspot over my hack in case when you need to have a comprehensive view of the data. In particular, I love to see the off-CPU load, which my FlameGraphViewer doesn't show.
For context, this comes in reply to the cohost complaining that a lot of talented young players quit chess to pursue a college education. Caruana is basically replying that it’s a bit strange to regret people choosing to stop playing a board game to go do things with potentially broader impact instead.
I agree with you in a way.

Chess to me is boring because the better player should win/draw unless they blunder. And we (generally) know who the better player is because of ratings.

I’ve always much preferred games that in the short run have a luck component that can create massive swings (poker, backgammon, Scrabble) and inequality.
Privatisation was a mistake - it’s only gone downhill since they are able to make profit and cut costs.

We need to get essential services such as public transport back under state control or the quality will continue to deteriorate
Sylvester Stallone thought the same about Judge Dredd. That was such a great movie because of the decision.

https://www.rogerebert.com/reviews/judge-dredd-1995
TSMC makes nvidia GPUs and iPhone chips among other things, intel doesn't
The missing bit is "TSMC makes better chips than Intel" and thus they have higher demand.
Well, that's a very self-defeatist attitude. I can see how it can make someone sad.
I wonder how the economics will end up – sure, American fabs won't have cutting-edge processes, but in the end there's a stable market for older processes that are critical to industrial capability (e.g. automotive and sensing, high-reliability processors, etc.) One node behind still remains very good value without the visicssitudes of relying on the unstable market for leading-edge products.