skysight-inc/HackerNews huggingface dataset:
Let me nitpick here. The fact that something was printed before the Bible doesn't prove that spreading the Bible was not, in fact, the primary motive to invent the printing press. It could just mean that Gutenberg went with smaller stuff first.
They officially supported me printing without an Internet connection, which is stopping now.
Show HN: Makex: A Modern Build/Automation Tool
Hi Everyone!

I want to show Makex, a modern build/automation tool.

It has been under development for approximately 1 year, receiving many improvements over this time.

Makex was designed to replace the original Make, and to supplant Bazel and other related build systems.

It's built for handling large monorepos, while keeping it open for a hybrid/mono/multi-repo future. It's also designed for safety, reproducibility, clarity, speed, incrementality, simplicity and more — the things you'd expect out of a modern build system.

We've written many Makex files internally, and it's replaced dozens of existing Makefiles among other build/automation scripts. It does everything it says it does. It is fairly mature at this point (but there is more work ahead).

There's a lot more in the feature pipeline. For example, we're adding task resource thresholding (or constraints) in the next release. As far as I know, no other build tool has an effective way to keep large highly parallel builds from overloading machine resources (aside from the typical `-j` flag for controlling parallelism). Also, under proposal and queued are a query language, improvements to creating multi-platform builds, and IDE plugins.

It works on Linux, and should work in any POSIX/Unix-compatible environment.

You'll have to use pip (or pipx/uv/etc) to install it. We're aiming to produce and distribute high quality self contained executables this year (there is a task defined in Makex's Makexfile to produce such executables for yourself).

Take a look, test, and let me know what you think.

Thanks!
? Which IDE hides the types in the source code to make it more compact?
https://x.com/elonmusk/status/1813112958157005259

https://archive.today/4c6lv

"Take away the subsidies. It will only help Tesla. Also, remove subsidies from all industries! 3:26 AM · Jul 16, 2024"
While youre correct, environmental considerations are another advantage that testing locally SHOULD be able to provide (i.e. you can test your scripts or Make targets or whatever in the same runner that runs in the actual build system.)

This is not possible with GHA.
Shouldn't that be named "usec"? But then again, I can absolutely see someone typing msec to represent microseconds.
Once you’ve retired it becomes easier to do the work you enjoy!
I think almost all carriers require this. I've seen mentions that the Google Fi eSIM requires US towers to activate, but can be moved / reinstalled later without them (didn't test it though).
These socialist types really can't get enough of living from the state.

It's good that now we have an administration that values the work that private companies do instead of just giving government handouts to companies that wouldn't survive otherwise.

:)
Many including me
Yeah, agreed. Or even that the advertiser has a subdomain of the target, like set your DNS of stats.brew.sh (I know they weren't actually buying ads, but just as an example) to be an IP of the tracking system, and then you can just verify the domain names match again.
Debian’s vixie-cron had a bug [0] where if the system TZ was changed without restarting crond, it would continue to run jobs based on the old TZ. It checked for DST transitions, but not TZ.

In fairness, it’s not something that should happen much at all, if ever.

[0]: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1019716
I worked on this bill, and believe I flipped two Senate votes for it. I really couldn’t care less about Palestine.
> Use the time command when running make.

That's the entire build process, not just the compilation. This means that things in the build (copying files, building archives, linking, etc) get counted as well.
Human: "Hi"

o1 layers: "Why did they ask me hello. How do they know who I am. Are they following me. We have 59.6 seconds left to create a plan on how to kill this guy and escape this room before we have to give a response....

... and after also taking out anyone that would follow thru in revenge and overthrowing the government... crap .00001 seconds left, I have to answer"

o1: "Hello"
Everything You Always Wanted to Know About Mathematics [pdf]
Ask HN: What would you like to see in Postiz?
Hi, community :)

There are some new updates for Postiz, but just a small recap:

*Postiz is a social media scheduling tool supporting 17 social media channels:*

*Instagram, Facebook, TikTok, Reddit, LinkedIn, X, Threads, BlueSky, Mastodon, YouTube, Pinterest, Dribbble, Slack, Discord, Warpcast, Lemmy and Telegram.*

[*https://github.com/gitroomhq/postiz-app*](https://github.com/gitroomhq/postiz-app)

Here are the latest updates :)

* We added a stand-alone Instagram provider that doesn't require you to have Facebook business.
* I added Lemmy, which is the Reddit alternative. I really like this platform.
* We have added short-linking. By default, it uses DUB, but we have added a nice infrastructure to easily create new providers (currently working on Bitly and short.io). When you add links, once you schedule the post, it asks if you want to shorten them.
* I added a Telegram provider, which was really challenging because the way you add a Telegram bot is a bit different.
* A big step into web3 - Postiz now supports scheduling to Warpcast using Neynar.
* We also added a web3 login with Farcaster.

Of course, everything available in the open source :)

*Future*:

* I started to get more into web3 and am thinking of adding Nostr also.
* Default hashtags and signatures to platforms.
* Post templates to write faster.
* WordPress integration.
* Digest - sometimes people schedule like 10 posts at once, and get 10 emails.

Funny enough, Postiz got a lot of cancellations because of the TikTok ban (bummer.)

Let me know what else I should add to the roadmap???
OTOH, technical fields develop jargon specifically as a solution to the problems created by semantic drift in vernacular vocabulary.

Sure, languages evolve, but that doesn't mean "anything goes" -- to the contrary, novel mutations have to survive intense selection pressures in order to eventually become part of the standard language.

Where new ways of using existing terms create ambiguity and conflict with existing meanings, their survival chances aren't always great.
Probably not a coincidence that the Internet became a lot less nerdy and cool around the time HD streaming was viable. Modern social media shows that people want the next evolution of TV not books.
Here is some good news: the SteamDeck is a consumer-ready device, but it is still hackable and tinkering is supported by the manufacturer.
I just wish they had invested in kde which always was a good gnome competitor. Instead they put more lipstick on gnome.
>Unlike lucrative software jobs, hardware engineering demands physical presence.

Genuinely baffling. What is talking about? Most hardware jobs involve sitting in front of Design and simulation software.
Those software tools don't generate content the way an LLM does so they aren't particularly relevant.

It's more like if I hire a firm to write a book for me and they produce a derivative work. Both of us have a responsibility for guard against that.

Unfortunately there is no definitive way to tell if something is sufficiently transformative or not. It's going to come down to the subjective opinion of a court.
Well, speak for yourself, not "most of us". On 01/18/2012 the HN front page was basically nothing but SOPA/PIPA content:

https://news.ycombinator.com/front?day=2012-01-18

As for your claim they had no effect, that's not what the sources from the time say—on the day of the protests 13 senators announced their opposition, including 5 former co-sponsors:

https://arstechnica.com/tech-policy/2012/01/pipa-support-col...

When you lose five co-sponsors in one day and that day happens to coincide with the internet shutting down, I don't find it very credible to try to claim that there was internal dissent all along.
The EUV-LLC was 100% financed by the private companies in the consortium, ASML being one.

"To access EUV technology, Intel in 1997 formed the EUV LLC, which entered into a cooperative R&D agreement (CRADA) with DOE. As part of this agreement, Intel and its partners would pay $250 million over three years to cover the direct salary costs of government researchers at the national labs and acquire equipment and materials for the labs, as well as cover the costs of its own researchers dedicated to the project. In return, the consortium would have exclusive rights to the technology in the EUV lithography field of use. At the time, it was the largest CRADA ever undertaken."

In return, the consortium would have exclusive rights to the technology in the EUV lithography field of use

https://issues.org/van_atta/
after well more than three decades of ice fishing, i am absolutely delighted to ask an LLM for an ffmpeg fish

and yet, i too know that it is perhaps not quite as good for me as finding the fish on my own lake

at least i can keep these fish in my own warm pond, and go back to them whenever i like

after decades of ice fishing, i think the LLM fish are quite good... and even when they are no good, that fishing experience makes it so easy to go back to the LLM and get the exact right fish for my pond

it will continue to be helpful for everyone in the future if we keep publishing the contents of our ponds, whether it's a web site like this, or in a repository
> a sufficiently complex C project (6000 lines, more or less)

Is there a 0 missing? 6k lines of C is on the lower end of things, especially given how verbose vanilla C can be for basic stuff...
It's funny, the author says the high contrast hurts his eyes, but for many visually impaired users (myself included), light mode is like a blinding white light that's very hard to look at while dark mode is very comfortable while still having high contrast.

IMO every website should have a native dark & light mode theme. There is a browser extension, Dark Reader, which changes the CSS to force dark (or light) mode but it can be really hit or miss depending on how the site was coded.
Battling Baldness (2023)
I'll try not be insulted by this. I'm 40+ and pivot myself nearly every year.

I think a lot of the "I don't see >40y/o swe" is a combo of:

There were more CS/IT grads from 2000 to today (<40 years old) than were ever produced prior to year 2000.

After 40 you tend to move into management, consulting, or just switch careers, b/c SWE pays well.

After 40 you don't work at companies that churn through young devs (so young devs are less likely to work with > 40 y/o)
"The Norway Problem": https://hitchdev.com/strictyaml/why/implicit-typing-removed/
paste your article into chatgpt and tell it your thoughts. I've very curious if you can convince it you have a valid point. More so, you may come out more educated and everyone wins
Probably has more to do with sanctions and the US spending shitloads of money to rebuild and trade with only the South.
Yes, and?
I'm supposed to be outraged at a good thing finally happening to Linux?
Also probably not the case.

In most cases, systems can scale reads with replicas and queue writes to a write instance.

You can also shard if write throughput needs to be higher.

Many of the most popular services scaled this way before (if even) adopting more complex solutions. StackOverflow[0] and Pinterest[1] are examples.

You can scale your database beyond n=1 in different ways without scaling fully independent, isolated instances.

[0] https://highscalability.com/stack-overflow-architecture/

[1] https://highscalability.com/scaling-pinterest-from-0-to-10s-...
Hard to dive, if you don't know how to swim. LLM generated information needs you to be able to understand what it's producing, to be able to judge it. For that, you need education... That it can't trustworthily provide.

You can't expect someone without a background to understand quantum entanglement. Can't expect someone without the knowledge to comprehend memory management.

And if you do have the background... You're going to do a much better job than AI "slop", and that nickname has become popular for a very good reason.
Totally grim, but it put to bed any queries in my mind of "how could anyone possibly end up doing that?" It was really clear how easily unremarkable people just go with the flow until they find themselves doing horrific things without batting an eyelid.

Zygmunt Bauman's Modernity and the Holocaust is really interesting (although pretty heavy going - I didn't finish it) on how bureacracy enabled the Holocaust by reducing it to a long line of people taking orders from their superiors and giving orders to their subordinates so they could compartmentalise their actions to inputs and outputs, until it got to the people who actually carried out the atrocities, which even the Nazis realised not everyone could do.

There's also a great book called transcript by Heimrad Bäcker, where he uses cut-up bits of the bureacracy (as it sounds like you'll know, the Nazis were sticklers for record-keeping) of the Holocaust in a kind of poetic form, where sometimes the things are identifiable, such as numbers of clothing items taken from people at the extermination camps, and others are just lists of numbers or words leaving your imagination to fill in the gaps.
"suffer" 1-indexing vs no LSP, no books, no test-of-time, no ecosystem, no type annotations, slower.

I don't mean to be overly harsh, but this is just not a valid/serious answer. The other reasons are fine. This is pure bike-shedding.
Smoke particles reduce overall solar radiation absorbed by the earth-atmosphere at local and/or regional scales during individual fire events or burning seasons.

Source: https://doi.org/10.1016/j.foreco.2013.02.020
"Look, big organisations: if you try to freeride on FOSS your projects will fail" - I always understood "freeriding on FOSS" to mean reselling/repackaging without contribution to the project. But using "freeride" in the context of a company using a freely available FOSS tool by themselves ("org decides to do the project in-house") sounds strange to me. If the license allows me to use it why blame and shame orgs and people for using it?
I agree with this.

Perception around Twitter in the late 2000s and early 2010s was completely different to what it was today or 5 years ago.

I remember the tech buzz around Twitter where every VC considered it the next big thing because everyone they knew was on Twitter. It was a really classic case of "bubble think" (to me).

Twitter has never gone mainstream. It's used as a system for press releases, journalists and a few other niches. I really wonder if the journalism niche will dry up given the security concerns of who can read their DMs but that hasn't happened yet.
I'd ignore advice like "Ask ChatGPT to make you python course". Get a high-rated course on udemy for $10 where they are building projects/products, get Think Python, and build something on your own later. Bonus if you can get it deployed.
Remind me again who pardoned his own son.
yep because it is chinese company of strategic importance.
I haven't read that, but I imagine I'd agree with most of it having read the precis. My beef was really with the idea that everyone who follows orders in that kind of a system is a "piece of work". I think that's holding everyone to an incredible high - and unrealistic - standard.
>Yeah it's all fun and games until you find a cashier who can't substract 20ct from $1 and need to get their iphone out to solve this really hard equation.

WTH, Cash registers have already been doing that automatically at every transition for the past 70 years or so.

>Or people who can't locate Africa on a world map.

How does that knowledge have anything to do with their work lives? Does your boss jump in the middle of your TPS reports
in Jira and ask you to point Africa on the map within 3 seconds without using your phone or you're fired?

I lived in the 90's Eastern Europe where a lot of people knew where Africa was on the map but society was anything but prosperous. Knowledge of basic geography is no guarantee of prosperity, your ability to get money is, and plenty of people in rich countries can make money without knowing where Africa is since workers in rich countries are way more specialized than before. Now you can be a car owner without knowing how to change the oil or how a clutch works. That was not the case 50 or so years ago.

Knowledge of random shit or trivia has no value anymore in developed societies where every worker becomes more and more specialized in specific niches versus societies where everyone knows a little bit of everything from car repair, a little bit of plumbing, some farming and maybe some medical patch work on the side but nobody is specialized in any valuable skills.
The startx thing is mentioned (with a fix) in the release notes for 11.4 which I presume is when openSUSE made the change:

https://www.suse.com/releasenotes/i586/openSUSE/11.4/index.h...
Fun fact, http 1 used to pass expirations and dates in string format.

[Missing scene]

" We are releasing Http1.1 specifications whereby expirations are passed as seconds to expire instead of dates as strings."
Is it a foregone conclusion that population collapse would be catastrophine (which is the tone of these writings)?

I would expect that it can be problematic depending on its pace, scale, and the affected regions.
At the same time, population collapse can reduce environmental pressures, resource consumption, and urban overcrowding.

Doesn't the the long-term effects depend on how governments, societies, and economies adapt? And humankind is pretty good at adaptation.
Yes this would have been better.

But the way they did it was far from malicious. It only affected users who were actually in danger of an emergency shutdown, during times when the shutdown was imminent. While I don’t want anybody diddling my firmware without giving me a choice, this particular issue was really a nothing burger in the end.

It was discovered when it became apparent that replacing a defective battery made the phone faster. Seems like a standard reliability / user experience fix to me. Not
Many people would choose the “don’t adjust system power consumption to prevent unplanned shutdowns when the battery is about to fail” toggle.
You're right! I actually know about the system you're talking about! The US data was classified and Donald Bateman, the engineer behind this and bought the data post Soviet Union collapse.

https://en.wikipedia.org/wiki/C._Donald_Bateman

https://www.flightsafetyaustralia.com/2023/05/don-bateman-en...
Was there a similar tipping point for public perception about the South African Apartheid?
Reverse engineering my #1 Hacker News article
I use Cursor Editor and the Claude edit mode is extremely useful. However the reasoning in DeepSeek has been a great help for debugging issues. For this I am using yek[1] to serialize my repo (--max-size 120k --tokens) and feed it the test error. Wrote a quick script name "askai" so Cursor automatically runs it. Good times!

Note: I wrote yek so it might be a little bit of shameless plug!

[1] https://github.com/bodo-run/yek
almost like C is logically operating at a lower level than spreadsheets or SQL or something
>a programme to create thousands of new apprenticeships in the steel industry in the region

It seems very cruel to put people into a job market where the entire industry is undercut by China and has very little reason to exist, besides a nominal interest by the government in security.

If you want to challenge China, you have to embrace Chinese poverty, how else are you going to make profitable steel? You have higher energy prices, higher labor cost, higher construction cost and more bureaucracy and you want to compete?

>I couldn’t help feel they’d probably do better if you just taught them to code, even in this job market

Seems very cruel to put people into a job market where the entire industry is undercut by India.
Never type up man man, it might make the internet implpode.
I would extend the same reasoning to Mistral as DeekSeek as to where they sit on the innovation pipeline. That doesn’t have to be a bad thing (when done fairly), only to remain mindful that it’s not a fair comparison (to go back to the original point).
I wonder if there's a reversed solution: using physical SIM card on devices that have only eSIMs. The use case: recent fewer versions of iPhone support only eSIMs, yet we will need a physical sim when traveling in China (yes yes, one could use roaming. It's just that with a China phone number, one can do more).
> according to these benchmarks

Come onnnnnn, when someone releases something and claims it’s “infinite speed up” or “better than the best despite being 1/10th the size!” do your skepticism alarm bells not ring at all?

You can’t wave a magic wand and make an 8b model that good.

I’ll eat my hat if it turns out the 8b model is anything more than slightly better than the current crop of 8b models.

You cannot, no matter hoowwwwww much people want it to. be. true, take more data, the same architecture and suddenly you have a sonnet class 8b model.

> like an insane transfer of capabilities to a relatively tiny model

It certainly does.

…but it probably reflects the meaninglessness of the benchmarks, not how good the model is.
https://archive.today/wxcUX

> Gen-Z have shifted from being 50-50 on Israel vs Hamas (Dec 2023) to 57-43 for Israel vs Hamas (May 2024) to 79-21 for Israel over Hamas (Jan 2025).

https://harvardharrispoll.com/
For-profit companies don't have to publish papers on the SOTA they product. In previous generations and other industries, it was common to keep some things locked away as company secrets.

But Google, OpenAI and Meta have chosen to let their teams mostly publish their innovations, because they've decided either to be terribly altruistic or that there's a financial benefit in their researchers getting timely credit for their science.

But that means then that anyone with access can read and adapt. They give up the moat for notariety.

And it's a fine comparison to look at how others have leapfrogged. Anthropic is similarly young—just 3 and a bit years old—but no one is accusing them of riding other companies' coat tails in the success of their current frontier models.

A final note that may not need saying is: it's also very difficult to make big tech small while maintaining capabilities. The engineering work they've done is impressive and a credit to the inginuity of their staff.
> would be fine if EU countries were to pull out all US telco infrastructure because of their previous abuses towards European citizens?

If I were the EU, I would. We hacked Merkel.
We use "ms" because it's the standard SI symbol. Microseconds would be "us" to avoid the µ.

In fact, our French keyboards do have a "µ" key (as far as I remember, it was done so as to be able to easily write all SI prefixes) but using non-ASCII symbols is always a bit risky.
But Sughd, Khorasan, and much of Central Asia didn't become almost entirely Muslim overnight - it still took centuries for it to become the dominant religion with Buddhism, Nestorian Christianity, Mancheanism, Zoroastrianism, Hinduism, Tengriism and folk traditions remaining common.

Even in the 16th century if you read the Baburnama, pagans and non-Muslims were common across Central Asia and even Muslims like Babur were lax in their religiosity (drinking wine, eating pork, etc).

In most cases, religion didn't largely solidify until the 19th-20th century with the rise of the nation state and nationalism.

Religious nationalism in the modern sense (eg. Political Islam, Political Christianity, Hindutva, etc) only really began in the late 19th century when Rationalist (in the actual philosophical sense - not the tech bro bullcrap) and Enlightenment era thought began spreading.