zellyn

17 ms·

211.
by zellyn 2y ago
This. Please go read and understand the alignment argument against exposing chain of thought reasoning.
212.
by zellyn 2y ago
I think it's a fascinating question whether the VCs that are still somehow pushing Blockchain stuff hard really think it's a good idea, or just need the regulatory framework and perception to be right so they can make a profitable
213.
by zellyn 2y ago
Oh man, was Drew banned from all Go spaces, or just from the issue tracker as he mentioned? He seems to draw ire, although whenever I actually read what he writes, he usually makes a lot of sense. I imagine there are examples of him being a
214.
by zellyn 2y ago
A prominent and influential Go developer was effectively banned for life from Go community forums some years back. I honestly don't remember enough of the details to have a clear opinion on whether it was ultimately warranted, but I st
215.
by zellyn 2y ago
Sometimes I fantasize about writing a C++ interpreter or compiler in scheme: going directly from scheme to current gcc would be a huge shortcut. But common wisdom is that writing a C++ compiler is basically impossible. Still, it’d be inst
216.
by zellyn 2y ago
I thought that was the whole point?
217.
by zellyn 2y ago
IIUC, this is frequently suggested but never followed through on by someone who knows enough Forth to do it.
218.
by zellyn 2y ago
This is fantastic. I once dreamed of making a generic interface card that could be programmed at will, using, say, a raspberry pi. However, a look through the timing diagrams in Sather shows surprisingly tiny latencies between the address a
219.
by zellyn 2y ago
For most databases (like Postgres), you typically run a single database (per shard, possibly), and replicate changes to a live read-only backup as fast as possible. If the live R/W database fails, you quickly switch the backup to R&#x2
220.
by zellyn 2y ago
It's useful to use a Postgres-compatible syntax. The point of Cockroach was always to compete with globe-spanning DBs like Spanner, not with (possibly) sharded PG.
221.
by zellyn 2y ago
A few questions: a) You're dismissing OTel, but if you _do_ want to do flame graphs, you need traces and spans, and standards (W3C Trace-Context, etc.) to propagate them. b) What's the difference between an "Event" and a
222.
by zellyn 2y ago
Wow, TIL about Bruijn. It's both terrifying and lovely that someone made it!
223.
by zellyn 2y ago
I have likewise been utterly unable to get it to generate images that look like preliminary rapid pencil sketches. Suggestions by experienced prompters welcome!
224.
by zellyn 2y ago
> do you want something very general-purpose, or is something more specific to certain language(s) appropriate? This. At work, we use Bazel for the Java monorepo, and it's great (although pants2 seems like it might be better? Dunno,
225.
by zellyn 2y ago
Came here to say this! Last I heard, the Roc folks were still curious to see whether this bet pays off for most/all codebases.
226.
by zellyn 2y ago
Don't get me wrong; I think it's fantastic! Also, I am 100% going to write a paper sometime with a blank rectangle on the left! :tears of joy:
227.
by zellyn 2y ago
Figure 1… :slow clap: For those who don't want to click through: (a) Without our system -- (empty courtyard) (b) With our system -- (same picture but with procedural generated content added)
228.
by zellyn 2y ago
I have to confess to mostly just lurking Zig with interest, but not _actually_ knowing what I'm talking about. I do know their linker game has improved a _lot_ since that old Go article, so it's quite likely that Zig can do what y
229.
by zellyn 2y ago
The older “cross compiling Go with Zig” post might give a good start if you want to figure it out
230.
by zellyn 2y ago
Out of curiosity, would you mind pointing it at simonw/datasette? I think that might be interesting, particularly due to the plugin system.
231.
by zellyn 2y ago
These wikis are really interesting. I'm itching to try it on the common framework parts of our work monorepo. [Update after looking at the Django wiki] The wiki's structure appears to be very (entirely?) based on the directory str
232.
by zellyn 2y ago
It often has large implications on how easy/difficult or self-contained/messy it is to install.
233.
by zellyn 2y ago
From the paper: > Paintadosi [4] argues that one parameter is always enough. He constructed a function that, through a single parameter, can depict any shape. However, in essence, this work is a form of encoding, mapping the shape into a
234.
by zellyn 2y ago
One additional note: the provided code for that course is (or was a decade+ ago!) either C++ or Java, but the tests and test scaffolding are fairly straightforward. I opted to translate into Go as I went, which meant: - a lot more work&#x2F
235.
by zellyn 2y ago
It’s a bit more theoretical, but working my way (slowly, with many re-watches of certain videos) through the Coursera compilers course was a major milestone for me: I highly recommend finding an accessible way to do one of the CS things you
236.
by zellyn 2y ago
Thanks! btw, y'all should definitely go on Developer Voices and talk about BufStream!
237.
by zellyn 2y ago
I’m here to ask the obvious question: how does Bufstream compare to Warpstream? The Developer Voices episode on Warpstream gave me vibes that those folks really know what they’re doing, and also went into a lot of detail on how they avoid f
238.
by zellyn 2y ago
Check out https://sfpc.study/ too! The School for Poetic Computation is an experimental school in New York City and online supporting interdisciplinary study in art, code, hardware and critical theory. It's a place for
239.
by zellyn 2y ago
I found the Developer Voices discussion[1][2] with Joran Dirk Greef, creator of TigerBeetle, to be fascinating. They mentioned that the rigorous correctness proofs that exist for Raft and Paxos assume an absence of disk faults, but that mor
240.
by zellyn 2y ago
I continue to be fascinated about what the next qualitative iteration of models will be, marrying the language processing and broad knowledge of LLMs with an ability to reason rigorously. If I understand correctly, this work (or the most ob

More ›