skysight-inc/HackerNews huggingface dataset:
It depends.

In Russia? Worse in terms of popular participation in the decisional process, but it still works because the majority of people believe (rightly or not) that their interests are protected by Putin. So for all they care, as long as Putin does his job right, it is for all purposes a democracy in its true meaning. Much unlike us, where most of the electorate feels that governments work against their interests and the quality of life stagnates or worsens, life conditions in Russia have improved greatly since the fall of the USSR.

In China? I'd say they have it better than us. Anyone can join the CPC/government and work their way up the decisional apparatus based on an actually meritocratic process, anyone can participate in administrative decisions through consultations. It's what they call "whole-process people's democracy". Do some research on this if you haven't, you'll find out that Chinese people are much more involved in the decisional process at all its stages than we are.

I'll tell you the truth, I sincerely believe that the only true marker of democracy is for the conditions of the people to keep improving constantly, even for the poorest. That is the realization of the power of the people, the only way in which their interests are actively pursued.

Everything else is just fluff that we added on top to make the term better fit us and exclude our adversaries. Democracy can be direct, representative, authoritarian, it doesn't matter so much to me as long as it makes our lives better.
The R1 GitHub repo is way more exciting than I had thought.

They aren't only open sourcing R1 as an advanced reasoning model. They are also introducing a pipeline to "teach" existing models how to reason and align with human preferences. [2] On top of that, they fine-tuned Llama and Qwen models that use this pipeline; and they are also open sourcing the fine-tuned models. [3]

This is *three separate announcements* bundled as one. There's a lot to digest here. Are there any AI practitioners, who could share more about these announcements?

[2] We introduce our pipeline to develop DeepSeek-R1. The pipeline incorporates two RL stages aimed at discovering improved reasoning patterns and aligning with human preferences, as well as two SFT stages that serve as the seed for the model's reasoning and non-reasoning capabilities. We believe the pipeline will benefit the industry by creating better models.

[3] Using the reasoning data generated by DeepSeek-R1, we fine-tuned several dense models that are widely used in the research community. The evaluation results demonstrate that the distilled smaller dense models perform exceptionally well on benchmarks. We open-source distilled 1.5B, 7B, 8B, 14B, 32B, and 70B checkpoints based on Qwen2.5 and Llama3 series to the community.
It was panned when it came out (and still inspires downvoting?? not exactly an objective convo here folks) but since then FWWM has gained tons more appreciation.

Family sexual abuse survivors in particular have lauded the movie. It's really DL's most serious treatment of an issue (but makes it harder to watch too).
Great, a public bug tracker!


If seriously, can someone explain to me the difference in attitude towards systemd and linux kernel? Almost all arguments against systemd stay valid, when applied to linux kernel, but I don't recall people campaining for decades to delete Linus and replace linux with Hurd or Minix3.

Is it a political thing? A cultural thing?
Mistral is mostly a cheap copy of LLaMA
Show HN: LLM Writing Feedback Tool
I wrote this simple rust program to watch a file and give me feedback as I work on it. It’s been really nice and helpful for me so far, so hopefully others can get value from it also.

I also posted a brief writeup about it here: https://evanverma.com/writing-with-claude-watching-my-every-...
While clearing out an old tub of ice cream I noticed that industrial ice cream doesn't melt in the same way as 'real' ice cream. It holds its shape well beyond what you'd expect. Left at room temperature real ice cream puddles, industrial ice cream slumps. There's emulsifiers and stabilizers that keep the consistency for a larger range of temperatures, so that's it's soft to scoop at -18C whereas real ice cream is as hard as concrete. The ingredients list includes things such as whey powder rather than milk. Like so many ultra processed foods it's just cheap powdered ultra processed ingredients held together and flavoured by additives.
I just pushed the distilled Qwen 7B version to Ollama if anyone else here wants to try it locally: https://ollama.com/tripplyons/r1-distill-qwen-7b
I think there are a few conventions for expressing sig digits.

Where I was taught…

2600 has 2 sd

2600. Has 4 sd

2.6e3 has 2sd

2.60e3 has 3 sd

Edit. If I had been in charge of setting sd rules, I would’ve said …

2600 has 4 sd

260? Has 3 sd

26?? Has 2 sd

The fact zeros are overloaded (they can be placeholders or they can actually mean 0) is confusing to students.
Do any languages specify package requirements in import / include statements?
When coding small programs in python, js, java, C++ it often feels to me that the dependency requirements list in pyproject.toml, requirements.json, maven.xml, CMakeLists.txt, contains information that is redundant to the import or include statements at the top of each file.

It seems to me that a reasonable design decision, especially for a scripting language like python, would be to allow specification of versions in the import statement (as pipreqs does) and then have a standard installation process download and install requirements based on those versioned import statements.

I realize there would be downsides to this idea. For example, you have to figure out what happens if different versions of a requrement are specified in different files of the same package (in a sense, the concept of "package" starts to weaken or break down in a case like that). But in some cases, e.g. a single-file python script, it seems like it would be great.

So, are there any languages whose standard installer / dependency resolvers download dependencies based on the import or include statements?

Has anyone hacked or extended python / setuptools to work this way?
> The reality for most graduates is even grimmer:

> • £25,000 starting salaries at traditional engineering firms

> • Exodus to consulting or finance just because it's compensated better

This is _exactly_ my career so far.

The key thing about the British economy is that while most things operate in a free market, construction is centrally planned by councillors who are incentivised to block most development. So the whole economy is struggling, but industries that need physical space are especially hard hit. Your local council can't block you from writing more code, but can stop you from building lab space near where people want to live and work.

My first job out of uni was in a wonderful small engineering firm in Cambridge. Lab space there is eye-wateringly expensive because it's illegal to build enough, so we were based in a makeshift lab in an attic next to the sewage works. I loved working there, but it shows that we're restricting our small businesses unnecessarily through our planning system.

The solution is frustratingly simple, but politically suicidal for any government that tried to implement it: just legalise development subject to basic design codes. I hope we see some planning reform before it's too late for our struggling innovation industries.
There's anecdotal evidence that something funky is going on in the background. More so than usual.

A handful of very prominent creators critical of the US (or other) governments have had their accounts just disappear. The algorithm is also showing decidedly different type of content.
Well for a long time Colleges artificially took away calculators as they are great cheating tools so I guess that was true
I got some good code recommendations out of it. I usually give the same question to a few models and see what they say; they differ enough to be useful, and then I end up combining the different suggestions with my own to synthesize the best possible (by my personal metric, of course) code.
Deepseek can run on Huawei Ascend chips already and Nvidia pretended respecting the restrictions with the H800 (and was never punished for that)
With any language, you can (which isn't my point). The point is which one is the easiest and its with anything in proximity of the whole JavaScript ecosystem including TypeScript.

It really says a lot about how immature it is especially for backend and just by even hearing the complaints about TypeScript 'enums' tells me all I need to know.

So what other foot-guns have the JS / TS ecosystem have hidden?
Microsoft's Hyperlight WebAssembly for VMs Is Open Source
In fairness to GP, the post argued for this, rather than declaring it as a fallacy.
Ah thank you! Replies are not visible without a Twitter account so I didn't see that.

Seems like an absolutely terrible idea.
To be clear "they" (who can reject a person) is the recipient of the pardon, not the court.

https://en.m.wikipedia.org/wiki/Burdick_v._United_States

But that's not the relevant part of Burdock for this thread.

The relevant part is that an (accepted!) pardon does apply before indictment.
Presumably it's so you see the nice destination URL, and not the link tracking URL.
They are perfect markers only as long as you can see them. Clouds and fog are your enemies here
I think you misunderstood. The video is using ffmpeg. I was talking about RAW from a camera which my imagemagick delegates to ufraw. But running ldd on my copy of chafa I see it now links to a ton of graphic libs directly.
I use it at https://chat.deepseek.com/ . It’s free but requires a log-in. Now, when I hover over the “DeepThink” button below the prompt field, a pop-up appears saying “Use DeepSeek-R1 to solve reasoning problems.”
Have you driven a German car ever?

They are SO LOUD if you don't service them at regular intervals. They're even doing fancy tricks to make sure you're not faking the service.
Pixelmator was a wildly successful Photoshop competitor.

Their company was successful too; Apple recently purchased them.

The speculation is that Apple will now compete with Adobe’s subscriptionware.
Your first paragraph disagrees with the article and the second paragraph essentially restates it.

Just because it didn’t become SMS or reach Facebook scale doesn’t mean he was wrong.

The way nearly all sizable organizations think about public communication includes Twitter and it’s the de facto support channel for several industries.
This comment is always made in every single systemd thread, and it is and always was a false dichotomy.
This is why more competition like System76 is important in Linux space. GNOME is pretty much a corporate controlled GUI. It sucks so much if you want to do anything advanced or productive (I use GNOME by the way). That is why I am excited for projects like COSMIC, Nix etc.

Edit: My point is not that systemd is bad. I personally haven't had any issues with systemd. I would just like more competition to companies like RedHat so they don't end up controlling our computing like Microsoft and Google did.
I think slight variations of that happens everywhere. Chinese companies have legally required CCP connections, which sounds ominous, but American companies of substantial scale will have ex-government employees, resources allocated for lobbying, and connections to senators. The difference is whether it's codified and imposed or implicitly required for survival.

(not that I support CCP, the requirement do sound ominous to me)
I've also been told learning too much about linux or the nuclear reactions in power plants or bombs puts you on a list. I just assume I'm on several.
But it is pretty linear, so blacker is better, and the darker the black is the darker the white can go while still maintaining contrast, right?
No more big government handouts.
> all computing to slowly become remote

If it will happen it will be probably championed because of security and law enforcement: automatic virus prevention, parental care, OS upgrades, content scans, piracy prevention, etc.

Phones are more or less already there right now.
mistral probably would
The intent is clear, yes. But given how well-known this problem is by now, I would expect a company of the size of Google to have a practical solution to combat this sort of scam, e.g. requiring that the vanity URL points to page containing a specific advertiser ID in the HTML source, or that the canonical URL of the URL with tracking parameters points to the vanity URL, etc...

There's so many solutions to this problem that allow vanity URLs to continue to work. Google just doesn't care.
o1 is impressive, I tried feeding it some of the trickier problems I have solved
(that involved nontrivial algorithmic challenges) over the past few months, and it managed to solve all of them, and usually came up with slightly different solutions than I did, which was great.

However what I've found odd was the way it formulated the solution was in excessively dry and obtuse mathematical language, like something you'd publish in an academic paper.

Once I managed to follow along its reasoning, I understood what it came up with could essentially be explain in 2 sentences of plain english.

On the other hand, o1 is amazing at coding, being able to turn an A4 sheet full of dozens of separate requirements into an actual working application.
You can get 100% coverage by focusing on testing the public API too. These two things are completely orthogonal.
Apple is accountable for everything users do with their devices? Seriously?

This attitude is exactly why we (hobbyists, security researchers etc.) can’t have nice things, and of course actual criminals still can.
Oddball things lead to oddball opinions. Like: you have to go to the monstrous effort of repeating nineteen spaces into the next line again and again to achieve this aligned appearance, therefore it looks ugly.
The Linux kernel is much stricter about hacky patches and regressions. This has led to beef between the kernel and system developers in the past. The famous "I'm f*cking tired of your code" was directed at a systemd developer.

While searching through the systemd issues, i noticed various form of that issue (systemd spamming logs) still persist. And Lennart doing their "you are holding it wrong"... nothing has changed since Linus' rant.
You're definitely on the list of people worried about being on lists now.
I've been shifting a little more into C++ after decades of C. It takes longer to compile, but I find that a lot of the tedious stuff that I'm doing with C (function pointer structures, etc) is handled automatically in C++, and I kind of like the RAII pattern.

Also, I enjoy embedding Lua in projects for extensibility, so this guy is really pulling my heart strings. :-)
You will likely raise a flag somewhere if you publicise what you are doing, but I highly doubt there would be any issues if you're working on this in private as a hobby.

As for chemicals, I can personally vouch that it is a terrible idea to order reagents (or even chemistry equipment) as an individual. I tried to teach myself organic synthesis in the summer before starting my doctoral studies, and ended up with MIB searching my house. Certainly on a list now :(
Absolutely true. As a counterpoint, we had Bash scripts for years in production, and never had any problems, either.
Yes! It's in contrast to gimbaled systems. Putting the measuring instrument on a gimbal simplifies the math and often improves accuracy, but at the expense that you need this large moving object that needs more power.
Well… marketing and web development are often at war with one another inside individual organizations.

And the person running the ads almost never has domain-verification authority.

So Google doesn’t want to introduce a major barrier to accept money. I think that makes sense without being malicious.
No, because reading is more healthy than mindlessly watching short videos. There is only so much content on the front page, it's not a slot machine you can pull for hours like tiktok.
Though, ironically, msec is still ambiguous because that could be milli or micro. It's often milli so I wouldn't fault it, but we use micros just enough at my workplace where the distinction matters. I would usually do timeout_micros or timeout_millis.
Disrespecting copyright and personal data is good for users? I guess I disagree. I would say that it’s likely great for the company’s users, but not so great for everyone else (and ultimately, humankind).
It seems like that could apply to many other ways of messaging though, not all of them online. I'm not sure the "new" bit is really correct. Perhaps the potential scale or reach of a message is what matters.
Transitioning to eSim-only could enslave us even further, as if Windows 11 secure boot shenanigans were not enough. Please raise this with your favorite digital freedom advocate. Let's be proactive on this one.
How have you updated your interview questions?
I love that they included some unsuccessful attempts.
MCTS doesn't seem to have worked for them.

Also wild that few shot prompting leads to worse results in reasoning models. OpenAI hinted at that as well, but it's always just a sentence or two, no benchmarks or specific examples.
>Successes

>Fast Compilation Iron Roads builds quickly, so I can iterate fast, and in this way C has helped my workflow a lot

I wish they'd given a number. 1s?
> You can always use a heatpump to heat a space.

I covered that in the rest of my post. Most of the time, heating involves a much bigger temperature gradient than cooling. And even though you can use a heat pump, most houses don't use one. (I love the tech personally). Meanwhile cooling always uses a heat pump, so almost every air-conditioned house is using more efficient tech than a heated house. While operating on a smaller temperature delta.

> There is no passive manner that can allow you to cool a space surrounded by a hotter space

Insulation works just as well to keep heat out as it does to keep heat in.
Fellow Troglodyte,

I have booted single user for the last decade, using startx to initiate the desktop environment. In Debian, it always worked, allowing me to observe the console output prior and address anything unusual before going gui. Switching to OpenSuse, the behavior is different, but I got start-xfce4 to work. Any obvious reasons this is different in OpenSuse? I've read that startx is deprecated, well, that and some interesting stuff about flat earth.

Oh, and a genuine systemd peeve; the infamous ctrl-alt-del burst nonsense, where rapid succession (x7) reboots the system, even with the screen locked (unless with physlock).
I can't really help with choosing a 3D printer to buy, but are you aware you can order 3D printed parts pretty cheap nowadays? Depending on the volume and turnaround time you need it might be more economical, and the companies which offer those services have far more advanced capabilities than any printer you can probably afford.

JLC3DP and PCBway are popular options.
"Reasonably" is doing a lot of work there. It sounds an awful like you're defining the boundaries of reasonability at "Exactly what is built right now and using the exact borders of current municipalities", which is a tautology. Even if we limit ourselves to the current municipal boundaries of London, population density is ~6000 people per square kilometer. Kowloon Walled City survived with 3,000,000 people per square kilometer, Manhattan has 75,000, Dhaka 23,000, San Francisco 19,000.

Their system is a much better one than we tend to have in the US, but "All-in on public transit" looks more like Trantor than London. A majority of the TFL system was constructed more than a century ago.
I completely agree. It's difficult to get quality vanilla ice cream except at a gelataria or fancy market shop. Reading this thread however makes me brave enough to try making my own once summer appears.

I'll probably go for something inconvenient so I need to pre-freeze the bowl and thus avoid an unhealthy constant flow of ice cream, but tech these days seems pretty good to make homemade gelato:

https://www.seriouseats.com/the-best-ice-cream-makers
These models are far better teachers for my kids than their actual teachers. they are far more engaged, able to go down rabbit holes guided by their own curiosity, and end up learning more.

I do my best to ensure they're not using these models to do their work for them, but they are invaluable teaching tools, nonetheless.

Hopefully this will be one more nail in the coffin for the sprawling public education complex.
Ugh, I've seen this before with Todoist. I got as far as downloading the app package before realizing it was spelt incorrectly, and so was the domain. (Though the domain was correct in the ad, and the ad was identical to the actual search result below it.)

It has to be deliberate by Google at this point.
Technically, the President + Executive can do whatever they want, including prosecute parts the Executive!), until the President is either impeached or replaced by election or incapacitation.
You can always run your questions through an LLM and only use those which spew nonsense most of the time.

Cheaters, by definition, avoid real work, so they won't be using custom models unless the stakes are sufficiently high.
What does being veto-proof have to do with it? No president has to sign a bill just because Congress can override him if he doesn't. His signature is literally an endorsement.
I'm so tired of the Internet turning into the Internet of Faces. I feel like I see faces plastered all over the Internet now, eager to take only ten minutes to explain one minute of information to me.
Ask HN: How can I control lust?
Hello fellow HN!
I have a question which has been maybe asked by people umpteen number of times.
I have seen that a lot of guys struggle due to their porn and other related activities.
This leads to unnecessary wastage in terms of time and energy. I have also seen that multiple different ways in which people are able to manage this.
My goal is to maybe take a break for few weeks and then resume masturbation without porn or any additional aids.
Can anyone guide regarding resource or anything like this?
In other words, if your world view is that you will never scale out your database beyond n=1, then microservices being part of the scaling-out journey is indeed a fallacy.
What is the argument for it being too high?

The argument for it being what it is is the fact that our auditorial processing (when using a starter pistol) or visual processing (looking at start-lights) takes time, as well as transferring that message to the relevant muscles. 100 milliseconds is a pretty good average actually
By the way, of students who have heard of ChatGPT, 32 percent have used it.

But more importantly, this feels like a broad thing. There's a huge difference between 'hey I have to write a paper on the Roman economy, what are some sources about that' and 'write a paper about the Roman economy'. Similarly a difference between 'crap, what's the formula for the volume of a sphere' and 'calculate the volume of a sphere with diameter 12 feet'. Personally I would rank the 'cheatiness', from less to more, as sources < formula < writing a paper/calculating.

This whole study feels like it hinges on what students consider 'help', since it was self-reported. If you try to get it to help but it only turned up sources you knew, does that count as helping? If you tried but it spat out an awful paper and you got a really bad score, does that count as helping? If you wound up having to spend more time correcting its output than you would've just writing the paper, does that count as helping? It's just so variable depending on individual standards the study feels kind of worthless as an actual indicator of stuff.
There’s people that don’t have adhd that can handle notifications. That’s the thing with being impulsive - those disorders are mental illnesses (quite technically) and will limit your net worth. It’s like why do all developers need to be listening to the orchestra or radio while programming?