Observability in WebAssembly(dev.dylibso.com)

75 points by neuronicnobody 3 years ago | 29 comments

Observable Framework 1.9(github.com)

14 points by mbostock 2 years ago | 2 comments

Observable Framework 1.1(github.com)

8 points by mbostock 2 years ago | 0 comments

Python HTTP library 'urllib3' now works in the browser(github.com)

61 points by SethMLarson 2 years ago | 19 comments

Show HN: Kalosm an embeddable framework for pre-trained models in Rust(floneum.com)

53 points by Evan-Almloff 2 years ago | 6 comments

Observable Notebooks 2.0 Technology Preview(observablehq.com)

218 points by mbostock 1 year ago | 52 comments

Buck2: Our open source build system(engineering.fb.com)

327 points by mfiguiere 3 years ago | 213 comments

Meta Engineering blog post announcing the open source release of Buck2, its large-scale build system.

Zed, a collaborative code editor, is now open source(zed.dev)

1510 points by FeroTheFox 2 years ago | 556 comments

Zed Industries blog post by Nathan Sobo announcing that the Zed collaborative code editor is now open source.

Open Source is one person(opensourcesecurity.io)

325 points by LawnGnome 1 year ago | 132 comments

Blog post by Josh Bressers on Open Source Security arguing that many open source projects are maintained by a single person.

Blog ran on Ubuntu 16.04 for 10 years. I migrated it to FreeBSD(crocidb.com)

353 points by speckx 5 months ago | 214 comments

Personal blog post describing migrating a blog from a decade-old Ubuntu 16.04 DigitalOcean VPS to a cheaper FreeBSD virtual machine on Hetzner.

DeepSeek-Prover-V2(github.com)

359 points by meetpateltech 1 year ago | 74 comments

GitHub repository for DeepSeek-Prover-V2, DeepSeek's model for formal theorem proving, containing a paper PDF, README, model license, and miniF2F solutions.

Open Social(overreacted.io)

882 points by knowtheory 1 year ago | 353 comments

Dan Abramov's overreacted blog post arguing that social media should follow open source's path, built on open protocols like AT Protocol.