frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

https://openciv3.org/
450•klaussilveira•6h ago•109 comments

The Waymo World Model

https://waymo.com/blog/2026/02/the-waymo-world-model-a-new-frontier-for-autonomous-driving-simula...
791•xnx•12h ago•481 comments

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

https://github.com/valdanylchuk/breezydemo
152•isitcontent•6h ago•15 comments

Monty: A minimal, secure Python interpreter written in Rust for use by AI

https://github.com/pydantic/monty
143•dmpetrov•7h ago•63 comments

How we made geo joins 400× faster with H3 indexes

https://floedb.ai/blog/how-we-made-geo-joins-400-faster-with-h3-indexes
19•matheusalmeida•1d ago•0 comments

Dark Alley Mathematics

https://blog.szczepan.org/blog/three-points/
46•quibono•4d ago•4 comments

A century of hair samples proves leaded gas ban worked

https://arstechnica.com/science/2026/02/a-century-of-hair-samples-proves-leaded-gas-ban-worked/
84•jnord•3d ago•8 comments

Show HN: I spent 4 years building a UI design tool with only the features I use

https://vecti.com
257•vecti•8h ago•120 comments

Show HN: If you lose your memory, how to regain access to your computer?

https://eljojo.github.io/rememory/
191•eljojo•9h ago•127 comments

Microsoft open-sources LiteBox, a security-focused library OS

https://github.com/microsoft/litebox
320•aktau•13h ago•155 comments

Sheldon Brown's Bicycle Technical Info

https://www.sheldonbrown.com/
317•ostacke•12h ago•85 comments

Hackers (1995) Animated Experience

https://hackers-1995.vercel.app/
403•todsacerdoti•14h ago•218 comments

An Update on Heroku

https://www.heroku.com/blog/an-update-on-heroku/
328•lstoll•13h ago•236 comments

PC Floppy Copy Protection: Vault Prolok

https://martypc.blogspot.com/2024/09/pc-floppy-copy-protection-vault-prolok.html
19•kmm•4d ago•1 comments

Show HN: R3forth, a ColorForth-inspired language with a tiny VM

https://github.com/phreda4/r3
50•phreda4•6h ago•8 comments

I spent 5 years in DevOps – Solutions engineering gave me what I was missing

https://infisical.com/blog/devops-to-solutions-engineering
110•vmatsiiako•11h ago•34 comments

How to effectively write quality code with AI

https://heidenstedt.org/posts/2026/how-to-effectively-write-quality-code-with-ai/
189•i5heu•9h ago•132 comments

Learning from context is harder than we thought

https://hy.tencent.com/research/100025?langVersion=en
149•limoce•3d ago•79 comments

Make Trust Irrelevant: A Gamer's Take on Agentic AI Safety

https://github.com/Deso-PK/make-trust-irrelevant
7•DesoPK•1h ago•3 comments

Understanding Neural Network, Visually

https://visualrambling.space/neural-network/
240•surprisetalk•3d ago•31 comments

I now assume that all ads on Apple news are scams

https://kirkville.com/i-now-assume-that-all-ads-on-apple-news-are-scams/
985•cdrnsf•16h ago•417 comments

Introducing the Developer Knowledge API and MCP Server

https://developers.googleblog.com/introducing-the-developer-knowledge-api-and-mcp-server/
21•gfortaine•4h ago•2 comments

FORTH? Really!?

https://rescrv.net/w/2026/02/06/associative
43•rescrv•14h ago•17 comments

I'm going to cure my girlfriend's brain tumor

https://andrewjrod.substack.com/p/im-going-to-cure-my-girlfriends-brain
58•ray__•3h ago•14 comments

Evaluating and mitigating the growing risk of LLM-discovered 0-days

https://red.anthropic.com/2026/zero-days/
36•lebovic•1d ago•11 comments

Female Asian Elephant Calf Born at the Smithsonian National Zoo

https://www.si.edu/newsdesk/releases/female-asian-elephant-calf-born-smithsonians-national-zoo-an...
5•gmays•1h ago•0 comments

Show HN: Smooth CLI – Token-efficient browser for AI agents

https://docs.smooth.sh/cli/overview
77•antves•1d ago•57 comments

Show HN: Slack CLI for Agents

https://github.com/stablyai/agent-slack
40•nwparker•1d ago•10 comments

The Oklahoma Architect Who Turned Kitsch into Art

https://www.bloomberg.com/news/features/2026-01-31/oklahoma-architect-bruce-goff-s-wild-home-desi...
20•MarlonPro•3d ago•4 comments

How virtual textures work

https://www.shlom.dev/articles/how-virtual-textures-really-work/
28•betamark•13h ago•23 comments
Open in hackernews

The SD Association has an official SD card format utility [Win/OS X/Linux]

https://www.sdcard.org/downloads/sd-memory-card-formatter-for-linux/
66•Almondsetat•5mo ago

Comments

chrism238•5mo ago
So, not OSX?
ycombinatrix•5mo ago
It's there. The website just has poor navigation & OP linked specifically to the Linux version for whatever reason.
Almondsetat•5mo ago
You can either link the linux version or the Win/OSX version. This is a petty complaint
ycombinatrix•5mo ago
What did I complain about? You're getting upset over absolutely nothing. That's not healthy.
Almondsetat•5mo ago
"for whatever reason"
ycombinatrix•5mo ago
I just meant that I don't know why you chose to link the Linux version. Sorry, I didn't intend to be rude.
robin_reala•5mo ago
The Windows/Mac page can be found at https://www.sdcard.org/downloads/formatter/ . Caveat:

Note: If you have a Mac with Apple silicon, e.g. M1, you might be asked to install Rosetta in order to open the SD Card Formatter.

msgodel•5mo ago
It's so odd they don't publish the source. You'd think an organization like this which at least claims to have strong opinions about how sd card formatting should work would want to actually communicate what those opinions are.
bayindirh•5mo ago
How can you license the correct formatting process and create a sweet recurring value stream for the shareholders of the SD Card Association if you open source this?

Are you a communist? /s

Jokes aside. I'd love to see this standardized and widely available with a document why SD cards needs to be formatted this way, but I think everyone is afraid that someone's patent or secret or something will be revealed, and its library form is probably, really a revenue stream for them.

Shortsighted, I may say.

numpad0•5mo ago
It's also an organization created by Panasonic, SanDisk, and Toshiba. The entire FOSS scene are technically irrelevant to those companies - you might think software like Linux Kernel would be pretty important, but that tech is available to everybody, which makes it just a constant.

Also, this tool exists to fix card errors at field and reduce support costs, not to advocate their superior jutsu of formatting. The latter is not the point.

rollcat•5mo ago
I wonder how much money have these three companies made from FOSS in the last quarter alone. I guess they don't know either, it's easy to take all of that work for granted.
numpad0•5mo ago
They also tend to buy Linux from someone, often MontaVista last I did some Googling long time ago...

The fundamental problem, I think, is that FOSS didn't really take off in Japan the way it did in US/EU, for some reason. There are tons of code-literate engineers but way less who would be sympathetic with developer community building, code sharing, licensing discussions, etc., that are more common in communities from US/EU.

rbanffy•5mo ago
> There are tons of code-literate engineers but way less who would be sympathetic with developer community building, code sharing, licensing discussions, etc., that are more common in communities from US/EU

I find these cultural differences very interesting. I wonder why it’s that way. I noticed some lower willingness to share work (and any form of bad news) in more competitive societies, but I’m unsure this would be the case.

Culture eats strategy for breakfast

rollcat•5mo ago
Japan is Japan, most of their history can be summarised as isolationism/NIH.

Software developers are also not seen as "real" engineers there. They're just typing words into a computer, right?

smaudet•5mo ago
That might explain why their software never took off to the same extent that the US's did, despite having been leaders in the hardware space.

You can of course "just program" the same way you can "just build" a car out of plywood and some electric motors, however the presence of an engineering mindset (and tools/resources) is what separates a fire hazard from a Ferrari.

jsndndd•5mo ago
What exactly separates a fire hazard from a Ferrari? Those vehicles are notoriously unreliable
smaudet•5mo ago
> The latter is not the point

On the one hand, I get that and I get that you might not want to take criticism etc on a small utility that you create...

However, on the other hand, if this such a pervasive issue as to merit an official "correct" implementation, then I would think you would want more implementations working correctly, so that your brand behaves more consistently, correctly, across impls.

ok123456•5mo ago
There was a period of time when linux only supported MMCs (the forerunner standards), because none of the partner members provided updated SD card drivers. This limitation meant you were limited to using older media that capped out at 128MB. This was a significant problem with using Linux on PDAs.
05•5mo ago
Doubly idiotic since just running it under strace and feeding that to a LLM would get you an open source version in no time..
rollcat•5mo ago
You now need an LLM to go thru write calls?
BenjiWiebe•5mo ago
I used an AI to help reverse engineer a weird JS login flow so I could automate it.

I could've done it without AI (I've done it before) but it would've taken me 20x longer.

uyjulian•5mo ago
Someone actually reverse engineered the formatting and made a open source tool that does the equivalent on Linux: https://github.com/profi200/sdFormatLinux
jamesy0ung•5mo ago
Amazing timing - I had it up in ghidra and stumbled on this comment through google!
gustafla•5mo ago
I think one of the reasons for the proprietary licensing is that this software is built with Tuxera IP. As is typical for a mostly B2B software company, Tuxera wants to keep potentially advantageous features and optimizations proprietary.
rbanffy•5mo ago
A surprising name for a company so decided to keep IP secret.
dcminter•5mo ago
Related discussion from 2023: https://news.ycombinator.com/item?id=35610243

I didn't see that the first time around so this re-post was interesting, thanks! There's a bit of discussion in the other thread about the "protected area" - anyone got good links to the minutiae of that? How big is it, what tools exist to access it etc. ?

em500•5mo ago
The “protected area” was probably reserved for DRM keys for video distribution, an envisioned use case that never took off for SD cards, and hasn’t been relevant for at least a decade.

https://www.sdcard.org/developers/sd-standard-overview/conte...

dcminter•5mo ago
Yeah, I'm vaguely aware of this - jsut because of the "S" in SD standing for "Secure" as a euphemism for DRM stuff. From your link it seems likely that most cards probably don't even support it nowadays, but I'm still kind of curious about how exactly it was intended to be accessed - for example what extended commands might have been available. Presumably there's a spec somewhere for it, and presumably one can at the bare minimum ask a card "do you have a protected area available?"
smaudet•5mo ago
I'd be interested in the specific commands/spec too, however as with all DRM techs I wouldn't be surprised if it's hidden behind NDAs.

However you can see from the parent comment:

> Success of mutual authentication enables host to access card protected area.

So it's something the memory control must make available after a handshake, and then I presume either some specific memory address or set of retrieval commands would follow.

As you mention, it also states this spec is now optional.

dcminter•5mo ago
This seems to be the spec in question: https://picture.iczhiku.com/resource/eetop/wYKESjuFHlDHkbcM....
Wowfunhappy•5mo ago
I have legitimately had this fix weird errors with SD cards in certain devices when nothing else worked.
MortyWaves•5mo ago
Sadly it doesn’t seem to be able to fix the several SD cards killed by the raspberry pis I have.
Neywiny•5mo ago
Likely worn out sectors. Sadly such products are easy in that they don't have a read only file system, but for the majority of users that would help. Maybe there should be a simple script called "finalize" that turns it read only
smaudet•5mo ago
Didn't there use to be a physical read lock on SD cards?

I know "modern" cards have no space, but if it's important to you, you can still use the full size adapters which should (all?) have the physical lock. Super glue that in place...

dlcarrier•5mo ago
There's a flag you can set electronically, to make the card read only, but if the OS isn't set up to support running from a read-only filesystem, setting the card to read only will make the OS crash. If the OS is set up for a read-only filesystem, it won't try to write to it, regardless of the flag.

Setting up Linux to run from a read only filesystem only takes a handful of commands, but having a tool to automate it would be nice.

garaetjjte•5mo ago
Fun fact: SD write lock is just a switch wired to host controller, it doesn't actually prevent writing to the card.
ab71e5•5mo ago
Pro tip: Use a read only rootfs and use overlayfs to write any changes to ram instead of the SD. Then you just gotta put your state on a USB drive, network etc.
rbanffy•5mo ago
You can also mount /var/log as a tmpfs. Worked for the Debian based OS but not so well with Fedora (on an eMMC volume).
bmh•5mo ago
The latest Pi OS writes all logs to RAM, which might change your experience.
MisterTea•5mo ago
SD cards do not make good SSDs. For Plan 9 I only put the kernel on the SD card and pull root from another source e.g. a file server via tcp/tls.
OuterVale•5mo ago
I love this tool. I use it not just for SD cards but for all sorts of portable storage.

It seems to fix things where Windows File Explorer's formatter and other tools fail. A simple tool that does a really good job. It has even fixed some partition weirdness I've needed to deal with.

actionfromafar•5mo ago
It works on really old versions of Windows too, even XP I think.
bayindirh•5mo ago
While this tool saved my beef a couple of times, I found out that zeroing the device (partially or fully) with dd and partitioning it with gparted (the CLI tool) did also wonders.

I had a wonky HIKSemi USB flash drive, which turned out to be partitioned in a very unaligned way, and neither the flash nor the controller liked that much. Doing it manually and making sure it's aligned (which gparted does automatically) converted it to a very dependable drive.

BobbyTables2•5mo ago
I wonder if this does anything more than fill with zeros or 0xFFs and then run the normal file system formatting… Maybe trim/discard operation too.

Seems weird it can be applied to bitlocker to go volumes.

gustafla•5mo ago
It can discard with the proper SD commands (use `--discard`), if your SD adapter supports that. So not with USB card readers, but with many built-in SD card slots. The main reason to use this formatter instead of the OS built-in formatter (or mkfs) is that this creates the correct type of file system (FAT or exFAT depending on card size) and uses correct allocation sizes etc. for devices expecting a factory-formatted card.
krackers•5mo ago
https://www.sdcard.org/press/thoughtleadership/the-sd-memory... has more details, and a comparison to disk utility format. There is also this open source implementation https://github.com/profi200/sdFormatLinux

The main difference seems to be stuff about block size and alignment.

>Technically speaking, the SD Memory Card Formatter optimizes the layout of data structures on a SD memory card in accordance with flash parameters defined by the SDA. This includes placing the partition at the correct offset for the internal flash layout of the card, properly aligning the FAT and the cluster heap (an area containing the file and directory data) to internal flash boundaries, and minimizing wear-leveling, while maximizing read/write performance.

>Manufacturers of small embedded devices most often expect a file system to be formatted to the above stated parameters, so they optimize their relatively simple system implementations based on the assumption that the file system is already optimized for the internal flash layout.

I don't know enough about flash memory to understand why SSDs don't have this issue. Presumably they use more advanced controllers that just hide all this

gustafla•5mo ago
I work as a junior software engineer at the company developing this software (Tuxera Inc.), and I have done some release testing work on this. I might have influenced the "Arch Linux" support that is mentioned on the page under System Requirements, because I also tested it on my machine :)
dlcarrier•5mo ago
Outside of Arch BTW memes, yours is the first I've seen an somone unprompted describe themeselves as an Arch user. I gues it does really happen.
zoobab•5mo ago
Not open source.
lizknope•5mo ago
The only thing I use SD cards for are my digital cameras. I have always read that the cards should be formatted within the camera rather than the computer. I've never seen any issues but I the only thing writing to the card is the camera so I would rather format the card in the camera in case there are any incompatibilities.
Crosseye_Jack•5mo ago
afaik, thats so the device can format the card in its preferred filesystem. Instead of pestering the user (who may only use their computer as a "Facebook machine") to make sure they format the card to X specification, the device can just do that for them. Outside of "that", the device isn't doing anything special during format (unless its using the "secure" bits of a SD card, which pretty much no one does).

However, as at least some of the devices users will be Windows users, it does tend to limit the FS choices to FAT, exFAT or NTFS if the user expects to treat the card as removable storage to transfer files, like in a digital camera, so the issue is pretty much moot. Unless MS are still charging royalties on FAT and the device manufacturer wants to avoid those.

These days with people mainly using their phones, and the transfer of files being done over the air, allows device manufacturers more freedom with their SD card FS choice.

bayindirh•5mo ago
Most professional cameras still use ExFAT and AFAIK Microsoft doesn't charge inclusion of ExFAT drivers on these devices anymore.

However, sometimes devices format these cards in slightly specific ways they like (sector sizes, partition offsets and like) so the cards work well with the devices.

My Sony A7-III has an intelligent way of testing cards without reading/writing extensive data and reporting whether the card can handle particular video bitrates. I think SD cards have some tricks we still don't know as consumers much.

Crosseye_Jack•5mo ago
Sorry, yeah I prob dumbed it down too much by just saying the file system. But you are right that some devices will prefer a certain sector size, partition layout, etc, and while these can be done manually by the user outside of the device, its just "easier" for the vast majority of people if the device just does that for them.

Which IMO is where the whole "Its better to let the device format the card" came from. Because techs just got sick of trying to explain to less tech savvy users that "yes its possible to format the card in your computer, but just use the devices in built formatter handle it for you", because I know I told users that all the time back in the day, lol.

nodesocket•5mo ago
Can this tool burn ISO images directly? I currently use the Raspberry Pi Imager (on macOS) for burning my ISOs to SD Cards and USB drives and it works great.
bmh•5mo ago
What if you're formatting your own SD cards for Raspberry Pi, and need control over the partition layout, filesystem, etc. Surely there are some best practices that this tool embodies, which one can follow to achieve the same level of robustness and performance?
Citizen8396•5mo ago
brew install --cask sdformatter
ch_123•5mo ago
I hope this is a short term solution, pending the various OS vendors modifying their native tools to handle the formatting correctly.