skysight-inc/HackerNews huggingface dataset:
Lead poisoning in Australian mining towns is a surprisingly contentious issue. Town mayors usually try to cover up and deny any evidence of lead poisoning, because without the mines, there is no town.

The broken hill that the town of Broken Hill is named after no longer exists. The mullock heap pictured in the article is all that remains: the entire hill was dug away when the original mine was active. As you can see on OpenStreetMap[0], the slag heap sits right in the middle of the town, with lead-laden dust blowing down into the streets and backyards every time the wind picks up.

The other town mentioned in the article is Mount Isa[1]. Mount Isa has both a mine and a smelter, both located immediately to the west of the town. The prevailing winds are westerlies, so again the toxic dust falls on the town.

[0] https://www.openstreetmap.org/#map=14/-31.9653/141.4597

[1] https://www.openstreetmap.org/#map=14/-20.7339/139.4831
This tool is an ergonomic replacement for things `ffmpeg` and `imagemagick`. Among the privacy-conscious, these tools are the go-to for stripping unwanted metadata, so I'd want the same from a replacement.

Of course, ffmpeg can do a lot of things, and I wouldn't expect them all to be supported. But I do expect metadata stripping (at least as an option) from a tool with privacy in the headline.
I'd advise to not use Prolog as general-purpose programming language, but as an embedded DSL or as a service for the part it's really suited for (if your app involves exploration and search over a large combinatorical space in the first place, such as in discrete optimization in industry, logistics, and finance). You really don't need yet another package manager and pointless premature modularization for modelling your business domains in optimization.
I'm surprised he didn't mention the way, that we are solving the issue at amazon. It's not an secret at this point, giving the LLM's hands or agentic systems to run code or do things that get feedback in a loop DRAMATICALLY REDUCE Hallucinations.
OO code for domain modeling might be, to date, the single greatest source of disillusionment in my career.

There are absolutely use cases where it works very well. GUI toolkits come to mind. But for general line-of-business domain modeling, I keep noticing two big mismatches between the OO paradigm and the problem at hand. First and foremost, allowing subtyping into your business domain model is a trap. The problem is that your business rules are subject to change, you likely have limited or even no control over how they change, and the people who do get to make those decisions don't know and don't care about the Liskov Substitution Principle. In short, using one of the headline features of OOP for business domain modeling exposes you to outsize risk of being forced to start doing it wrong, regardless of your intentions or skill level. (Incidentally, this phenomenon is just a specific example of premature abstraction being the root of all evil.)

And then, second, dynamic dispatch makes it harder for newcomers to figure out the business logic by reading the code. It creates a bit of a catch-22 situation where figuring out which methods will run when - an essential part of understanding how the code behaves - almost requires already knowing how the code works. Not actually, of course, but reading unfamiliar code that uses dynamic dispatch is and advanced skill, and nobody enjoys it. Also, this problem can easily be mitigated with documentation. But that solution is unsatisfying. Just using procedural code and banging out whatever boilerplate you need to get things working using static dispatch creates less additional work than what it takes to write and maintain satisfying documentation for an object-oriented codebase, and comes with the added advantage that it cannot fall out of sync with what the code actually does.

Incidentally, Donald Knuth made a similar observation in his interview in the book Coders at Work. He expressed dissatisfaction with OOP on the grounds that, for the purposes of maintainability, he found code reuse to be less valuable than modifiability and readability.
> Asking me to solve an extremely esoteric problem that has zero relevance to my day-to-day and if the solution I come up with on the spot under time pressure is incorrect or even just not the most efficient I'm rejected? At that point you're just filtering for starry-eyed recent grads you can underpay.

Eh I think it's fine to try to find people who are interested in solving problems and will give any maths problem a go, no matter how hard it may seem.
I’ll go a step farther: improved frames and datasource-aware tables and lists with a few very basic features found in almost any other UI kit out of the box would have given us 99% of the actually-beneficial stuff AJAX did, but better.

The Web is a ton worse because we decided to build apps on it but never built the tools to do it right, even though the building blocks were right there.
Ask HN: How did you acquire your first customers for a consumer SaaS?
This is a common question, but the answer evolves quickly and new startups are constantly trying new things and discovering new customer bases. Now seems like as good at time as any to ask again.

Here are some previous threads, ranked in order of most to least helpful (in my opinion at least):

2017 Ask HN: How did you acquire your first 100 users? https://news.ycombinator.com/item?id=14191161

2021 Ask HN: How to get first 10 paying customers? https://news.ycombinator.com/item?id=26134790

2022 Ask HN: Where and how do you find your early adoptors? https://news.ycombinator.com/item?id=31930935

2023 Ask HN: How do you get your first customers? https://news.ycombinator.com/item?id=35833216

2021 How the biggest consumer apps got their first 1k users https://news.ycombinator.com/item?id=28819548

If you've found anything has or hasn't worked for you in the past, let us know!
IMO Google's Gemma2 27B [1] is the sweet spot for running locally on commodity 16GB VRAM cards.

[1] https://ollama.com/library/gemma2:27b
Eh. That's not inherent to the second group. I think that's what happens when the second group is disempowered---both by the organization and by the hellish landscape of technology they have to work with. It can be very paralyzing to try to do something right when the tools are all broken.

Or maybe a good team is a mix of the two. I dunno. But I know that not having theory gets you only so far, and then everything becomes awful.
Dr. Jacob Lowenstern, research geologist and Scientist-in-Charge at the Yellowstone Volcano Observatory, says that Yellowstone is currently a dormant volcano, with low levels of unrest.

https://education.nationalgeographic.org/resource/when-sleep...
That's also why the small deck sections that extend forwards off the bow are called poop decks.
Plants can communicate and respond to touch. Does that mean they're intelligent?
Factorials are a base-independent way to make large numbers. You could go 10^27 or 10^25 or some other random power of ten, but why powers of ten over powers of two? And then once you choose a base, why 10^27 versus 10^25 versus 10^24? Which makes one the more natural choice than another?

On the other hand, once you choose factorials over exponents, and furthermore, double-factorials, there's really only one option. 3!! is is 720, which is not really much of anything, in the grand scheme of things. 5!! is something like 7e198, which is probably more than there is of anything in the universe, or at least, in the known universe. 4!! is the only double-factorial which is a useful number of particles.

The more annoying thing is that mass and electric charge are so far apart. If you were starting from scratch, it'd be really cool to have 1 number-unit of something be the mass unit, and 1 number-unit of electrons be the charge-unit. But 4!! electrons is like 100,000 coulombs, which is just a lot. 2^64 electrons is more like 3 coulombs, which is more workable, but 2^64 daltons is only around 30 migrograms, which is a helluva mass unit if roughly human-sized is the scale of most intelligent life forms.

(Incidentally, powers of two have an even closer coincidence to Avogadro's number -- 2^79 is within half a percent of N_A. But 79 is such an ugly number -- there's nothing particularly elegant about 10^1001111.)

Re: measurement, we're presumably going to get better at measuring the mass of a hydrogen atom over time. We might even eventually be able to calculate it from first principles (which is really just saying we might be able to establish an exact relationship between the mass of a proton, electron and various physical constants; according to a random search, a 2008 paper was able to calculate the mass of a nucleon within about 3% of experimental results, which isn't great accuracy wise but is still pretty interesting).

(Aside #2: You could also pick a larger particle to try to bridge the gap between mass and charge. The Higgs Boson, for instance, masses around 130x the hydrogen atom.)
It doesn't "get around" a VPN. It's an alternative available to you if you have SSH access to a remote host with its own internet connection.
But with no functioning long-term storage site, it's a Train To Nowhere. Or Train Without a Mission. Or other clever phrases describing a political boondoggle.

Idea: Fabricate a bunch of semi-hollow (50% by volume), telephone-pole-sized iron arrows (pointy noses, feathered tails), fill them with radwaste, and dump them in some segment of the Aleutian Trench ( https://en.wikipedia.org/wiki/Aleutian_Trench ) where the ocean floor sediments are deep & soft - to maximize penetration when the arrows hit bottom. With some attention to corrosion & leakage issues, the stuff will be down the for lot o' millennia. And whether or not civilization collapses, nobody's going to be accessing it without a deliberate, massive, and difficult-to-conceal effort.
I imagine a scenario where upholding the AI bot's decision is one click of a button for a human. But going against the bot's decision requires filling out an onerous form and making an argument as to why the bot is wrong. And oh yeah, you're under quota to process so many appeals per hour.

All so some VP's slide can tout how much money their AI-powered fraud detection system has saved in human labor costs and its 97% success rate.
This image may not be a representative test case. It looks like it has heavy compression (including posterization), and overall poor quality. "Quality" meaning things like focus, contrast, and low noise- separate from resolution.
Oh yes you'll do find with that but you'll be a bad programmer when you're done. Better to work on the art of programming, at least once you've met your immediate needs like getting a job. It will get you a lot further in the career, plus it is morally better to be good at something and contribute meaningfully compared to doing just enough for a paycheck.
Yeah that helps. I thinks sprints are a bad approach to work, so probably some fundamental disagreement there.

I also strongly believe that all processes are downstream from people, team culture, and organizational incentives. If you don’t get those right, your processes won’t matter, and if you do get those right, your processes won’t matter very much.

I guess I’m not your target audience. That’s ok.
> The context of this discussion is my claim

Your claim is made in the context of reality.

Regardless of your claim or any of the objections to it, what happened in the 1920s happened. In principle, there's an answer to the question: "why did this transition happen?", and the goal of a conversation like this is to try to get closer to the truth. In practice, it's often hard to actually get solid answers without diving deep into the historical record, and rarely will there ever be a single traceable driving force or solitary "this is the reason".

You seem to be constraining the reasons you're willing to entertain to fit your opinions instead of finding the evidence to back them, and that's what I keep pushing back against.

The GP pointed out that there are indeed documented reasons for the transition that have nothing to do with timetables. So far, that's the only form of evidence that's been offered for any of the perspectives shared here. Simply restating your opinion and demanding the same kind of evidence that you have not yourself yet supplied is not sufficient.

> You're claiming that this is refuted by the Wikipedia article

I'm not (to be fair, it's possible that the GP was, but I don't know). I was reacting to this:

> I don't see anything to support this claim from the link you provide.

Bottom line: you wrote the article and made major claims about the nature of tech. The burden of proof is on you to justify those claims. Categorically rejecting actual evidence that may have explanatory value while offering no evidence of your own is making it increasingly difficult to take the position seriously.

The reality is probably some combination of all of the above: the newer designs kill less people, are more efficient, and satisfied a growing cultural discomfort with the perceived danger. The outcome of this combination is not purely good, or purely bad. It is neither oppressive nor perfectly beneficial.
I think it's because a lot of people don't actually know how to get full use out of a terminal. When you have to manually enter ssh commands and credentials every single time, browser-based solutions become very attractive.
wget <huggingface link>?
Not necessarily. As others said, could be caused by increasing number of applications per applicant, or foreign students. Or maybe increasingly important reasons to graduate from top school that have nothing to do with actual education. If in 5 years AI can do most jobs better than humans, how can a middle class young adult advance up the social ladder?
This means Fedora can bundle it?
At least he now seems to be self-aware, though it seems likely he wasn't so self-aware at the time of the odd proposal at a conference. Check out the GitHub sponsors link at the top of the article. I'm sure someone's going to take him up on the $12,000/mo one.
Oddly, they are only charging slightly more for their hosted version:

open-mistral-7b is 25c/m tokens
open-mistral-nemo-2407 is 30c/m tokens

https://mistral.ai/technology/#pricing
Anyone see benchmarks comparing this to Gemini Flash or gpt-3.5 or open models that can run on groq?
it has been for 20 years IIRC. its designed to be a general purpose way to do remote access and command exec, with auth/auth. like thats its whole ballgame. I think the confusion comes when people assumed it was merely a successor to telnet.

but yes this is why its so important for OpenSSL client and server sides to be as bulletproof as they can. its a giant worldwide SPOF and therefore a drool-inducing pinata for hackers.
only if you are developing on a remote server which I never do.

I do use GUI text editors, file browsers and other tools that work over SSH.
If I may, your confusion seems to come from the meaning of "elliptic curves in general have no closed form".

You seem to interpret that as "given any elliptic integral A, there is no closed form for the solution of A". This is false (there are many counterexamples).

What it actually means is "there is no single closed-form that produces the solution of any given elliptic integral". The quantifiers are the other way around.

This is why I brought up the halting problem. There's a similar confusion that often comes up, where people think that it means there's no way to determine if any given program halts. But this is false - the program "let X=5*6" trivially halts, for instance.

What it actually means is that there's no single program that can uniformly determine whether any given input program halts. It's exactly the same situation.
LLMs and SVGs
The only thing these guys know is to make vehicles bigger and bigger. One day they wake up and will ask for public subsidies because Chinese manufacturers have eaten their lunch.
This sounds a lot like anhedonia, which is pretty a pretty classic depression symptom
Easy head math: parameter count times parameter size plus 20-40% for inference slop space. Anywhere from 8-40GB of vram required depending on quantization levels being used.
I used a server running in AWS for this while in China. Sometimes you don’t have a VPN, or using certain VPN providers might be heavily monitored and/or blocked.
An antibody is not a peptide [1]. This drug is an antibody that targets the protein interleukin-11.

Peptides are very short amino acid sequences.

1. https://www.sciencedirect.com/science/article/abs/pii/S13601...
Yes, but there are tons of cases that go either way, and sometime it is neither the thing or the individual, but the combination of the two which lead to undesired outcomes.

In this case, I think it is reasonable to believe that training certain skills in the absence of distractions and impediments makes sense.
Hahaha this thread made me buy my daughter a domain and start to teach her too as she's been interested about what I do, and I was just getting things setup and yes, her site will be deployed via kubernetes because it's easy as apart of my infra already.
Moving to a place with laws hostile to women's' bodily autonomy should minimize the number of harassment complainers. It all makes sense.
The 'godmother of AI' has a new startup already worth $1B
Building codes are usually not retroactive.
I have been trying for a while and I will admit I am a little demoralized. I am actually debating bailing on what I am doing now and try something else. Even working for myself starts looking like an option ( although much more scary ).
don't confuse "module system" with "package manager"
Unless something has changed, VSCode runs in a server / client model with the FE on your local machine and the code / language servers running remotely (I don't use it, I stick to neovim).
While you’re at it, why not factor in karma and god too?
I run separate devices. I want my linux systems up most of the time, while my gaming or work devices only run when i want something fast. I stopped using dual boot, as it's a hassle with data, backup etc. Also they heat up the room way faster then my linux devices. I only backup my notebooks, Desktops store the work data on the NAS directly.

Hardware, mostly on:

- 4 NAS (2 QNAP, 2 Synology) for multimedia, filestorage and backup

- Rasperry with Home-Assistant

- Linux Webserver on a Mac Mini

- OPNsense firewall on a passive cooled MiniPC

- Mostly wired 1gbit Ethernet

Hardware, on when used:

- Mac Notebook

- 3 Gaming Rigs / Work PC

- 4K-Beamer connected to 2 of the PC's

- Meta Quest 3, sometimes used as a screen for the second pc or for VR (VRDesktop)

Software:

- Home-Assistant to Boot devices that are locked away and sometimes shut-down.

- Rustdesk on all devices with a GUI, Steam for game streaming

- Syncthing to replicate my 3TB Data on 2 NAS and my Notebook

- xBrowserSync, Bitwarden for Browser Data Sync

Notes:

Streaming works well except for 4k Resolutions. VRDesktop is very good even with larger resolutions.
Take the infinite loop as just an example of an issue with depth-first search and backtracking. To be more general, I'd say that the issue is that the overall performance of a Prolog program can be very dependent on the ordering of its rules.

As an anecdote, a long time ago for a toy project switching two rules order got the runtime to finding all solutions from ~15mn to a around the second (long time, memory fuzzy...). The difference was going into a "wrong" path and wasting a lot of time evaluating failing possibilities, vs. taking the right path and getting to the solutions very quickly.

So in practice even if Prolog is declarative to get good results you need to understand how the search is done, and organize the rules so that this search is done in the most efficient way. The runtime search is a leaky abstraction in a way ;)

It's not an issue limited to Prolog, many solvers can be helped by steering the search in the "right" way. A declarative language for constraint problem like MiniZinc provides way to pass to the solver some indication on how to best search for example.

Also, most modern Prolog support tabling, which departs from strict DFS+backtracking and can help in some cases. But here too, to get the best results may require understanding how the engine will search, including tabling.
Macros and dynamic typic works fine, but performance is terrible for now as it's an AST interpreter. My main focus is going forward will be to finish the vm/jit backend.

There are at least a couple of other Lisps written in Zig, though I'm not sure about the state. One is in the Mal repository, the other was targeting WASM iirc.
SSH is great but rapidly becomes less so once companies decide to put their servers behind some times cascaded SSH gateways, so you need to know which magic invocation of jump hosts to put in to have your connection go through anyway.
There will be tariffs both in US and EU for protecting against Chinese EVs, so there's little pressure for them to hurry on the EV roadmap.
Well, the other thing they know how to do is make a product that people actually want to buy. Not sure how Chinese manufacturers are going to be able to do anything to change that. There is a specific demographic who will buy ONLY these trucks for their personal use. They are rugged, reliable, and last forever with proper service.
In my experience they were taught finances but were little shits who didn't take it seriously or pay attention at all. Then the exact same people years later complain about not being taught.
In Erlang even a nil will not lead to an unrecovered panic (if it happens in the process aka green thread).

Go made half a step in the right direction with goroutines, but never committed fully
Quick search, seems he donated to an anti-Hillary political group in 2016. That appears to be what attracts the accusation of racism.

Link to a quote or video of what he has done/said if you have further to add to the above.
I'm not finding any direct sources from OpenAI, but here's this snippet from a Reuters article [1]

> Priced at 15 cents per million input tokens and 60 cents per million output tokens, the GPT-4o mini is more than 60% cheaper than GPT-3.5 Turbo, OpenAI said.
It currently outperforms the GPT-4 model on chat preferences and scored 82% on Massive Multitask Language Understanding (MMLU), OpenAI said.

...

> The GPT-4o mini model's score compared with 77.9% for Google's Gemini Flash and 73.8% for Anthropic's Claude Haiku, according to OpenAI.

For some more context: We don't know the size of 4o-mini but Mistral's just released NeMo 12B scores 68% on the MMLU. [2]

[1]: https://www.reuters.com/technology/artificial-intelligence/o...

[2]: https://mistral.ai/news/mistral-nemo/
These are good asks. After xz I worry a little about how many eggs are
in the ssh basket.
Get married and have children. For time immemorial that is what your ancestors have done. It will not make you happy as you currently conceptualize it, but it will add purpose (and much suffering, as always comes with purpose) to your life. It is what you are designed to do.
I often find out that SSH is blocked in a lot of networks. This is frustrating, since I usually clone git repositories trough SSH (and I'm considering for this reason switching to HTTPS), since I find stupid having to use a VPN just to work with git.

If you really want to have something that gives you access to remote resources in any network the only solution is to use a VPN over TLS on the port 443, to make it impossible to distinguish it from any other normal HTTPS traffic. This is the reason why I run an OpenVPN server at my company, where normally I use Wireguard that is more performant (but it's blocked in a lot of networks).

At the end of the day port 443 with TLS traffic on it is the only thing that is guaranteed to not have been blocked (on port 80, 25, etc firewalls may check that you are effectively transferring HTTP traffic, they could not on 443 since the traffic is encrypted, tough a smart firewall can assume from traffic patterns that the connection is unlikely HTTPS, to this day I've jet to se a firewall this smart).