skysight-inc/HackerNews huggingface dataset:
Does typst support the standard Tex math notation? I understand that a lot of effort went into doing math different - and probably better - than Tex, but I'm just very used to the Tex notation.
While it's important to steer clear of political debates, it's also crucial to acknowledge that the European Union, like any other political entity, has its strengths and weaknesses.
When polling is done asking about just one optoin, about 60% support going to permanent standard time instead of switching, and 60% support going to permanent daylight time instead of switching.

So there is a non-trivial number who support just stopping the switch and going to either time zone, but it's not a majority for either option.

So we're back to where we were -- almost everyone wants to stop switching, but there is not any agreement as to which way to stay. Both non-switching options have equal support.
Time for Earth Time – James Gleick
The root of the problem here is that ads by their nature have gone from making consumers aware of offerings to creating demand. When ads that create demand are targeted at users they are by their very nature predatory. Technology is just a red herring here. The real problem is the weaponization of advertising as a means to create demand for a product that a rational person in another context would not want.
Being an Empire guarantees cancer sooner or later
AI images look fine, it’s always some elitists on HN complaining about X Y or Z and then ignoring the content

Waaahhh why isn’t your website just html in times new roman, babies
https://www.antipope.org/charlie/blog-static/fiction/toast/t... - We can make it happen, just need a bit of genetic engineering and we will never be short of coffee again.

The link above is to a story called "Extracts from the Club Diary" by Charles Stross in his collection Toast.

https://www.antipope.org/charlie/blog-static/fiction/toast/t... - the collection in various formats.
Holy hell, I can't believe NationStates is still kicking, or that Firefox has managed to hold onto my login details for 20 years. Truly a more innocent age that we'll never be able to return to.
On slop [Thread]
The US cannot support it's military projection without allies. If every US base has to be ran as 'fortress USA' the budget will break. Even just losing a few strategically located bases will greatly increase the cost of power projection.

All Europe has to do is stop all local support for US bases and force all resupply to be done via the US military and the bases existing infra, not via ANY civilian infrastructure (no civilian airports, no civilian trucking, no civilian shipping). That's just one pain point in the USAs soft underbelly that we didn't have to worry about before because we had allies.
AKA The Monty Hall Rewrite https://alexsexton.com/blog/2014/11/the-monty-hall-rewrite
Ripgrep should be included in all distros by default.
The best day to stop smoking was yesterday, but stopping today is the second best.

The consequences of addiction are huge, and the longer you stay addicted the worse it gets.
The fact that it demands violence off men. As my very next sentence states.

Demanding that a 'masculine man' is capable of violence is making men ... more violent. Men being too violent is a decently big societal problem. Hence, the idea that men should be able to defend themselves (and others) is harming society.
Ok, but "had some authors who wouldn't pass a 2025 purity test" is moving the goalposts quite a lot from "never published anything that wasn't by a White man, about a White man".

Le Guin, while a great author, was 12 when the first Susan Calvin story was published, and wouldn't be published herself until 18 years later. So she wasn't exactly being overlooked at the time.

And if you really insist on some identity politics in your science fiction, you'd do well to remember that in 1941 Asimov wasn't a White man. He was Jewish, which while not as bad as being Black had some very real consequences in 1940s America, not least being subject to a university admissions quota.
So they want to tax everybody more to give tax cuts to the rich. Problem is, the poor don't have that much money, so you can't get that much from them to help out. Even if you want them to die in the streets, they just don't have a whole lot to give.

And tariffs don't apply to in-country purchases. So I guess they'll realize that a VAT is preferred to a tariff?
> Sure but, in theory at least, who says you need the official mechanism to be hereditary? An institution could define that however it wanted, and if it works then it works.

The thing is, regular autocracy has to destroy the institutions of power transfer. If there's a presumptive successor, then the autocrat can never feel secure in their power. So hereditary transfer is the only model that is at least tolerable for autocrats.

But building the institutions of power transfer requires people who are invested in them. So you need feudal lords who derive their power and wealth from their relation with the monarch. These feudal lords _themselves_ are interested in power transfer to make sure their heirs can be secure.

That's why, historically, elected kings turned into hereditary kings with only one exception, Vatican (for obvious reasons).

> Officially though?

Yes, they have laws that make it hard to pursue labor violations in court and the penalties are basically nothing ( https://www.migrant-rights.org/2024/02/saudi-arabia-reduces-... ).
1. "QEMU tutorial debugging": https://cloudinit.readthedocs.io/en/latest/tutorial/qemu-deb... (cloudinit.readthedocs.io/en/latest/tutorial/qemu-debugging.html)

2. "SMBIOS Reference Specification": https://www.dmtf.org/standards/smbios

3. "QEMU User Documentation": https://www.qemu.org/docs/master/system/qemu-manpage.html

4. See also: https://old.reddit.com/r/MotoG/comments/1iie8t5/motorola_mot... (old.reddit.com/r/MotoG/comments/1iie8t5/motorola_moto_g_play_2024_smartphone_android_14/mgrml5v/)

5. "cloud-init script for VPS": https://gist.github.com/NatElkins/20880368b797470f3bc6926e35... (gist.github.com/NatElkins/20880368b797470f3bc6926e3563cb26)
Sort of off-topic but in chapter 0x02 it mentions:

> I'd recommend PuTTY. It's used less often these days but previously was a popular way to use SSH (Secure Shell) functionality on windows.

What are people using besides PuTTY?
I have a copy of the original cognitive radar papers. You can find most of them, the real work is doing a real world implementation.

I’m not aware of any computer science breakthroughs required for the f35.
The problem isn't marketing or FOMO. The problem is the average person barely understands what you just said, and we can't expect them all to become domain experts, especially when many people lack the fundamental research skills and experience needed to intuitively grok these technologies.

We have to use our intelligence and expertise to make applications which take care of users and their privacy, without them needing to suddenly become overnight computer experts. Most of the tooling I see today has (understandably) massive UX issues and is largely relegated to at least the mildly technical.

We need new and open Facebooks, TikToks, calendars, operating systems, etc. which protect and empower people but don't complicate their lives and stress them out, which leads to security and privacy fatigue. Even my current operating system, macOS, is so intensely user-hostile and obfuscated off the happy path, despite being heralded as a champion of human-oriented design.

We need a modern GNU-like organization but focused on building the social/web tooling that most people today are using.
You are welcome! I also called the help hotline when I was stuck at Simon the Sorcerer :) Good and innocent times.
Damn for a moment I thought this was about Marko (the frontend framework by Ebay).

https://markojs.com/

They've been teasing v6 for years now.
No, it's not a choice we made as a society. It was a choice the shareholders made. You didn't make that choice, you were not part of it.
I recently got selected to take a survey on changes they are rolling out. I took the survey on a lark.

They are turning it into Digg. Giant ads after the first result of every content listing page pushing most results far below the fold.

Its going to cause a mass exodus.
Countries do have choices and many did choose the us as security provider. Some thirld world countries recently switched away from russia and/or started to built versions of their own design of previously in license produced weaponry. Examplw: India
Just look at history then
Nickel itself isn't interesting. Any new material is interesting. Yet another YbCo-whatever wouldn't tell you as much as an entirely new metal. It would be just as interesting if it was titanium or vanadium or lithium or any other metal that hasn't ever been found in a superconductor before.
Did Google just brick the 2nd gen Chromecast?
Hmm, Okay.

I am not sure if managing kafka connect cluster in too expensive in long term. This solution might work for you based on your needs. I would suggest to look for alternatives.
What's the real difference?

I know the US get to have elections but its always between family dynasties, billionaires or corporate stooges. The choice is an illusion.

Lets cut out the middleman and know we're working with a different system for societal structure rather than one that pretends otherwise.
Math wise, yes, you're correct, but layoffs can also hurt morale, especially if not done well. And in a competitive environment, the most talented people might be next to leave after a layoff, as they see things aren't going well and have the easiest time finding alternatives. I've seen that happen myself.

And some of those people you're laying off did revenue generating activities, so, as above, yes, it may be necessary to reduce costs, but it has to be done carefully.
I run coding interviews at BIGCO. Half of the candidate success relies on the skills of the interviewer. A bad interviewer can bomb the best candidates.

Something I have changed my stance on a bit is automated coding interviews. I used to be adamantly against a company giving candidates automated code tests, but I see now that it takes the interviewer out of the equation.
But this is not easy, it's the real challenge here as there are lots of text-to-audio models out there. It is far from solved for Stable Diffusion as well. ControlNet is pretty bad. Just try taking the photo of an empty room and asking an image model to add furniture. Or to change a wall colour. Or to style an existing photo as per the style of another and so on. We are very far from being able to truly control the output generated by the AI models, which is something that a DAW excels at. I'd start with an AI-powered DAW rather than text-to-audio and try to add controls to it. It's like Cursor vs Lovable if you get my drift.
ARM Holdings is British. Anyone making ARM cores (Apple, Qualcomm, Amazon’s Graviton…) is paying licensing fees to a British company.

Arm even tried to cancel Qualcomm’s licensing agreement back in the fall. Using RISC V entirely circumvents not only royalty payments, but legal battles like that (frivolous or not).
This subthread is nonsense. As a retail investor, HFT is good for you and lowers your prices. They have a bad reputation because of the book Flash Boys… but basically nothing in that book was true.
you didn't state what the actual problem is...
That's not what Gavin Newsom said. What he actually told Charlie Kirk is that it isn't fair for women to have to compete against biological males. You can disagree with him but don't misrepresent his position.

https://www.iheart.com/podcast/1119-this-is-gavin-newsom-268...
It was literally in an official gov directive this week, to remove any requirements from government contractors that they not be segregated. so now a government contractors can be segregated if they desire.
Giving Ukraine all the weapons it needed and asked for, instead of destroying them soon, would be a good start. Also, you know, not forbidding Ukraine to use its long-range drones to damage Russia's oil industry would also be helpful. This is to get started. I can continue.
That's one option. Another option is to reject that either major party offers a sane choice and vote for a third party.
Why? They can buy subs from France who was the other option when Australia was last shopping around.
I'm all in for RISC-V, but ARM Holdings is British (and owned by the Japanese SoftBank group). ASML is in the The Netherlands. And there are some European ARM CPU vendors (NXP, ST Microelectronics, etc.). So Europe could also standardize on ARM without sovereignty issues?
Because it's usually only true in your early 20s. Then you find a place and stay. These people bragging about company hopping every 3 or 4 years don't do that for 20 years.
N=1 studies aren’t evil. They’re just pretty close to the entire history of pre-modern medicine that led us to bad evidence. My concern here is not that someone is sharing their opinions, it’s the fact that the person doing this explicitly heaps derision on the “placebo people” (or some other phrasing) and then heaps praise on other people doing N=1 studies and proceeds to do one. This stuff all needs to be treated with humor, good faith, and then extreme skepticism about any result it produces.
GitHub search is pretty unreliable from my experience. Search results are limited to 1000 items, and you never know if the index you’re searching against is up to date — unless a file has been opened recently in GitHub web UI there is a significant and unpredictable delay between a commit and the indexing.

So far I’ve been very happy with Livegrep, we are using it to search across ~10k repos, the index is rebuilt once an hour with a simple cron job. Searching is insanely fast, it’s using very little resources, just a simple computer engine instance. The main downside is the lack of multiline search, but so far that hasn’t been too much of a problem.
Towards a Scaling Law for Recommender Systems
Unlikely. Nuclear independence threatens US hegemony. It won’t be allowed to happen. The US wants Europe stronger, not independent.
Agreed. This is amazing. Really awesome aha moment when you realize what’s going on.

I’m going to start reading physical books again.

Thank you.
And sadly the Dems were all too willing to consolidate this power in the Executive because of expediency.
Not for the faint of heart but look at figure 3 of the original paper:
* https://www.nature.com/articles/s41467-025-56461-1

Amazing!
It's easy to deploy. A lot works out of the box without having to install any 3rd party libraries (PDO database access, CURL, file and directory management, session management etc.) And for most tasks it is fast enough.
People in the Symfony camp want less magic. There is also a lot of activity around Tempest.
Not a rust zealot, but
https://github.com/firecracker-microvm/firecracker/tree/main...
comes to mind.
Disabling Starlink in Ukraine under Polish contracts might result in EU wide ban. That would be quite significant hit to musk bottom line.
Concerns regarding Gaza mortality estimates (2024)
Drain Russia in the war. Make them pay for every day they are invading. Make them pay in human lives, make them pay in losy industrial output. Make them pay in economic welfare. Not just on Ukrainian soil.

If at all possible, take back any Ukrainian territory. Reduce whatever gain they got from this invasion. But even if the current line stands, the more Russia can be made to bleed, the less it will think that war can be a net postive for them.
How does this work, though? Every company I've worked for has an HR system, and resumes flow through it, and there's a set process. If I have worked with a candidate in the past and highly recommend them, all I can do is submit their resume into the great void and check a box "Recommend". I don't have any other power. There is no "Skip the interview, I vouch for him!" button that I can push.
What?! Did they respond to the leak?
If the original thing is improved by being written in Rust as everyone proclaims, then this would be a good thing. However, I have doubts that the years upon years of updates fixing odd behavior, and then forgotten about the whys&hows of those updates that the same issues will not be introduced in the Rust version.
They fired all the mods and sales reps, so the company no longer makes money because it can't sell ads.

They mostly haven't added new features either, just turned on some flags for features in testing.
Their pie shrunk, because they have nothing of value to offer. And instead of buckling down and figuring out how to provide value and making things better for themselves, they have decided to ruin everything for everyone (themselves included!) Coal mining is dying, and it isn’t coming back, not because of some liberal agenda, but because renewable energy is a better business model. Car manufacturing has been automated and/or shipped overseas, because no one wants pay a premium for a shitty car, just because it was made by Americans.

But, instead of focusing on spinning up solar panel production factories or cutting edge automation in automobile manufacturing or funding world class universities to reskill people in things the modern world needs, they’d rather double down on their protectionist agenda while blaming the liberals, despite it being 100% their own fault. Fucking over the liberals might make them feel smug, but the conservative position is worse, because now there isn’t the remote possibility that they can get government funding for all these “socialist agenda items”, never mind that it would actually help them.

I’m not saying you’re defending their position, but I am saying that they need to get over themselves, because that’s the only way things get better for them. And don’t get me wrong, I’m not saying things don’t suck for them. I’m sorry for them that life is hard, and things change. It would certainly be nice if we could just do the things we’re used to and like forever without needing to adapt. But shit changes, and being mean to trans people or whatever just isn’t going to make their lives better, it’s only going to make every one else’s worse too. We rely on each other. We have no choice not to. So instead of being antisocial, they need to grow up and join the rest of us in the society we’re trying to have.
Aider doesn't run in your editor. Undo in editor won't undo Aider's changes.
No they would learn standard arabic as everyone understands and can speak to some extent.
The second item has been trotted out for roughly two decades as an excuse for why router companies block open source firmwares.

In those two decades there's been no evidence the FCC or other regulatory bodies follow that theory, and no evidence that open source firmware causes "misbehavior."

Please stop talking about it like it's an issue. It isn't.
Dont forget the first and second chechenya wars.
How can it be harmful?

"I want everyone to call me ABC123!"

"No, will you ever knock it off Bob"

The majority of people outside the coastal tech bubble would simply tell anyone making this kind of demand to catch themselves on. There's not enough of the community reining in this kind of hubristic nonsense.
You can do that in every ORM including the infamous hibernate.
MS Excel has IF(this, then, else), AND(expr, expr, ...), OR(expr, expr, ...) and more recently LAMBDA.
And so do I (except in my case they're running on a GPU server in my garage), so I'm not saying they are. I mean the teams behind the LLMs, not the LLMs themselves. That's what the investment really goes into (+capex/opex, of course; without it those teams can't really do anything). The current versions LLMs will be outdated within 6 months, their value is fleeting.
The US is extremely chaotic and unpredictable. China is fairly stable and predictable.
No, it is a variation of exposing hypocrites.
Love this. It’s the Zen TV Experiment for the 21st Century. https://adam.nz/zen-tv-experiment
The more fundamental question is: If mass layoffs are so necessary, then who’s responsible for the unnecessary mass hiring? In any mass layoff, fire that person first. Get to the root of the problem.
Don't forget school lunch programs were pushed by the military in the 1946 National School Lunch Act (America's Great Age to MAGA) to improve the fitness of potential recruits. Programs the Republicans now attack as 'woke' nonsense.
... and nearly all European corporations run US-made operating systems on some of their machines, many of which are critically important.

A real untangling of the US and European economies seem both impractical and really inefficient.
Shooting an unidentified outline in your bedroom door in the middle of the night is a great way to kill a loved one.
> You'll notice I said hate Americans, and not hate Sally, or Bobby, or Jane

I don't even know what this means. What does it mean to hate Americans if you don't hate, you know, Americans, like Sally or Bobby or Jane? What exactly are you hating?

You don't hate Americans, you hate Trump and his cabal. You hate the people who voted for him. Good for you. Do you also hate the Americans who voted against Trump because of the ones who voted for him? If yes, then that's absolutely bigotry. If no, then you could just as rationally say you love Americans, because, I mean, look at all the Americans who opposed Trump?

You say you don't hate Sally or Bobby or Jane, but that's exactly what you do when you hate Americans.

> That's still anti-russian, no?

No. That's anti-fascist, or anti-authoritarian, or anti-belligerent, or anti-whatever it is about their support that you don't like. That's judging them as individuals because of what they as individuals think. Disliking them just because they're Russion, regardless of that they think about Putin's government, that would be bigotry.
My favorite blind spot is how our definitions of quality change over time. I knew someone who had a mature codebase which a new developer made substantially faster by removing his old optimizations. He’d measured very real improvements back when he made that hand-rolled assembly code on early Pentium generations but by the time we revisited it less than a decade later the combination of compiler and processor improvements meant that the C reference implementation was always faster. (I was assisting with the port to PowerPC and at first we thought that it was just XLC being especially good there, but then we tested it on x86 with GCC and found the same result)

Beyond the obvious lesson about experience and sunk costs it was also a great lesson about how much time you assume you have for maintenance: when he’d first written that code as a grad student he’d been obsessed with performance since that was a bottleneck for getting his papers out but as his career progressed he spent time on other things, and since it wasn’t broken he hadn’t really revisited it because he “knew” where it was slow. Over time the computer costs eventually outweighed that original savings.
Let's add a "read comment" button to HN to make this discussion easier.
Job hopping is done to maximize your salary in the least amount of time - but everyone knows that there's a ceiling. You can't just keep job hopping for the rest of your career, and magically end up making 25% more every time you hop to the next gig.

Sooner or later you'll start to reach a ceiling, and have to defend your salary more. The idea is that if you can end up hitting that ceiling in 10 years by job hopping, that's better than spending 25 years at one place to hit the same figure. The earlier you have maximized your salary, the more you can invest and hopefully retire earlier.

Now, once you hit that ceiling - it kind of sucks to be in a constant state of job hopping. You actually don't get rewarded, and it is more stress than anything. And the older you get, the more stability you'll value - after all, you probably have a mortgage, kids, and all that to account for.