williamstein

5 ms·

31.
by williamstein 9mo ago
There's a plugin that evidently supports ChatGPT Pro with Opencode: https://github.com/sst/opencode/issues/1686#issuecomment-349...
32.
by williamstein 10mo ago
Title says "open source", but the Business Source License (BSL) is not an Open Source Initiative (OSI) approved open-source license.
33.
by williamstein 10mo ago
Their new CLI agent tool [1] is written in Python unlike similar agents from Anthropic/Google (Typescript/Bun) and OpenAI (Rust). It also appears to have first class ACP support, where ACP is the new protocol from Zed [2]. [1]
34.
by williamstein 10mo ago
For example, https://github.com/williamstein/nats-bugs/issues/5 links to a discussion I have with them about data loss, where they fundamentally don't understand that their incorrect defaults lead to dat
35.
by williamstein 10mo ago
https://github.com/williamstein/nats-bugs
36.
by williamstein 10mo ago
Instead you can use https://github.com/coder/code-server , which is really vscode running in your browser. You then get all extensions, etc.
37.
by williamstein 10mo ago
codex-cli is a neat example of an open source Rust program that uses Landlock to run commands that an LLM comes up with when writing code (see [1]). The model is that a user trusts the agent program (codex-cli), but has much more limited t
38.
by williamstein 10mo ago
- 200 day’s maintenance free operation - water jets to clean vacuum itself - claims that it is much more quiet
39.
by williamstein 11mo ago
If I hired a software developer a few years ago, I might expect them to do roughly what Claude Code does today on some task (?). If I hired a dev today I would expect much more from them than what Claude Code can currently do.
40.
by williamstein 11mo ago
> Some models (looking at you, GPT-5-Codex) seemed to mistake “more complex” for “better.” That's what working with GPT-5-Codex on actual code also feels like.
41.
by williamstein 11mo ago
bun has 10x the issues matching "segfault" as deno - deno 44: https://github.com/denoland/deno/issues?q=is%3Aissue%20state... - bun 464: https://github.com/oven-sh/bun/issues?q=
42.
by williamstein 1y ago
There is a nice table here https://github.com/rustfs/rustfs?tab=readme-ov-file#rustfs-v... comparing RustFS to MinIO, including a claim about the MinIo support price.
43.
by williamstein 1y ago
Some small additional details: 23 years not 30. Also, I think Julia was started as much in response to Octave/Matlab’s shortcomings. I don’t know if it is written down, but I was told a big impetus was that Edelman had just sold his
44.
by williamstein 1y ago
AI is very fast at generating working self contained complicated code, which makes it too easy to establish a difficult to finish architecture.
45.
by williamstein 1y ago
1.02**17 = 1.400..., whereas 1.02**35 = 1.99... At 2% inflation prices increase by 40% every 17 years, and it takes 35 years for them to double. At 3% (closer to real inflation), prices would double every 23 years: 1.03**23 = 1.97...
46.
by williamstein 1y ago
I am also very curious what people think about this. To me, as a project, Node gives off a vibe of being mature, democratic and community driven, especially after successfully navigating then io.js fork drama etc a few years ago. Clearly
47.
by williamstein 1y ago
They have a bunch of claims comparing this to JuiceFS at https://www.zerofs.net/zerofs-vs-juicefs I am in no way affiliated with JuiceFS, but I have done a lot of benchmarking and testing of it, and the numbers claimed here
48.
by williamstein 1y ago
Incidentally, the application I'm reworking to use btrfs is cocalc.com. One of our main use cases is distributed assignments to students in classes, as part of the course management functionality. Imagine a class with 1500 students
49.
by williamstein 1y ago
It can be useful to create a file server with one filesystem/subvolume per user, because each user has their own isolated snapshots, backups via send/recv are user-specific, quotas are easier, etc. If you only have a few hundred
50.
by williamstein 1y ago
So do I and BTRFS is extremely good these days. It's also much faster than ZFS at mounting a disk with a large number of filesystems (=subvolumes), which is critical for building certain types of fileservers at scale. In contrast, ZF
51.
by williamstein 1y ago
I strongly agree. LLM’s have eviscerated the core idea and motivation behind using the GPL, in a way I didn’t at all see coming. We’ve published a lot of very unique GPL code (eg in sagemath), which anybody can now easily “regenerate” as
52.
by williamstein 1y ago
Kevin Buzzard told me that the worry that it might in fact be wrong is a huge motivator for him. I also once asked Serge Lang why so much mathematics is correct (which surprised me coming from programming where everything has bugs), and he
53.
Bup: It Backs Things Up(bup.github.io)
11 points by williamstein 1y ago|2 comments
54.
by williamstein 1y ago
Site Description: Very efficient backup system based on the git packfile format, providing fast incremental saves and global deduplication (among and within files, including virtual machine images).
55.
by williamstein 1y ago
In the context of react codebases, people typically use either functional components everywhere or class components. Mixing the two approaches is frustrating and painful, eg you can’t use any of the hooks in your codebase in a class compon
56.
by williamstein 1y ago
https://opensource.org/osd
57.
by williamstein 1y ago
Not open source: “You may not provide the software to third parties as a hosted or managed service, where the service provides users with access to any substantial set of the features or functionality of the software.”
58.
by williamstein 1y ago
This is probably the closest thing to that: https://www.assemblyscript.org/
59.
by williamstein 1y ago
WASM adds the ability to run a local copy of SQLite (or even PostgreSQL) entirely in the browser.
60.
by williamstein 1y ago
Fascinating observation. Maybe he is better at research partly by being disciplined to not have such opinions. Having an opinion can bias one’s approach to a problem, making it harder to solve.

More ›