Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

F* file system – file search that reads SSD directly bypassing OS kernel

github.com

Post reply on HN
Print view View original

41–50 of 54 posts

Re: F* file system – file search that reads SSD directly bypassing OS kernel

#41

Post by vidarh »

neogoose wrote: post #2

This is practically the most useless project becuase you can not run it without sudo permissions, but it was insanely fun to work on it supports ext4, btrfs, and apfs. Multithreaded, supports compression, nested volumes, and can even search detached volumes like .iso and .dmg without mounting An interesting bonus point: you can't really vibe code it cause clankers can not run sudo commands

> An interesting bonus point: you can't really vibe code it cause clankers can not run sudo commands

Tell that to the Claude who set up my Raspberry Pi from scratch.

Re: F* file system – file search that reads SSD directly bypassing OS kernel

#42

Post by ReptileMan »

4petesake wrote: post #12

But can it match the speed and reliability of the venerable Windows Search?

Everything is the best file search utility ever. It is not from MS - but it reads and monitors the NTFS table directly. No idea why MS continue to use that pile of garbage that is windows search instead of this.

Re: F* file system – file search that reads SSD directly bypassing OS kernel

#43

Post by pjerem »

ReptileMan wrote: post #42
4petesake wrote: post #12

But can it match the speed and reliability of the venerable Windows Search?

Everything is the best file search utility ever. It is not from MS - but it reads and monitors the NTFS table directly. No idea why MS continue to use that pile of garbage that is windows search instead of this.

Because except, for some reason, the dotnetcore team, MS does not care about anything.

Re: F* file system – file search that reads SSD directly bypassing OS kernel

#44

Post by self_awareness »

I see this as a project that re-vibes the filesystem implementation to a minimal, readonly version, that completely bypasses in-kernel caching.

Is it really faster than normal filesystem? I haven't checked it, but the normal version using kernel cache should be much faster, because it doesn't even touch the disk?

Re: F* file system – file search that reads SSD directly bypassing OS kernel

#45

Post by paweladamczuk »

neogoose wrote: post #2

This is practically the most useless project becuase you can not run it without sudo permissions, but it was insanely fun to work on it supports ext4, btrfs, and apfs. Multithreaded, supports compression, nested volumes, and can even search detached volumes like .iso and .dmg without mounting An interesting bonus point: you can't really vibe code it cause clankers can not run sudo commands

It's not useless if it funnels you to the author's other project, fff

Re: F* file system – file search that reads SSD directly bypassing OS kernel

#48

Post by neogoose »

watusername wrote: post #25

> bypassing OS kernel > reading a raw device node (e.g. /dev/rdisk*) That's... not bypassing the kernel. Time to integrate SPDK so it actually bypasses the kernel :) https://spdk.io

It doesn't have to, you can give it a blob of bytes as well. It's just hard to keep it a cli and doesn't use kernel at all

more correct would be - do not use kernel file system

Re: F* file system – file search that reads SSD directly bypassing OS kernel

#49

Post by rurban »

neogoose wrote: post #2

This is practically the most useless project becuase you can not run it without sudo permissions, but it was insanely fun to work on it supports ext4, btrfs, and apfs. Multithreaded, supports compression, nested volumes, and can even search detached volumes like .iso and .dmg without mounting An interesting bonus point: you can't really vibe code it cause clankers can not run sudo commands

Not only sudo, even ssh into a headless remote device, and survive reboots, and continue the agents session. That's my daily life as an embedded engineer
Post reply on HN