MurphyA/hacker-news huggingface dataset:
by cultofmetatron | 2025-04-19 17:33:11+00:00
> He entered the USA illegally - without "due process".

a judge put him on a DO NOT DEPORT order. whatever his means of initially entering the united states was, he obtained. LEGAL status.

> "evidence shows that he is a verified member of MS-13."

was there a TRIAL where this "evidence" was presented and deliberated? until that happens, I can't support incarcerating this man, to say nothing of sending him to a foreign gulag.

> Finally "due process" is being followed, after 4 years of being asleep at the wheel

No, the due process in place was a system by which someone who is here illegally could gain legal status. thats what harm reduction looks like. The due process you're talking about would have had him deported to another country. Not sent to a death camp. There was no legislation for sending people to a life sentence for merely being associated with ms 13.

> Its not complicated.

you're right, its not. Yet you're really not gettin this.
by hinkley | 2025-04-19 17:33:13+00:00
One of the things I would change if I could go back to childhood is to find the money and the people to play more Gauntlet. When I was in high school I became friends with a guy who knew where all of the co-op games were on the college campus just down the street from our school.

Most of the arcades I knew of were too small to house a beast like this, but I would have watched the hell out of this one.
by zamadatix | 2025-04-19 17:34:11+00:00
This is more like if someone pulled a truck down 2,800 miles of road between NYC and LA in 2012, left it there, and then you grabbed the rope in 2025 to pull it less than another tenth of a mile to have "shatters world record" in your blog title.

I.e. not only is this an extremely small increment but the original work did not have to be repeated. Nothing about the state of computing in 2012 would have prevented going the extra amount here, they just decided to stop. The original record even states (on https://sweet.ua.pt/tos/goldbach.html):

> On a single core of a 3.3GHz core i3 processor, testing an interval of 10^12 integers near 10^18 takes close to 48 minutes

So the additional work here in 2025 was the equivalent of running a single core of a 2012 i3 for ~70 more hours.

All this is a shame as the project itself actually seems much more interesting than leading claims.
by cepstrum9 | 2025-04-19 17:34:42+00:00
First of all, thank you for taking the time to write this, I appreciate it!

- you re spot on the pricing - I have no clear plan yet on the tiers and the exact figure per month - there are 2 options for me here as I see it: a) implement token based pricing to cover pricing for workflows that use my service’s OPENAI key b) allow users to just use their own API key, and just charge the extra organisation layer that my app provides - this would probably be in ~3-5 p.m

- why consider codii - thanks for calling out the inconsistency bit, I ll update that to be phrased more correctly, the basic idea is - code reviews on every pull request as an extra QA check.

- your 3rd point is bang on - 10 is pretty low, and ideally I d be able to sustain a free tier with more scans per month(logistics a bit complex to get right). I ve actually updated that to 100 but have not reflected on the landing page, definitely something I need to do. Re target audience, you ve spotted my confusion there as well, this is indeed aimed for solo devs for now, in which case I should not be claiming team-based benefits. So I want to evolve this slowly starting from solo devs and working my way up to small teams. The action I’m taking from this is to focus on realistic target audience not the one I d like to have in 2 years time.

- re clunky landing page, again you’ve got a solid point there, clunkiness can feel repulsive, this is me basically sacrificing UI for functionality in the chase of feedback, the action I’m taking is to polish up th landing page so that it doesn’t scare people away .

Thank you for the encouragement and the solid feedback! This is exactly what Im after in the current stage!
by AnimalMuppet | 2025-04-19 17:34:58+00:00
> in modern times

> hundreds of years of neglect

Hundreds of years, whether of neglect or not, means that it wasn't "in modern times". And, in modern times, hundreds of years of neglect is hard to come by. Either it's maintained, or it's torn down, because we haven't had civilization-ending catastrophies in modern times. So I would not expect to be able to show you many examples, because the pool of candidates is so small.
by GauntletWizard | 2025-04-19 17:35:03+00:00
I've been saying for a while that "Religion is a social technology". Thou Shalt Not Kill is not as universal a moral as you'd like to believe, and the other commandments are also good life advice. Even "Thou shalt have no other gods before me" serves an important purpose in keeping everyone on the same page.

Nearly every culture has a tradition of parables; Tales that reveal important truths by metaphor. Whether they be about how to interact with others, how to motivate and treat yourself, or of outside dangers.

Religion serves an important teaching purpose. Most have converged a lot; There's a lot of truths that are universal. Still, they're not all created equal. You probably shouldn't hate someone just because of their religion... Unless they're part of a death cult.
by TSkavinskyy | 2025-04-19 17:35:04+00:00
Are you a history buff who loves to imagine what it would have been like to witness historical events firsthand? Do you often wonder how iconic figures from the past would have shared their thoughts and experiences on social media? Look no further — Histolines is the perfect social network for you!

Histolines is an innovative platform that allows you to explore the lives of historical figures as if they were sharing their stories on a Facebook-like timeline. Every person in history is given a unique timeline filled with events, quotes, and pictures, creating a vivid and interactive representation of their lives.
by cassianoleal | 2025-04-19 17:35:11+00:00
> anything that carries state like a container

Containers don't carry state. They can be made to do so if you wish but there's nothing inherent to them that does it.

> in bigger orgs the standard will probably be K8s. And that has nothing to do any more with the simplicity of containers as mentioned in the article.

K8s can be very simple if there's a platform team ensuring great developer experience. I appreciate that this is likely rarer than you or I would like though.
by rhdunn | 2025-04-19 17:35:21+00:00
We have concrete evidence that either a) a new type of matter and energy exists, or b) our theories need to be modified in some way.

The orbit of planets in our solar system have hinted at missing matter several times -- one time it lead to the discovery of a new planet (Uranus or Neptune, IIRC); one time it lead to the discovery of General Relativity.

Until we either detect dark matter/energy, or develop a theory that accurately predicts the behaviour we're attributing to dark matter we cannot say one way or the other which is the correct approach.

It could also be that we are not accurately modelling EM/SR/GR effects at a large scale, such as how they are warped by the different stars orbiting the arms of the galaxies. Or that when we extend QED/QCD to accelerating reference frames (general relativity) that dark matter won't be needed, just like how QED was formulated by extending electromagnetism/QM to special relativity (non-accelerating reference frames).
Show HN: A smart coffee scale that can order coffee on its own
by rukenshia | 2025-04-19 17:35:39+00:00
Hello again! I recently shared another device of mine (a focus timer based around an epaper display) and seeing all the positive feedback motivated me to keep building :)

What you're looking at is a overcomplicated way of buying coffee a coffee scale that is connected to a coffee shop's (terminal.shop) API. You can order new coffee directly from the scale or even let it do that on its own once your bag starts to run low. It also allows you to weigh out single doses of coffee. Apologies if this sounds a bit too much like an advertisement for them, but that's the reason this is even a thing.

The README contains more information on all the background, how I built the device, and assembly instructions.
by philipkglass | 2025-04-19 17:37:02+00:00
Are there comparisons between int4 QAT versions of these models and the more common GGUF Q4_K_M quantizations generated post-training? The QAT models appear to be slightly larger:

https://ollama.com/library/gemma3/tags

I presume QAT are better but I don't see how much better.
by bitwize | 2025-04-19 17:38:26+00:00
Robots that combine the mobility advantages of both wheels and legs are going to proliferate, I think.

I saw vids of a Chinese "dog" style robot with wheels shredding like Tony Hawk, climbing stairs and even small walls, etc. If this footage is real, and Chairman Xi gets it in his head to airdrop them on our shores, the West is cooked.
by mustache_kimono | 2025-04-19 17:38:36+00:00
> So, on what basis do you fairly say that "modern apps are slow"? That's why I say to use faster software as reference. I have linux and windows dual boot on same machine. An dthen difference in performance is night and day

Then you're not comparing old and new software. You're comparing apples and oranges. Neovim is comparable to VS Code in only the most superficial terms.
Show HN: I made an app to get Paraguay residency and citizenship
by hikraljevic | 2025-04-19 17:39:06+00:00
Hi Everyone!!

CitizenPY is a product by Societies Civis Which helps made Dual Citizenship simple by systematising and simplifying the process for the user by asking them questions and showing them if they are eligible and the paths they can take., showing them the cheat codes and hacks to skip the queue and bringing the cost down for users by connecting them with trusted partners.
by toast0 | 2025-04-19 17:39:11+00:00
Large environmental arcade installations were always pretty rare. The structure makes it more expensive to build and move and harder to find a space to exhibit.

That said, giant space invaders and pac man are showing up a lot lately. I saw a 4 player Halo environmental recently (although it's out of production) [1]. I've got a 2-player environmental fron 1994 that's linkable up to 6 players (the spouse says absolutely not, but I did play a 6-player setup once! and I have two extra system boards, maybe one day I can smoosh them into uprights and link it all. I think two player, but linkable makes a lot more sense for sales; but then it's hard to find an arcade that's got more than one of the units. Some of the modern racers are single player but linkable; you often see them in pairs, but sometimes singles or quads; and very occasionally more.

Of course, modern arcade systems are just PCs, but then so are the high performance home consoles.

[1] https://rawthrills.com/games/halo-fireteam-raven/
by EA-3167 | 2025-04-19 17:39:14+00:00
If you think this is going to primarily be used to hold rich and powerful people to account for intimidating the less fortunate and well-connected, I think you're going to be surprised. Personally I expect it's far more likely to be used in precisely the opposite way, when it's used at all. Then again the most likely outcome is eventual challenge on free speech grounds, which will probably prevail because as the article points out:

> Sen. Floyd Prozanski, a Eugene Democrat and prosecutor, said it’s already a crime to threaten serious physical harm and alarm to others through the state’s harassment statute or to incessantly harass a person by calling them, as laid out in the state’s telephonic harassment law. What Senate Bill 1121 does is make it a crime for the person who encourages others to do that harm through doxxing, Prozanski said.

IMO doxxing is a TOS issue for platforms to manage, not something that requires legislation. Because again, putting aside the historical interpretation of Becket's murder, it didn't involve doxxing, and what it did involve would already be criminal today.

tl;dr The solution to lax moderation by incompetent and greedy companies is not to shift the burden onto the taxpayer and over-burdened legal system, with a callous disregard for existing law.
by pmags | 2025-04-19 17:39:24+00:00
n.b. Down votes are not mine

Azoles (and other antifungals) are indeed still used in the US and there is documented azole resistance in important opportunistic fungal pathogens such as Aspergillus in the US:

• Celia-Sanchez BN, Mangum B, Gómez Londoño LF, Wang C, Shuman B, Brewer MT, Momany M. Pan-azole- and multi-fungicide-resistant Aspergillus fumigatus is widespread in the United States. Appl Environ Microbiol. 2024 Apr 17;90(4):e0178223. doi: 10.1128/aem.01782-23. Epub 2024 Apr 1. PMID: 38557086; PMCID: PMC11022549. -- https://pmc.ncbi.nlm.nih.gov/articles/PMC11022549/

Table 1 in this paper gives estimated azole use in various countries. US is lower than many European nations but still nowhere near zero.

• Burks C, Darby A, Gómez Londoño L, Momany M, Brewer MT. Azole-resistant Aspergillus fumigatus in the environment: Identifying key reservoirs and hotspots of antifungal resistance. PLoS Pathog. 2021 Jul 29;17(7):e1009711. doi: 10.1371/journal.ppat.1009711. PMID: 34324607; PMCID: PMC8321103. -- https://pmc.ncbi.nlm.nih.gov/articles/PMC8321103/
by AStonesThrow | 2025-04-19 17:39:32+00:00
It's not like the librarians have unilateral choice here. Old books on the shelves get vandalized and stolen; new books are not easy to come by, due to reduced print runs and supply-chain issues. How many times have we heard complaints about Amazon orders being "print-on-demand", and the quality is horrible? And if a published book is typeset in original PDF format anyway, why not distribute it that way to begin with?

Librarians have the demand side to cope with too. Personally, I don't enjoy checking-out books from the library. They're heavy; they require a backpack to carry them; they're not ubiquitously available to me wherever I am; they need to be physically lugged back to the same place where I found them. So yeah, I'd rather have an eBook.

But I contend (not in front of librarians) that a book such as a "Lakota Language Dictionary" is irreproducible in electronic form, because scholars have striven to compile those in print form; they developed new orthographies and documented the existing ones; and any new electronic-format dictionary must be recompiled, retypeset, and re-edited to satisfaction for a new publisher. So we won't have the same materials.

I used to derive great joy from finding really old copies of the Vedas, or a Navajo dictionary, but mostly Hindu texts in the original scripts. And yeah, they were painstakingly compiled by British colonisers and oppressors. But that history is preserved because of those colonists having a scholarly interest in "Hindooism". And those Vedic texts, and Panini's grammar, will not be directly transcribed to eBooks. They may take photographic images of them and shove them into a PDF, but those volumes will be given short shrift, because they're all Public Domain anyway.

The money's in stuff that you can copyright and IP that you can defend. And that's where libraries and librarians are going to follow.
by soulofmischief | 2025-04-19 17:39:35+00:00
I saw people literally get scalped and flayed alive growing up on the internet and all it did was increase my empathy for people and compel me to pay attention to the violent struggles happening around the world.

I'm not saying exposure to such material doesn't risk traumatizing a child or even an adult, or that I am entirely untraumatized by what I've seen, but it still pales in comparison to the violence I faced at home. The problem is that it's like abstinence or prohibition: If such material is legally restricted, when people do encounter these materials, it won't be in a safe environment and the risk for trauma is much greater. To be clear, I do understand that some people fetishize violence, but I believe this risk is also greater if there is not a safe avenue for understanding the darkest sides of humanity.
by OneDeuxTriSeiGo | 2025-04-19 17:39:43+00:00
The issue is that by forcing children to identify themselves to access information, be it the internet or a library, etc is that by doing so you are normalising that there are limits to what knowledge a person is allowed to consume or possess based on who they are.

That immediately paves the way for expansion of those restrictions.

We see that currently with efforts to "protect the children" by limiting access to things like porn. It's reasonable on it's face but immediately gets weaponised to start banning access to any content that isn't gender or sex normative.
by WarOnPrivacy | 2025-04-19 17:40:10+00:00
> Choosing what to put on limited shelf space is inherently a process of choosing what to remove and to exclude. It is zero sum.

Titles are removed when the card catalogue shows they aren't being checked out. Those titles can be bought by the public at a steep discount.

What is included are titles that are likely to be checked out, plus what individual patrons ask for.

I've done the latter. For some unusual titles I had to supply the ISBN. If they were in print, they were on the shelf within a month.

Excluding books is a recent phenomenon driven by book-banning agendas.

> Books on the shelf is partial transparency. What was excluded, what was removed. What was requested for by patrons but not chosen.

This seems to flow from wholly imagined concerns - ones that are trivially debunked.

What is removed can be seen for sale and is also recorded in the card catalog. What is excluded (when book-banning efforts are successful) is also recorded.

What is requested by patrons is stocked. Again, I've done it.
by ogogmad | 2025-04-19 17:40:26+00:00
No, using complex numbers alone DOES NOT work. To really allow complex numbers, you also need Riemann surfaces. The function "ln" has type ln: R -> CC where "R" denotes the Riemann surface corresponding to the natural domain of ln, and "CC" denotes the complex numbers. See here for details: https://en.wikipedia.org/wiki/Complex_logarithm#The_associat...
Show HN: Ibex – a cross-platform iOS backup decryption tool
by initzero | 2025-04-19 17:40:28+00:00
ibex is a cross-platform tool designed for decrypting and extracting iOS backups. It provides forensic investigators, security researchers, and power users with the ability to access and analyze encrypted iOS backup data. It can be built and used on macOS, Linux, and Windows and is permitted to be used only with the explicit and informed consent of the backup data owner.

Ibex was written in Go for straightforward compilation and to circumvent dependency issues and with the goal of enabling researchers and defenders assisting civil society victims of spyware and stalkerware

Key Features - Decrypt encrypted iOS backups - Support for latest iOS versions - Cross-platform compatibility (macOS, Windows, Linux) - Automatic backup detection - Single file extraction based on filename match - Structured output organization - Detailed manifest parsing and extraction

Basic Usage Examples

# Run with automatic backup detection and interactive mode ibex

# Specify just the backup path ibex -b /path/to/backup

# Specify backup path and password ibex -b /path/to/backup -p "backup_password"

# Specify custom output directory ibex -b /path/to/backup -p "backup_password" -o /path/to/output

# Specify a single file for decryption and extraction ibex -b /path/to/backup -o /path/to/output --file sms.db

# Specify relative path preserved output ibex -b /path/to/backup -o /path/to/output -r
by 627467 | 2025-04-19 17:40:32+00:00
> if something is not aligned to human interests and norms, they won’t do it.

I won't litigate strongly against this statement because its obvious this matters, but human interests and norms are not immutable and the mechanism to change it definitely involve doing things (at some scale) that can be seen as abnormal or against (some) human interests. This tension and how it's resolved is the evolutionary pressure.

> where we think the culture itself is rigid

Well, the article cites the example of the Spanish failing for decades to irrigate the land because they dismissed the existing culture. Seems like the author has a rigid view of culture, because it seems clear to me that the syncretic culture post-conquest (Spanish ruled) was one radically different to indigenous or european ones.
by nrvn | 2025-04-19 17:40:58+00:00
what happened to the "$5 is just a cup o' coffee" argument? Are we heading towards the everything-for-$100 land?

On a serious note, there is no clear evidence that any of the LLM-based code assistants will contribute to saving developer time. Depends on the phase of the project you are in and on a multitude of factors.
by cryptoz | 2025-04-19 17:41:20+00:00
I suppose I wanted more from this post than I got. But on the other hand, nobody really knows the future of work yet so it'd all be speculation anyway.

I think I have a pretty good vague idea though; it'll be collaborative between humans and AI. We'll do different things on our computers and I hope, maybe even use our brains more in planning, architecture, etc, be it code or otherwise.

Humans like being in control and (often) don't like the dirty details of real work - although I recognize the HN crowd is an exception and does in fact love the dirty details of getting work done. But globally, outside of software especially, I think we'll want to move details to the AI (as scary as that sounds) and have higher-level management tasks for humans. Not just code review, but yes, code review too.
by toasterlovin | 2025-04-19 17:41:22+00:00
Sorry that you had a bad childhood, but the answer to you, personally, having a bad childhood is not “the state should subvert the primacy of the nuclear family and the parent/child relationship.” Just consider things under Rawls’ Veil of Ignorance: would you want a hypothetical extremist Catholic state to be able to subvert your relationship with your own (hypothetical) children?
by matheusmoreira | 2025-04-19 17:41:33+00:00
> you do kinda legally have to share that modified source code

I'm using the license exactly as intended. Upstream developers literally don't matter. Free software is not about developers, it's about users.

Free software licenses say the user gets the source code. They're about empowering the user, in this case me, with the ability use and modify the software as I see fit. If I customize something for my personal use, then I'm the only user of the fork and license terms are fulfilled. People would only get to demand source code from me if I started distributing compiled executables to other users.

> You've got no need to campaign for the solutions if they get rejected.

I used to feel that need. Caused me significant anxiety. I thought upstreaming patches was the Right Thing to do. Mercifully I've been cured of this misconception.

> There's really no downside beyond taking 5 minutes to be nice and at least put your solution out there.

I have no problem with that. My point is getting involved with upstream is often more trouble than it's worth. Let them do their thing. Just pull from them and rebase your changes. Enjoy life.

People should think twice before trying to cram their unsolicited code down other people's throats. Even when they ask for the code, chances are deep down they don't actually want to deal with it.
by zanfr | 2025-04-19 17:41:41+00:00
by that token; you can argue HIV is endemic and nothing should be done about it... people will understand wearing condoms but apparently can't understand masking... hmm... neither are very difficult to do, I'd argue that wearing a condom is more tricky in some aspects.

the reason is simple: wearing a mask reminds people there is a risk and it doesn't "look good", despite its many advantages for many pathogens and pollutants; also acknowledging indoor air quality is crap is hard for businesses (and governments) to do since they would need to invest into better ventilation and filtration systems.