frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: (bits) of a Libc, Optimized for Wasm

https://github.com/ncruces/go-sqlite3/tree/main/sqlite3/libc
78•ncruces•10mo ago
I make a no-CGO Go SQLite driver, by compiling the amalgamation to Wasm, then loading the result with wazero (a CGO-free Wasm runtime).

To compile SQLite, I use wasi-sdk, which uses wasi-libc, which is based on musl. It's been said that musl is slow(er than glibc), which is true, to a point.

musl uses SWAR on a size_t to implement various functions in string.h. This is fine, except size_t is just 32-bit on Wasm.

I found that implementing a few of those functions with Wasm SIMD128 can make them go around 4x faster.

Other functions don't even use SWAR; redoing those can make them 16x faster.

Smooth sort also has trouble pulling its own weight; a Shell sort seems both simpler and faster, while similarly avoiding recursion, allocations and the addressable stack.

I found that using SIMD intrinsics (rather than SWAR) makes it easier to avoid UB, but the code would definitely benefit from more eyeballs.

See this for some benchmarks on both x86-64 and Aarch64: https://github.com/ncruces/go-sqlite3/actions/runs/145169318...

Comments

phickey•10mo ago
This looks like a nice approach to making wasi-libc faster. Could you submit these changes upstream?
ncruces•10mo ago
I'd like to be a little more sure that I'm not totally messing things up before doing that, but yes, eventually, that would be a nice outcome.

I've also only really tested wazero. I can't know for sure that this is a straight improvement for other runtimes and architectures.

For instance, the code delays using wasm_i8x16_bitmask as much as possible, because on Aarch64 it can be slower than not using SIMD at all, whereas it's plenty fast on x86-64.

phickey•10mo ago
The maintainers of wasi-libc are some of the best people to review this, and I don’t think it would be wasting their time to ask them to look at a PR.
ncruces•10mo ago
A PR is a significant investment from me. I'd have to figure out where something like this is supposed to fit, how the build infra works, etc.

One of the nice things about Go is how much that's a solved issue out of the box, compared to almost everything else; certainly compared to C.

Pinging them in an issue: https://github.com/WebAssembly/wasi-libc/issues/580

nu11ptr•10mo ago
It is still a bit early, but I'm majorly bullish on WASM for multiple use cases:

1. Client side browser polyglot "applets" (Java applets were ahead of their time IMO)

2. Server side polyglot "servlets" (Node.js, embedded runtimes, etc.)

3. Language interop/FFI (Lang A -> WASM -> Lang B, like wasm2c)

Why is #3 so interesting? The hardest thing in language conversion is the library calls. WASI standardizes that, so all the proprietary libs will eventually compile down to WASI as a sort of POSIX/libc like layer. In addition, WASM standardizes calling convention. The resulting new source code may not look like much, but it will solve the FFI calling convention/marshalling/library issues nicely.

frumplestlatz•10mo ago
I’m not sure how it solves the FFI problem. Lowest common denominator calling conventions don’t make it any easier to bridge languages than it already is.

C calling conventions are already the standard for FFI in native code, and that means dropping down to what can be expressed in C if you want to cross that boundary.

ncruces•10mo ago
As far as Go is concerned, the Wasm sandbox makes the (addressable, C) stack explicit, which solves at least some of the issues CGO has to deal with.

It's not a panacea, though; it introduces other issues.

fuhsnn•10mo ago
Wasm intrinsics look neat as a higher-level fixed size SIMD abstraction. I wonder how good the compilers can do if using them for AOT targets with libraries like simd-everywhere.

string.h is missing strstr(), there's an algorithm of similar complexity you might consider: http://0x80.pl/notesen/2016-11-28-simd-strfind.html

ncruces•10mo ago
Yeah, so far I did exactly the ones (my build of) SQLite needed and not others.

If there's interest, the set of implemented functions can definitely be extended.

cedws•10mo ago
Would you consider writing some blog posts or other resources about WASM? I was experimenting recently with WIT, and ran into a mountain of issues. There's a lot of jargon that could do with some untangling.

It took me a lot longer than it should have to put together this basic module, and even then there's this shared library I had to download to build it, and I couldn't figure out why this requires a libc:

https://github.com/cedws/wasm-wit-test

ncruces•10mo ago
I'm not that great at long form writing to be honest, it's always a bit of a chore, and I'm never happy with the result.

To answer your question, it needs a libc because you're including stdlib.h, and exporting and allocator (even if you're not otherwise using it). You need a libc for malloc.

This is generally a good idea, if you need to send anything beyond numbers across the API (e.g. you need an allocator if you want to send strings as pointers).

I never used WIT, so I have no idea if this a requirement for WIT.

cedws•10mo ago
Ah ok. Thanks!
forrestthewoods•10mo ago
What is SWAR?
ncruces•10mo ago
SIMD within a register: https://en.wikipedia.org/wiki/SWAR

It's generally used for techniques that apply SIMD principles within general-purpose registers and instructions.

Assume you've loaded a 64-bit register (a uint64_t) with 8 bytes (unsigned char) of data. Can you answer the question “is any of these 8 bytes zero (the NUL terminator)?”

If you find a cheap way to do it, you can make strlen go faster by consuming 8 bytes at a time.

Et voilà:

   #define ONES ((uint64_t)-1/UCHAR_MAX)
   #define HIGHS (ONES \* (UCHAR_MAX/2+1))
   #define HASZERO(x) ((x)-ONES & ~(x) & HIGHS)
forrestthewoods•10mo ago
TIL, thanks!
tuananh•10mo ago
very cool project.

it's kinda frustrating to compile sqlite for wasm. can be done but quite troublesome.

Show HN: Mcp2cli – One CLI for every API, 96-99% fewer tokens than native MCP

https://github.com/knowsuchagency/mcp2cli
2•knowsuchagency•1h ago•0 comments

Show HN: Skir – like Protocol Buffer but better

https://skir.build/
73•gepheum•13h ago•42 comments

Show HN: I built a real-time OSINT dashboard pulling 15 live global feeds

https://github.com/BigBodyCobain/Shadowbroker
210•vancecookcobxin•11h ago•91 comments

Show HN: Reviving a 20-year-old puzzle game Chromatron with Ghidra and AI

https://quesma.com/blog/chromatron-recompiled/
13•stared•1d ago•4 comments

Show HN: I built a site where strangers leave kind voice notes for each other

https://kindvoicenotes.com
9•thepaulthomson•8h ago•6 comments

Show HN: AlphaPerch – Track product execution for companies you follow using AI

https://alphaperch.com
2•sebasnar•3h ago•0 comments

Show HN: WolfStack – Proxmox-like server management in a single Rust binary

https://wolfscale.org/
24•wolfsoftware•12h ago•0 comments

Show HN: Compose Launcher – A macOS app to run multiple Docker Compose files

https://github.com/yingbo/compose-launcher
2•yingbo•3h ago•0 comments

Show HN: Eyot, A programming language where the GPU is just another thread

https://cowleyforniastudios.com/2026/03/08/announcing-eyot/
68•steeleduncan•19h ago•13 comments

Show HN: OxiMedia – Pure Rust Reconstruction of FFmpeg and OpenCV

https://github.com/cool-japan/oximedia
7•kitasan•7h ago•4 comments

Show HN: OpenMeters – A fast and free audio metering/visualization suite

https://github.com/httpsworldview/openmeters
6•httpsworldview•6h ago•0 comments

Show HN: Curiosity – DIY 6" Newtonian Reflector Telescope

https://curiosity-telescope.vercel.app/
79•big_Brain69•23h ago•19 comments

Show HN: Environment Variable Checker

https://github.com/Chrilleweb/dotenv-diff
4•chrillemn•8h ago•0 comments

Show HN: ANSI-Saver – A macOS Screensaver

https://github.com/lardissone/ansi-saver
102•lardissone•1d ago•36 comments

Show HN: µJS, a 5KB alternative to Htmx and Turbo with zero dependencies

https://mujs.org
151•amaury_bouchard•1d ago•77 comments

Show HN: Lobster.js – Extended Markdown with layout blocks and footnotes

https://github.com/Hacknock/lobsterjs
5•Kyome22•12h ago•3 comments

Show HN: Reverse-engineering Shockwave to save early 2000s web games (Rust/WASM)

https://github.com/igorlira/dirplayer-rs/
10•igorlira•16h ago•0 comments

Show HN: Moongate – Ultima Online server emulator in .NET 10 with Lua scripting

https://github.com/moongate-community/moongatev2
284•squidleon•2d ago•164 comments

Show HN: Kula – Lightweight, self-contained Linux server monitoring tool

https://github.com/c0m4r/kula
88•c0m4r•2d ago•56 comments

Show HN: VoiceFlow – Sub-second (0.3s-0.6s) voice-to-text built in Rust

https://voiceflow.szymonwira.pl
3•con4ig000•11h ago•1 comments

Show HN: Claude-replay – A video-like player for Claude Code sessions

https://github.com/es617/claude-replay
100•es617•2d ago•34 comments

Show HN: I open-sourced my Steam game, 100% written in Lua, engine is also open

https://github.com/willtobyte/reprobate
58•delduca•2d ago•22 comments

Show HN: SiClaw – Open-source AIOps with a hypothesis-driven diagnostic engine

https://github.com/scitix/siclaw
9•SherryWong•1d ago•2 comments

Show HN: System R – Risk intelligence API for autonomous trading agents

https://github.com/System-R-AI/demo-trading-agent
2•ashimnandi•12h ago•0 comments

Show HN: Complying with California's AB 1043 via signal fusion, not ID uploads

https://www.a3api.io
3•digital-arcadia•13h ago•0 comments

Show HN: A PS4-inspired portfolio UI (requires laptop or larger screensize)

https://www.musnom.com/psme
3•MustafaN786•13h ago•2 comments

Show HN: Proxly – Self-hosted tunneling on your own domain in 60 second

3•a1tem•20h ago•0 comments

Show HN: Astro MD Editor – Schema-aware editor for Astro content collections

https://github.com/bimsina/astro-md-editor
2•bimsina•13h ago•0 comments

Show HN: Agentcheck – Check what an AI agent can access before you run it

https://github.com/Pringled/agentcheck
4•Bibabomas•14h ago•1 comments

Show HN: Lottie – a simple and elegant TUI screenwriting app

https://github.com/coignard/lottie
2•renecoignard•14h ago•0 comments