MurphyA/hacker-news huggingface dataset:
by sriram_malhar | 2025-04-18 16:34:30+00:00
Your first point is not comparing the same thing. STM is wonderful, but as you no doubt know, it is meant for many TVars to be read/modified. This necessarily has overhead (transactional logs), performs poorly under contention and also is subject to livelock, and has no fairness.

In your goblin example, I believe the gnomeAccountantThread would have to constantly retry, because the writer (if successful) would have produced a new version of two accounts, which would trip up the reader, forcing it to start again. In general, Haskell's STM is built for short-lived transactions; for longer running transactions or those that touch a lot of objects, you'd need something like multi-versioned objects seen in databases or epochs to get a consistent snapshot. Neither Rust nor Haskell is suited to this example out of the box.

For your second question, you assume axiomatically that locks are problematic. They aren't in Rust (except, see later about deadlocks). Unlike any other language with in-place mutation, Rust will force you to use a mutex in order to share something for read-write (in a multiple writer scenario), otherwise it won't compile. You have to use lock() in order to get access to the underlying object, and once you have that object, the type system makes sure only the owner can mutate it. In C/C++/Java/Go, you don't get this guarantee at all ... it is possible to mistakenly use the object without using a mutex. So, there is not guarantee of safety in the other languages. There is a 100% guarantee in Rust.

---

That said, the problematic part about locks (whether it is mutexes or MVars in Haskell) is deadlocks, which is solved by having a deterministic lock order. In your Haskell example, if acctA and acctB were MVars, you'd do

let (first, second) = if acctA < acctB then (acctA, acctB) else (acctB, acctA) withMVar first $ \_ -> withMVar second $ \_ -> do ...
by nine_k | 2025-04-18 16:34:35+00:00
This is sadly so; TS's type system is unsound. But so is C#'s, in ways much more egregious that in TS. Despite that, both languages are very usable in practice, and their static checks prevent a very wide range of problems common in languages without a static type system.

If you need bulletproof soundness and JS as the runtime, you have Purescript %)
by ashvardanian | 2025-04-18 16:34:39+00:00
I've made a bunch of bad measurements, until someone reminded me to:

#if defined(__AVX512F__) || defined(__AVX2__) void configure_x86_denormals(void) { _MM_SET_FLUSH_ZERO_MODE(_MM_FLUSH_ZERO_ON); // Flush results to zero _MM_SET_DENORMALS_ZERO_MODE(_MM_DENORMALS_ZERO_ON); // Treat denormal inputs as zero } #endif

It had a 50x performance impact on Intel. As benchmarked on `c7i.metal-48xl` instances:

- `f64` throughput grew from 0.2 to 8.2 TFLOPS. - `f32` throughput grew from 0.6 to 15.1 TFLOPS.

Here is that section in the repo with more notes AVX-512, AMX, and other instructions: <https://github.com/ashvardanian/less_slow.cpp/blob/8f32d65cc...>.
by tzs | 2025-04-18 16:34:50+00:00
> But ask yourself: "Which party supports actual election integrity more? The one that insists on US citizens voting in person with valid id (nothing special, just the id that we all need to get by in society),

You mean the ID that around 21 million US citizens who are eligible to vote do not have and don't have the time and/or money to get that ID? Here's a comment that contains links to a whole bunch of articles covering this, many of which contain extensive links to sources [1].

It is cute how some people can simultaneously believe that (1) you need the type of ID that Republican voter ID laws require for voting in order to get by in society (and so everyone already has the ID they need), and (2) there are tens of millions of illegal aliens who have been living in this country long term (and hence are obviously getting by).

This implies either that you don't actually need such ID to get by or that illegal aliens can easily obtain such ID (which makes the ID law ineffective at preventing fraud).

[1] https://news.ycombinator.com/item?id=42116609
by Amezarak | 2025-04-18 16:35:13+00:00
Yeah, usual dates for the new Testament are all first century.

https://en.wikipedia.org/wiki/Dating_the_Bible#Table_IV:_New...

I think it's important to note the primary argument for even that "later" dating of the end of the first/beginning of the second century is that the gospels predict the destruction of Jerusalem. There is no "hard" argument on the lower bound, only the upper bound (earliest known physical evidence.) I don't think it's particularly wild to suggest, even for a secular historiographer, that the vague, flowery language taken to prophesy the destruction of Jerusalem could have been written without any supernatural influence. It had happened before, and tensions were high.

Luke-Acts claims to be written by an eyewitness (the latter part of the narrative of Acts shifts to first person as he describes events he allegedly participated in versus just heard and read about) and John also claims to have been written by an eyewitness. I don't think there's any particularly strong argument against that, but the scholarly consensus goes back and forth over time.
by vinceguidry | 2025-04-18 16:36:52+00:00
Brain drain from the rural areas to urban ones is extremely real and is only getting more serious. It's an economic problem created by politics that lands on women harder. Marriage laws are patriarchal culture's answer to this. The mindset goes, "real men provide and care for their family and if they can't, it must be their fault." Cruelty is a feature, not a bug, and they're more than willing to apply it indiscriminately.
by pdimitar | 2025-04-18 16:36:53+00:00
Well, you can at least check out Zed and Helix first? Many people say they work perfectly for them and that they are simpler than both Emacs and [Neo]vim.

LSP Code Actions is super neat though. You can have a compiler error or a warning and when your cursor is positioned on it (inside the editor) you can invoke LSP Code Actions and have changes offered to you with a preview, then you can just agree to it and boom, it's done.

Obviously this might be too much work or too tedious for a hobby project, but it's good for you to know what's out there and how it's used. I don't use LSP Code Actions too often but find them invaluable when I do.
by pclmulqdq | 2025-04-18 16:37:02+00:00
> The idea that Congress shouldn't be delegating its power to regulatory agencies was a fringe one until very recently

Between about 1985 (Chevron) and 2010 (the populist movements in both parties), this idea was at its nadir of popularity. For the entire rest of US history from 1776-1980 and 2010-2025, a distrust of a large executive branch was very popular, and pretty much bipartisan most of the time. Just because you do not remember a time when this idea was popular, it does not mean that it was a fringe one only until very recently.

Congress is designed to be gridlocked. That's its natural state. We are now learning why it's a good idea to have a relatively ineffective government.
by mlhpdx | 2025-04-18 16:37:56+00:00
The material seems dated. Modern yachts choose to be limited by displacement speeds but aren’t bound by them. New models that can rise on plane (like a speed boat) because of advances in materials and manufacturing are starting to proliferate (small sail boats known as “dinghies” have been doing this for decades but larger boats were limited by their heft). That’s not to even go into the wide ranging use of foils, which isn’t relevant to casual sailors but are prolific in high end racing.

Sailing isn’t what it used to be.
by Epa095 | 2025-04-18 16:38:42+00:00
Little Rock Nine is 68 years ago. Several of those screaming women are still alive. It's really not that long ago.

But it's very telling that you keep phrasing it as 'punishment'. The problem when you truly fuck over people for many generations, is that it takes generations to make up for it. Not to punish, but to actually give the children and children's children of the victims a fair chance. Especially in such a hard and competitive society as the American one, where your familys wealth is so indicative of how well you will do.
by iamacyborg | 2025-04-18 16:38:51+00:00
> My impression is that parents are increasingly alarmed at young boys becoming bitter misogynists

This seems more in line with the increase of mysoginist influencers (Andrew Tate and the like) and less to do with porn. The former of course being the type of content that social media companies are more than happy to proactively promote to children.
by toomuchtodo | 2025-04-18 16:39:41+00:00
Valuable feedback, and I appreciate the time you took to provide it. I understand that asking "what does good look like in this regard?" is perhaps not helpful, as it seems mods are still attempting to ascertain that based on mod ops strategy and iterating on that strategy (shaping discourse through actions and weights against posts and comments) to achieve an idea of what is desired on HN wrt to intellectual curiosity. I'll look through the past comments you shared to better understand the conclusion I should be arriving at. Thanks again.
by roordan | 2025-04-18 16:39:52+00:00
There is a generalized reasoning that current LLMs still miss. It's hard to put a finger on it. Things like hallucinations show that there isn't a self awareness of thought. "Thinking" models are getting closer.

From most of my network trying to make products based on LLMs, excluding cost, the biggest hurdles are hallucinations, and seemingly "non-sensical" reasoning or communicating. Subtle choices that just "feel" not quite right. Particularly when the LLM is being constrained for some activity.

Open-ended chat doesn't show these flaws as often.
by mulderc | 2025-04-18 16:40:10+00:00
NPR had a story on this topic years ago and the researchers they talked with said diversity appears to have a negative impact on startups but a positive impact on established businesses. The logic was startups are smaller and need to move fast and be focused so DEI type efforts distract from the main business at that time. Once established diversity help the business by having people that can see business opportunities and challenges that a more homogenous workforce would not otherwise notice.
Show HN: I made a Doom-like game fit inside a QR code
by kuberwastaken | 2025-04-18 16:40:25+00:00
I sometimes pick up random projects just because I can, this was one of those times. I made it as a week long project a while back this year but never shared here, so thought to go for it haha.

I created a game inspired by Doom and the backrooms called The Backdooms under 2.4kb in minified html. (for reference, this entire post would be around 1.8kB haha) I had to use a not popular way of using GZip with Zlib headers (had to write my own script for compressing it, also in the repo) to eventually convert it a size 40 QR code that works right in your browser using Decompressionstream API.

This is of course a very oversimplified description of it, using a lot of the same technologies that DOOM had but combining it with infinite seed based map generation in 2.4kb (QR codes can only store 3kb, which includes changing formats) was pretty hard.

Here are some links about it if you want to nerd out and read more:

Repository Link (MIT License): https://github.com/Kuberwastaken/backdooms

A Hosted (slightly improved) version of The Backdooms: https://kuberwastaken.github.io/backdooms/

Game Trailer: https://www.youtube.com/shorts/QWPr10cAuGc

My Linkedin post about it: https://www.linkedin.com/feed/update/urn:li:activity:7295667...

(PS: You'd need something like https://qrscanner.org/ or something that can scan bigger QR codes and put the text data onto your browser to play it)

My Blogs documenting the process and development in detail:

https://kuberwastaken.github.io/blog/Projects/How-I-Managed-... https://kuberwastaken.github.io/blog/Projects/How-I-Managed-...
by QuietWatchtower | 2025-04-18 16:40:43+00:00
I've had the same experience about people in the industry being concerned. But private company heads are well aware of what's happening to the folks that have crossed Trump before or recently. Such as Harvard, state of Maine, the law firms strong armed to doing pro-bono.

Anyone surprised that the greedy executives at the top don't care if anything were to happen to Chris Krebs, Brian Krebs, Bruce Schneier, etc. under this admin is naive to this new dynamic. Nonetheless, it's disgusting to see.
by andrewfromx | 2025-04-18 16:40:56+00:00
I guess the point I'm making is why are you not just asking AI these questions?

------------ This probabilistic approach allows the system to:

Escape local energy minima (preventing the system from getting stuck in unrealistic configurations)

Properly sample the thermodynamic equilibrium states according to their Boltzmann weights

Model thermal fluctuations realistically

The beauty of the RFIM specifically is its balance between:

Ordered tendencies (through the J parameter controlling spin-spin interactions)

Disorder and frustration (through the random fields)

Thermal noise (through the temperature parameter)

This combination creates the complex behaviors you're looking for in your simulation - like phase transitions, hysteresis, and avalanche effects. The random fields introduce "frustration" into the system, where different forces compete and create rich, emergent behaviors. --------

that's all from ai
by PaulHoule | 2025-04-18 16:40:58+00:00
That 80/20 idea is one of the worst startup killers I know. If you were my boss I'd be putting on my parachute and heading for the airstairs and expecting to see a plume of smoke wherever you impact.

You don't have to do 100% of what anybody might want, but you have to accomplish 100% of a minimal viable product and some of that is grindy and unglamorous. People who set out to do the easy 80% just don't get to the MVP.

I like Covey's quadrant model

https://purdue.edu/asc/handouts_pdf/Coveys%204%20Quadrants.p...

my take is 80/20 managers inevitably let "important but not urgent" work be undone. See also

https://en.wikipedia.org/wiki/Minimum_viable_product
by Epa095 | 2025-04-18 16:41:47+00:00
I agree strongly with this comment

The reason you are likely to get downvoted is because you are substituting personal attacks and rhetoric ("coddling", "hysteria", etc.) for actually engaging with the issues.

I was thinking of writing something similar in my sibling comment, but I did not find a good phrasing. But when I read OP's comment again after writing my comment, I got this sinking feeling of 'there is just no point. This person is already strawmanning everyone else, and has pre-victimized themselves'. But maybe civil discourse is possible and useful?
by empath75 | 2025-04-18 16:42:24+00:00
> I find it odd how Easter, a pre-Christian Pagan festival (worshipping goddess of fertility: Eostre) has become seemingly-arbitrarily connected to the purported events at the end of Jesus' life.. yet it still includes a good amount of the prior symbolism (rabbits, eggs etc)!

This is an oft-repeated canard for which there is basically no evidence. In particular, there's no evidence for "easter bunnies" prior to 17th century protestant Germany, who then brought it to the US, when they migrated to Pennsylvania (ie: The Pennsylvania Dutch). Those aspects of the celebration aren't Christian or pagan, they're secular things that people do because it's fun for the kids, and that has always been the case.
by PolCPP | 2025-04-18 16:42:33+00:00
The only options i see are:

- Give the modding tools for free with the game (like many games do anyway). You're commercializing the game no the modding tools - Make the tools defold-free ? So it reads the game data but its not defold. - Tools for free but charge for support/warranty?, Clause 9 lets you sell support/warranty; you just can’t charge for the software license itself.
by artimaeis | 2025-04-18 16:42:45+00:00
It's been a while since I read Rand - but I thought she felt that those monopolistic forces would use the government to empower that monopolistic behavior. What we're seeing is that if the government does nothing then that monopolization absolutely continues.

I don't see a way the free market alone could deliver us from this. Well crafted and enforced antitrust legislation seems to be the only thing that has ever worked against this kind of force. The key in that is making sure we don't elect an oligarchy who wields that antitrust to defend their interests.
by alabastervlog | 2025-04-18 16:43:05+00:00
About a year ago I moved to a new, largish company and, for the first time in my career, got to see how a company can be bad at remote work.

It's by being bad at work, period, but in ways that can be partially mitigated by being in-person. Poor documentation of processes, lots of know-the-right-person involved in getting anything done or figured out, using Teams (its design is remarkably awful for organizing and communicating within and among... teams) rather than literally any other notable chat system, et c.

This stuff is also making in-person work less efficient but it's easier to work around the problems when in-person.

Better than resisting remote work, would be for them to suck less at managing a business. Even if they continued resisting remote work, they should do that!
by samus | 2025-04-18 16:43:13+00:00
You don't get near death experiences just by holding breath, not even close. You might eventually be able to make yourself pass out though, so never ever practice long breath hold under circumstances where a loss of consciousness would be a danger, e.g., while driving, close or in water, close to streets or high drops or stairs, etc.

Lethargic states stop you from doing what you want to do and to manage your time effectively. Allocate time being in such states for resting or sleeping hours.
by cynicalpeace | 2025-04-18 16:43:24+00:00
The problems the US has with inequality can be laid squarely at the foot of the dollar being the world's reserve currency.

It works like this:

The world uses dollars in international trade.

Who produces the world's dollars? Washington and Wall St. Congress mandates spending, which is funded by the Fed printing money and purchasing bonds. The Fed also controls the money supply via interest rates and fractional reserve banking.

This is a very complicated system, but the end result is the same. Washington and Wall St produce dollars that the world very much wants.

World needs dollars from Washington and Wall St, but Washington and Wall St. need something in return. This ends up being cheap manufactured goods.

The result: dollars and manufacturing jobs get exported abroad, and cheap goods get imported. Washington, Wall St, and their hangers-on (their investments in tech, hollywood, etc) become rich.

The average American gets a bunch of junk in their front yard. They don't work at Bath Iron Works like their grandfather, they get everything they "need" simply by working at 7/11 or as a mortgage broker.

This is easily demonstrated by a wealth of data and theory. You can check out [WTF Happened](https://wtfhappenedin1971.com/) in 1971, see the [Elephant Curve](https://en.wikipedia.org/wiki/The_Elephant_Curve), and see the [Triffin Dilemma](https://en.wikipedia.org/wiki/Triffin_dilemma).

The stuff about taxing the rich, deregulation, DEI, nationalism, etc have been a distraction from this fundamental shift in American society. Always follow the money.

Fortunately, the current administration understands this better any previous one.
by lakkal | 2025-04-18 16:43:25+00:00
The K-Mart where I worked in 1983-1988 had a cafe, called 'The Grill'. Ours had booths, with smooth curved plastic (unpadded) benches. The ones along the edges were typical booths but there was also a row down the center of the same thing without side walls. Orange seats and brown tabletops, I believe. A quick look at the google'd images from above doesn't show anything that looked quite like what my store had.

I announced Blue Light Specials from time to time myself. There were a bunch of rotary-dial phones throughout the store, and if you dialed a certain number (I forget what it was) you could talk on the PA system. It's surprising it wasn't abused.
by rat87 | 2025-04-18 16:43:30+00:00
Easter is not a Pagan holiday. Its only named similarly in German and English. If it's linked to any other religious holiday it would be the Jewish holiday of Passover, in most languages it's name is based on Paschal/Pesach(passover) and the last supper was likely a passover meal. Early Christians timed Easter based on the Hebrew calendar/Passover
SEO for LLMs, my research and conclusion
by rrmdp | 2025-04-18 16:44:08+00:00
I keep learning, trying and researching about SEO for LLMs

My research is for my meta job boards directory website, I get cited for keywords like "How to drive traffic to a job site" or "How to promote a job board".

The top 3 most important things to get cited for me are:

1. Your DR (Domain rating) 2. Blog articles that actually answer niche questions 3. Get indexed on Bing (by submitting to Webmaster Tools)
by mlhpdx | 2025-04-18 16:44:15+00:00
I finished my first race Wednesday after a few years sailing casually. And, although it’s true that whenever there is more than one sailboat going the same direction it’s a race, being in a fleet on a defined course is much faster paced and precise. My analogy to driving is that cruising is being able to drive on empty roads, and racing is driving in traffic — it becomes about understanding the flow and rules spoken and unspoken.
by japhib | 2025-04-18 16:44:17+00:00
You'd be hard pressed to find console support for much less than that - compare it with Unity or GameMaker's console support tier and you'll find it's pretty similar.

It can take hundreds of dev-hours to port your engine to consoles yourself, so having another company handle it for you, for all 3 consoles, for only $2000 is a pretty good deal!
by nonrandomstring | 2025-04-18 16:44:34+00:00
We agree on human incompleteness. One limitation of recent tree-dwellers on utterly unremarkable small blue-green planets on the western spiral arm of the galaxy might be how we think about things like "consistent"? Or "knowable"? What if those things weren't a component of intelligence at all, but features a singularity which looks different depending on which side you approach it from? In maths, that's not even weird? [0]

[0] https://cmsa.fas.harvard.edu/event/yip-2025/
by lakotasapa | 2025-04-18 16:44:59+00:00
I'm in a similar mindset although can't get my side project(s) going. Since 2019, my son was born, my brother died, and my mother is getting to the point where she won't be able to care for herself. We moved out of the Bayarea to my chagrin, to be closer to my wife's ageing parents in Portland. Didn't had any before, but having moved and new, it's even harder to make social connections no tech here. I feel you, and I believe you and are in the same place mentally; lacking passion, motivation, sense of belonging, purpose. I suspect maybe midlife sort of crisis? If you wanna have a convo. Ping me Lakota gmail.
by MichaelDickens | 2025-04-18 16:45:20+00:00
> Citizens who elect politicians without respect for human rights and privacy don't really deserve anything nice anyway.

Unfortunately things don't always work out that cleanly:

- Sometimes you vote for the pro-freedom candidate, but your candidate loses. - Sometimes there are only two dominant candidates, and both disrespect human rights. - Sometimes one candidate disrespects human rights in some particular way, but the other candidate has different, bigger problems, so you vote for the lesser of two evils. - Sometimes a candidate says one thing while campaigning, and then when elected does something different.