MurphyA/hacker-news huggingface dataset:
by jacquesm | 2025-11-06 02:23:12+00:00
I was heavily into assembly before I discovered C. For the first decade and half or so I could usually beat the compiler. Since then, especially when supporting multiple architectures I have not been able to do that unless I knew some assumption that the compiler was likely to make wasn't true. The 'const' keyword alone killed most of my hand optimized stuff.

In the end the only bits where I resorted to assembly were the ones where it wouldn't make any sense to write stuff in C. Bootloaders, for instance, when all you have to work with is 512 bytes the space/speed constraints are much more on the space side and that's where I find I still have a (slight) edge. Which I guess means that 'optimal' is context dependent and that the typical 'optimal' defaults to 'speed'.
by eru | 2025-11-06 02:23:33+00:00
You can think of property based tests as defining a vast 'universe' of tests. Like 'for all strings S and T, we should have to_upper(S) + to_upper(T) == to_upper(S+T)' or something like that. That defines an infinite set of individual test cases: each choice for S and T gives you a different test case.

Running all of these tests would take too long. So instead we take a finite sample from our universe, and only run these.

> With non-deterministic tests I would always wonder if it's going to fail randomly after the code is already in production.

You could always take the same sample, of course. But that means you only ever explore a very small fraction of that universe. So it's more likely you miss something. Remember: closing your eyes doesn't make the tiger go away.

If there are important cases you want to have checked every time, you can use the @example decorator in Hypothesis, or you can just write a traditional example based test.
by jeroenhd | 2025-11-06 02:23:52+00:00
The vulnerabilities themselves often didn't really affect Chrome, but by the maintainers' own admission the code was never intended to be security critical. They got burned out after a series of vulnerability reports with publication deadlines made them decide to just take security bugs like normal bugs so the community could help fix things. That doesn't really fit with the "protect users by keeping security issues ecret for three months" approach corporations prefer. Eventually the maintainers stepped down.

Neither Google nor Apple were willing to sponsor a fork of the project but clearly they can't risk unmaintained dependencies in their billion dollar product, so they're rushing to pull the plug.

"Who knows what's lurking there" is a good argument to minimize attack surface, but Google has only been adding more attack surface over the past couple of years. I find it hard to defend that processing a structured document should be outside of a browser's feature set, but Javascript USB drivers and serial ports are necessary to drive the web. The same way libxml2 was never intended to be security critical, many GPU drivers were never written to protect from malicious programs, yet WebGPU and similar technology i being pushed hard and fast.

If we're deleting code to improvve against theoretical security risks, I know plenty of niche APIs that should probably be axed.
by fullstacking | 2025-11-06 02:24:08+00:00
Your not wasting my time, I'm trying to do something about it. I'm just not gonna agree that what lead us to this issue in the first place in also the solution and no your comparison is not apples to apples.

Calling the server distribution is an over simplification of the issues. To this point we should only use the browser in the terminal, but even when its just text it still has to "format" it's content.

this the problem, who owns the "formats" for the content in a system where many sub systems needs to be aware of "formatting"

If the server didn't have to be aware of the html at all and it was only ever just raw data I would agree with your view.
by almosthere | 2025-11-06 02:25:31+00:00
Yes I was being sarcastic. But in CA when a typical wage went to $20 for Walmart or fast food, everything skyrocketed. At my grocery store you can get a bag of Fritos for $6 now, which should be no more than $2. If we triple the $20 (making it $60) we'll be paying $18 for a bag of Fritos. So yeah, I was joking a bit on the bread loaf, but we would be in an era of paying $600 for your grocery trip for 4 days of eating.
by 1vuio0pswjnm7 | 2025-11-06 02:25:33+00:00
Google wins on summary judgment

https://storage.courtlistener.com/harvard_pdf/8726429.pdf

"For the reasons set forth above, plaintiffs motion for partial summary judgment is denied and Googles motion for summary judgment is granted. Judgment will be entered in favor of Google dismissing the Complaint. Google shall submit a proposed judgment, on notice, within five business days hereof."

Affirmed on appeal

https://storage.courtlistener.com/harvard_pdf/3124896.pdf

"In sum, we conclude that: (1) Googles unauthorized digitizing of copyright-protected works, creation of a search functionality, and display of snippets from those works are non-infringing fair uses. The purpose of the copying is highly transfor-mative, the public display of text is limited, and the revelations do not provide a significant market substitute for the protected aspects of the originals. Googles commercial nature and profit motivation do not justify denial of fair use. (2) Googles provision of digitized copies to the libraries that supplied the books, on the understanding that the libraries will use the copies in a manner consistent with the copyright law, also does not constitute infringement. Nor, on this record, is Google a contributory infringer."
by machomaster | 2025-11-06 02:25:33+00:00
Smarter people get part of the unhappiness from being surrounded by stupidity.

And that article is a great example of that. It is full of stupidity (brow-raising premise, invalid arguments, incorrect rephrasing, wrong conclusions, lack of basic understanding, weird theories, unnecessary DEI commentary, inability to ask relevant questions) and it is a mess.

I was mad reading it. It made me sad to see such a stupid article existing and getting traction, as well as made me unhappier to see all the time resources wasted.
by erikw | 2025-11-06 02:25:46+00:00
When I was last working in Chile on a SaaS product for use in Chile, we deployed everything to US-EAST. We still had local CDN caching, but it is always nice to be closer to your hardware. I can't tell from the article what types of datacenters these are, but if these are new Azure and Google Cloud availability zones, this will be a great for latency.

Edit: It looks like all the major cloud providers have Chile AZs except Amazon, which has one planned: https://aws.amazon.com/blogs/aws/coming-soon-aws-south-ameri...
by tverbeure | 2025-11-06 02:26:49+00:00
As a teenager, I was fascinated by live video effects and mixing multiple video streams. And I assumed that the TV station had equipment with huge amount of storage (this was in the eighties) and sync streams together.

During a visit at the Belgian national broadcast corporation, they showed the central clock generator to which all video sources were synced. It suddenly all made sense. :-)
by felbane | 2025-11-06 02:26:50+00:00
> Come to think of it, if there is a latching door on the detergent tray, your dishwasher definitely has a prewash cycle, or else they’d skip the door entirely

Alec also mentions this briefly in the linked video; if manufacturers could avoid the cost of a latching mechanism, they absolutely would. Its presence means a pre-wash cycle exists.
by Terr_ | 2025-11-06 02:27:31+00:00
Probably refers to regulatory exceptions that aren't in the statue directly, which are updated every 3 years:

https://www.copyright.gov/1201/2024/

I see in the "final rule" for 2024 (PDF) a section titled "11. Computer Programs—Repairs of Devices Designed Primarily for Use by Consumers", although it seems to indicate that nothing changed, as opposed to telling you what stayed the same.
by array_key_first | 2025-11-06 02:27:37+00:00
> The browser technologies that people actually use, like JavaScript, have active attention to security issues, decades of learnings baked into the protocol, and even attention from legislators.

Yes, they also have much more vulnerabilities, because browsers are JIT compiling JS to w+x memory pages. And JS continues to get more complex with time. This is just fundamentally not the case with XSLT.

We're comparing a few XSLT vulnerabilities to hundreds of JIT compiler exploits.
by yanhangyhy | 2025-11-06 02:28:01+00:00
This phenomenon is vastly underestimated. Electricity can also amplify the influence of TikTok and Temu — a world no longer constrained by energy shortages, with social media less dominated by the West, and a marketplace for cheap and affordable industrial goods. Together, these forces will essentially curb uncontrolled population growth in any country and gradually raise living standards. (Also pakistan and many other countries)

Even North Korea is undergoing some changes. The country has long suffered from energy shortages, and the gradual spread of solar power can help address some of these issues. However, I doubt that North Korea’s geographic conditions will allow for much improvement.

And considering geography, if I understand correctly, the Middle East has once again gained a significant advantage?
by DhruvaBansal | 2025-11-06 02:28:52+00:00
FlowGen Labs | Founding Engineer | Full-time | ONSITE (San Francisco, US)

FlowGen Labs' mission is to make ERPs usable by humans again. We’re shipping AI agents as an interaction layer that automates routine steps, explains the “why,” and unlocks instant visibility across the business. We have been seeing strong customer traction, just closed a large seed round, and are well on our way to disrupting the space.

Application: https://jobs.ashbyhq.com/pear/59a35e98-18c4-48c0-a998-2f2691...
by chriswarbo | 2025-11-06 02:30:02+00:00
QuickCheck won't preserve invariants, since its shrinkers are separate from its generators. For example:

data Rat = Rat Int Nat deriving (Eq, Show) genRat = do (num, den) <- arbitrary pure (Rat num (1 + den))

`genRat` is a QuickCheck generator. It cannot do shrinking, because that's a completely separate thing in QuickCheck.

We can write a shrinker for `Rat`, but it will have nothing to do with our generator, e.g.

shrinkRat (Rat num den) = do (num', den') <- shrink (num, den) pure (Rat num' den')

Sure, we can stick these in an `Arbitrary` instance, but they're still independent values. The generation process is essentially state-passing with a random number generator; it has nothing to do with the shrinking process, which is a form of search without backtracking.

instance Arbitrary Rat where arbitrary = genRat shrink = shrinkRat

In particular, `genRat` satisfies the invariant that values will have non-zero denominator; whereas `shrinkRat` does not satisfy that invariant (since it shrinks the denominator as an ordinary `Nat`, which could give 0). In fact, we can't even think about QuickCheck's generators and shrinkers as different interpretations of the same syntax. For example, here's a shrinker that follows the syntax of `genRat` more closely:

shrinkRat2 (Rat n d) = do (num, den) <- shrink (n, d) pure (Rat num (1 + den))

This does have the invariant that its output have non-zero denominators; however, it will get stuck in an infinite loop! That's because the incoming `d` will be non-zero, so when `shrink` tries to shrink `(n, d)`, one of the outputs it tries will be `(n, 0)`; that will lead to `Rat n 1`, which will also shrink to `Rat n 1`, and so on.

In contrast, in Hypothesis, Hedgehog, falsify, etc. a "generator" is just a parser from numbers to values; and shrinking is applied to those numbers, not to the output of a generator. Not only does this not require separate shrinkers, but it also guarantees that the generator's invariants hold for all of the shrunken values; since those shrunken values have also been outputted by the generator (when it was given smaller inputs).
by ffsm8 | 2025-11-06 02:30:26+00:00
And what does a "patriarchy" have to do with anything?

People that unironically use that word are generally better ignored. And after reading the linked comment thread they're trying to portrait as problematic... I can only say that framework is better off without them. They're not in a healthy mindset and will inevitably drum up controversy for asinine things, worsening the image of Framework
Show HN: FlashVSR – AI Video Upscaler for AI-Generated and Low-Res Videos
by Viaya | 2025-11-06 02:33:13+00:00
AI-generated video has made remarkable progress, but the output often caps at 480p or 720p—blurry textures, jagged edges, and lacking detail. For creators, that’s far from production-ready. FlashVSR is a super-resolution tool designed specifically for this use case. Built on diffusion models, it delivers high-quality, high-efficiency 4× upscaling, ideal for enhancing generated video, restoring legacy footage, or any workflow demanding high resolution.

Key Technical Highlights

Single-Step Diffusion: Distills multi-step diffusion into a single inference step, significantly improving speed

Local Sparse Attention: Efficiently handles high-resolution inputs while avoiding texture repetition and positional drift

Lightweight Conditional Decoder: Reconstructs detail by conditioning on the original low-res frame, improving temporal stability and reducing flicker

Native Streaming Video Support: Designed for video-first input, balancing speed and output fidelity at 2K / 4K resolution

Who It’s For

Content creators working with generative outputs (e.g. Runway, Sora)

Developers of video enhancement tools

Restoration workflows: archival footage, film cleanup, AI reprocessing pipelines

Video AI is moving fast, but resolution shouldn’t lag behind. FlashVSR currently offers one of the best trade-offs between speed and quality among diffusion-based video upscaling models.
by biasafe_belm | 2025-11-06 02:33:46+00:00
I'd love to hear both of your thoughts! I'm considering durable execution and DBOS in particular and was pretty happy to see Armin's shot at this.

I'm building/architecting a system which will have to manage many business-critical operations on various schedules. Some will be daily, some bi-weekly, some quarterly, etc. Mostly batch operations and ETL, but they can't fail. I have already designed a semblance of persistent workflow in that any data ingestion and transformation is split into atomic operations whose results are persisted to blob storage and indexed in a database for cataloguing. This means that, for example, network requests can be "replayed", and data transformation can be resumed at any intermediate step. But this is enforced at the design stage, not runtime like other solutions.

My system also needs to be easily auditable and written in Python. There are many, many ways to build this (especially if you include cloud offerings) but, like Armin, I'm trying to find the simplest architecture possible so our very small team can focus on building and not maintaining.
by eru | 2025-11-06 02:34:37+00:00
> Having a generalised sort doesn't mean you can't write a more specialised one which better fits your data set e.g. you might be in a situation where a radix sort is more appropriate.

The opposite might also be true. Suppose you already have a specialised implementation, and you want to write a new generalised one. You can still test them against each other.

Eg suppose you are writing a library that supports sorting crazy huge datasets that don't fit into memory. You can still check that it gives the same answers as the built-in sorting algorithm from the standard library on input that's small enough to fit into memory.
by kaicianflone | 2025-11-06 02:36:09+00:00
Fair enough but saying all certainty is irrational is itself a pretty certain belief.

Everyone has faith in something, whether it’s science, reason, or their own moral compass. The difference is that Christianity doesn’t pretend we invented truth. It says Truth became a person and met us where we are. That’s not blind certainty. It’s tested faith.

Honestly, I think most of us are just trying to make sense of the world and not feel alone in it. I’ve been on both sides of this, skeptical, searching, believing, doubting again. So I get where you’re coming from. I’m not here to convince you of anything, just sharing what’s given me peace when everything else felt hollow.

If you ever want to talk about it without debating, I’d be down for that too.
by Stephen_0xFF | 2025-11-06 02:36:31+00:00
I don’t think all of them. I believe data center are a net negative for the residents in the area. I live in South Texas and the county here really gave it their all to get Space X down here. It has become a big employer in this area. There’s a few locals I know that work there as HVAC or welding. The higher skilled jobs move in people from outside here, but they contribute to the local economy by shopping, entertainment, eating, and taxes.
by Jotalea | 2025-11-06 02:36:33+00:00
I work in a medical center, which is my family business. in here, I am the IT guy, as well as receptionist and one of the secretaries.

we currently use a 2019 HP Pavilion 15 laptop with an AMD Ryzen 7 3700U, 12GB of DDR4 RAM, and a 512GB SSD. as you may have noticed, this computer is insanely overpowered for just using Excel and WhatsApp. that's why I've been given the task to downgrade to a different piece of hardware, a 2011 laptop with an Intel Pentium P6200, 2GB of DDR3 RAM, and a 300GB HDD.

and I am the guy responsible of building the old-new TUI app we will use in that machine. I am conscious of how much of a downgrade this is, but it's to avoid throwing away hardware that still works.

I have made a few prototypes using lightweight web technologies, but I ended up not liking how they look, perform or interact, so I start over. this time I will attempt to build something especially tailored to this old laptop, using TUI tools like ncurses.
by twright | 2025-11-06 02:38:03+00:00
I think the title of this could be more precisely phrased “Stop Giving Me Background Information About My Question, Just Give Me the Answer.”

My go-to example for this is when I once searched for egg substitutes for a baking recipe. Lots of multi-paragraph results about how eggs are nutritious, why eggs are useful in baking, why you might want to substitute them out. Finally after many more paragraphs of non-answers and many ignored ads: my answer, but not in a brief list, a paragraph for each one further explaining what they are.

I go to an LLM for these sorts of questions now and ask it to be brief. The internet for basic questions of any sort lead to these same frustrating webpages otherwise.
by johnfn | 2025-11-06 02:38:52+00:00
This doesn’t seem obviously true. There’s a bell curve of how knowledgeable people are with tech and somehow people I spend time with end up in the tail end. There’s a bell curve of how much they like board games and I end up spending a lot of time with people at the tail end as well. In general, the people you spend time with are not selected by a process which is even close to random.
by lisdexan | 2025-11-06 02:39:50+00:00
Religion is not my jam, but isn't it a little... crass to talk about your deity like that? The evangelical industrial-scale proselytizing always seemed kinda disrespectful to the whole "finding truth, hope, and transformation in Him", like god-almighty needed a used car salesman to connect with people.

Plus, it's not the best moment to make this point considering that Mohamed is probably going overtake Jesus on the race in the next decade. I know, conversions are cooler than births, but the reality is the same (also conversions in LATAM are just raiding the Catholics for followers).
by ammo1662 | 2025-11-06 02:42:51+00:00
In China, most of buses in first-tier cities are connected to the internet to report their location and status. This allows you to check the approximate location of the next bus and a relatively accurate arrival time on a map app. It's especially useful in bad weather or traffic congestion , as you don't have to wait in heavy rain or strong winds for a bus with an uncertain arrival time.
by Ingon | 2025-11-06 02:42:58+00:00
Been using profiles for some years now and they are great. I usually start with the default profile, then navigate to "about:profiles" to open all I need. Thanks to profiles, when my manjaro install broke, I migrated to NixOS and all my browsing sessions were ready to use the way I left them. Getting a dedicated, more integrated UI for managing profile will be great.

The one thing I'm missing is "incognito" profiles - e.g. spawn a temporary profile (without any identity attached) easily when I'm researching/navigating unusual sites and kill it once I'm done. Having multiple of these would be a great improvement over normal incognito windows (which share identities).
by machomaster | 2025-11-06 02:43:35+00:00
It was shot and directed by a totally different person, a famous Rusdian documentary director. 4 x 1h parts. It is absolutely glorious.

After the original movie was made, released and got successful, Werner Herzor made a deal with the director and edited 4 hours of original movie in half, while adding his commentary. He made it A LOT worse, sadly.

The only people who rave about it, are the ones who haven't seen the original. Please, do yourself a favor and watch it.

Perhaps the reason why Werner absolutely butchered the film was because he was so out of touch with the subject of happiness?..
by nicoburns | 2025-11-06 02:44:19+00:00
Yes. It currently compiles to WASM but doesn't run. But that's just a matter of plumbing it in properly.

If you were running it "headless" (which is supported), then it would probably work today.

There would also be the option of using Taffy and/or Parley (the layout libraries) without the rest of Blitz.
by bcoates | 2025-11-06 02:44:43+00:00
I think he said sharing a circuit with a fridge, which are generally 110 in the US -- i think this is how my apartment is wired (2-phase 30A to oven dedicated, one 20A for the whole rest of kitchen)

Trying to run a resistive heater on the same circuit as a fridge compressor without tripping leans towards very conservative wattage
by goku12 | 2025-11-06 02:45:03+00:00
> I agree much of lobbying is corrupt, but the concept is that lobbying is how politicians discover the public interest. It is also how they get input on the effects of proposed laws. I want my local small business lobbying group to let my city know if a proposed tax increase will bankrupt my favorite local stores!

I touched this point in my previous reply. But let me reiterate it again. Those politicians are supposed to just talk to their constituents and represent their interests. That's their job description. If the voters who sent them to the legislatures have to lobby them afterwards, what is the purpose of these politicians anyway? Is their job to con the public into choosing them, so that they can leech the same public? Evidently so, and that's the fundamental problem with democracy in US these days.

> The fact is, what the EFF and ACLU do to protect our rights is also a form of lobbying.

While EFF and ACLU do a commendable job, their existence don't justify lobbying. It's the other way around. Lobbying make them a necessity to regain some semblance of balance and fairness. They wouldn't be needed if the politicians were doing their job in the first place.