unignorant

Yes, big fan of Unison (the system I described above follows its model for code hash identity) and I use a NixOS machine for most of my software work!

I'm also interested in this and made decent progress on a git-style content addressed image where everything is identified by hash and residency determines what's in memory. For example, there's a filesystem on the image that works this way and you can page over the "cold" non-resident bytes for very large files that you would not want to hold in memory.

You don't persist the state of the full image continuously to the host disk, but any given state (new programs, new runtime state, filesystem) can be saved via a delta, not a full rewrite, due to this representation.

So this is a little different than what you are talking about, but I'd say it's possible.

There are typical LLM voices and styles, just like human writers have differentiated voices and styles. And some common elements of the typical LLM style are distinct from humans I've previously read.

I had the same reaction, but the article is not AI-generated according to pangram, which I've generally found reliable. I wonder if LLM turns of phrase and even thought patterns are creeping into normal human thought.

This isn't my project, but I shared it here because it has a few important ideas I've been thinking about in my own work. Effect type systems in particular are a really good fit for LLMs because they allow you to reason very precisely about a program's capabilities before runtime (basically, using the type system for capability proofs). This helps you trust agent-created code (for example, you know it can't do IO), or, if the code does require certain capabilities, run it in a sandbox (e.g., mock network or filesystem). This kind of language design also provides a safer foundation for complex meta-systems of agents-that-create-agents, depending on how the runtime is implemented, though Vera may be somewhat limited in that particular respect.

The major design decision I'm a little skeptical about is removing variable names; it would be interesting to see empirical data on that as it seems a bit unintuitive. I would expect almost the opposite, that variable names give LLMs some useful local semantics.

I agree, the more likely psychology of the Greg character is that he doesn't understand the way he presents himself in the pictures damns his surface level framing. You can really go quite far with more sophisticated versions of this technique in fiction -- Ishiguro's Remains of the Day is my favorite example!

These days it's almost trivial to design a binder against a target of interest with computation alone (tools like boltzgen, many others). While that's not the main bottleneck to drug development (imo you are correct about the main bottlenecks), it's still a huge change from the state of technology even 1 or 2 years ago, where finding that same binder could take months or years, and generally with a lot more resources thrown at the problem. These kinds of computational tools only started working really well quite recently (e.g., high enough hit rates for small scale screening where you just order a few designs, good Kd, target specificity out of the box).

So both things can be true: the more important bottlenecks remain, but progress on discovery work has been very exciting.

In another reply I gave an example of something you can do: https://news.ycombinator.com/item?id=44937774

I enjoy writing so a system like this would never replace that for me. But for someone who doesn't enjoy writing (or maybe can't generate work that meets their bar in the Ira Glass sense of taste) I think this kind of setup works okay for generating flash even with today's models.

For flash you can get much better results by asking the system to first generate a detailed scaffold. Here's an example of some metadata you might try to generate before actually writing the story: genres the story should fit into; pov of the story; high level structure of the story; list of characters in the story along with significant details; themes and topics present in the story; detailed style notes

From there you have a second prompt to generate a story that follows those details. You can also generate many candidates and have another model instance rate the stories based on both general literary criteria and how well the fit the prompt, then you only read the best.

This has produced some work I've been reasonably impressed by, though it's not at the level of the best human flash writers.

Also, one easy way to get stuff that completely avoids the "smell" you're talking about by giving specific guidance on style and perspective (e.g., GPT-5 Thinking can do "literary stream-of-consciousness 1st person teenage perspective" reasonably well and will not sound at all like typical model writing).

I'm not sure I agree that the human stories felt original. I was pretty unimpressed with all of the stories except maybe 6, and even that one dealt in some common tropes. 5 had fewer tropes than 6 (and maybe as a result of that received the highest average scores from his readers) but I could tell from the style it was AI

Here are my notes and guesses on the stories in case people here find it interesting. Like some others in the blog post comments I got 6/8 right:

1.) probably human, low on style but a solid twist (CORRECT) 2.) interesting imagery but some continuity issues, maybe AI (INCORRECT) 3.) more a scene than a story, highly confident is AI given style (CORRECT) 4.) style could go either way, maybe human given some successful characterization (INCORRECT) 5.) I like the style but it's probably AI, the metaphors are too dense and very minor continuity errors (CORRECT) 6.) some genuinely funny stuff and good world building, almost certainly human (CORRECT) 7.) probably AI prompted to go for humor, some minor continuity issues (CORRECT) 8.) nicely subverted expectations, probably human (CORRECT)

My personal ranking for scores (again blind to author) was:

6 (human); 8 (human); 4 (AI); 1 (human) and 5 (AI) -- tied; 2 (human); 3 and 7 (AI) -- tied

So for me the two best stories were human and the two worst were AI. That said, I read a lot of flash fiction, and none of these stories really approached good flash imo. I've also done some of my own experiments, and AI can do much better than what is posted above for flash if given more sophisticated prompting.

I really enjoyed this article but the claim of no literary fiction making the Publishers Weekly yearly top 10 lists since 2001 isn't really true:

https://en.wikipedia.org/wiki/Publishers_Weekly_list_of_best...

https://en.wikipedia.org/wiki/Publishers_Weekly_list_of_best...

It is true that there isn't that much literary stuff that breaks through, and the stuff that does is usually somewhat crossover (e.g., All the Light We Cannot See in 2015 or Song of Achilles in 2021) but it exists. These two books are shelved under literary codes (though also historical). Song of Achilles in particular is beautifully written and a personal favorite of mine, at least among books published in recent years.

Then there are other works like Little Fires Everywhere and The Midnight Library that I might not consider super literary but nonetheless are also often considered so by book shops or libraries (e.g., https://lightsailed.com/catalog/book/the-midnight-library-a-...; the lit fic code is FIC019000).

I was really surprised that Ferrante's Neapolitan series, the best example (I would have thought) of recent work with both high literary acclaim and popular appeal, did not actually make the top 10 list for any year.

yeah, it seems likely the underlying task here (one reasoning step away) was: replace as many fp32 operations as possible in this kernel with fp16. i'm not sure exactly how challenging a port like that is, but intuitively seems a bit less impressive

maybe this intuition is wrong but would be great for the work to address it explicitly if so!

I do a lot of ML work too and recently gave NixOS a try. It's actually not too hard to just use conda/miniconda/micromamba to manage python environments as you would on any other linux system with just a few lines of configuration. Pretty much just add micromamba to your configuration.nix plus a few lines of config for nix-ld. Many other python/ML projects are setup to use docker, and that's another easy option.

I don't have the time or desire to switch all my python/ML work to more conventional Nix, and haven't really had any issues so far.

This technique doesn't actually use RL at all! There’s no policy-gradient training, value function, or self-play RL loop like in AlphaZero/AlphaTensor/AlphaDev.

As far as I can read, the weights of the LLM are not modified. They do some kind of candidate selection via evolutionary algorithms for the LLM prompt, which the LLM then remixes. This process then iterates like a typical evolutionary algorithm.

Thanks for sharing this! I occasionally use google translate and/or GPT4 for similar purposes, but your tool makes the workflow a bit simpler.

I've found creative writing in a target language is great for learning.

I sort of similarly used LLMs and speech synthesis tools to make a prototype that could generate short (<10min) podcasts in Mandarin on any topic I specified. Being interesting is less important in a language learning context, though it's notable that I haven't used the tool much and prefer listening to Mandarin audiobooks and real human podcasts, perhaps because they are more interesting.

I spent a summer at the Santa Fe Institute in 2010 and can say that McCarthy certainly spent a lot of time there. I'm not sure he was a copyeditor, exactly, but SFI is a nice place to hang out for any sort of creative work -- beautiful building and landscape, and very open and collaborative atmosphere.

The institute is on the top of a big hill and I'll always remember how he gave me a lift one day as I was walking up.

I've heard good things about Pilot: https://pilot.com

The immune system is extremely complicated, but very broadly: CD8+ T-cells (also known as killer T-cells) kill infected cells directly, whereas CD4+ T-cells (also known as helper T-cells) release signals that guide many aspects of immune response, including activating CD8+ cells

Among other things, we use it to provide a payment solution for merchants with less friction and a lower fee structure:

-- https://nash.io/payments/

-- https://blog.nash.io/nash-link-why-merchants-will-embrace-si...

On the whole this essay seems to be making a deliberately slippery argument. It wants to redefine "bureaucracy" to suit its purposes while also maintaining all existing pejorative connotations of the term.

In my experience many people (unfortunately) generally feel free to disparage non-gender-binary concepts on internet communities

My first reaction was: why is a non-gender-binary crab mascot considered "political"? I'm assuming this came up incidentally in the context of its name and pronouns?

By this implied definition of political, more or less any human social interaction is political in the broader view.

Constructing the resolvers is very similar to Jupiter, see: https://github.com/async-graphql/examples/blob/master/models...

Agree that it's really nice. I wouldn't have switched either without that feature.

I've been using this for a small project and the feature set is far more comprehensive than anything else I've seen in Rust. In comparison to Juniper, it has much better support for subscriptions in particular. Its creator has been amazingly productive and continues to add features almost daily.

For anyone interested in this topic, during my PhD I mined fiction to build models that could predict patterns in human behavior: https://hci.stanford.edu/publications/2016/ethan/augur-chi-2...

Nash | Cryptography Engineer + Others (see below) | Remote | https://nash.io/

We are looking for an engineer to help deploy bleeding-edge cryptography. You will have the opportunity to develop new cryptographic products and see them move from academic papers to operational systems with hundreds of thousands of users. In particular, we are looking for people to help us build ECDSA-based products using multi-party computation and zero-knowledge proofs. This role comes with significant autonomy and responsibility.

We are a team of 35 people, 100% remote. Our tech stack is primarily Elixir (for backend), Rust (for cryptography), and Typescript, React, and GraphQL (for frontend and mobile). We value diversity and welcome talented people from all backgrounds.

Other open positions include (https://jobs.lever.co/nash.io):

- Backend Engineer

- Platform Engineer

I am a co-founder, feel free to reach out to me directly with questions at ethan@nash.io.

I live in SV, and while I wouldn't say hiring remote employees is common, it is becoming much more so. Staunchly opposed doesn't sound correct given the other founders I interact with.

And "remote first" is a common term so far as I know: https://stackoverflow.blog/2017/02/08/means-remote-first-com... Though I do also like "distributed" as a description.

Our company is remote first (no physical office, co-founders spread across the world), and one frequent point of feedback we get from new hires is that working for a company with a 100% remote culture is quite different than working remotely for a company with existing physical offices. When you are working from a distance with an otherwise co-located team, it is easy to miss out on important information, and interacting socially with coworkers (a challenge for any remote position) becomes even harder.

Btw, we are hiring. Stack is Elixir, Rust, Typescript, React, GraphQL, and we have many challenging/interesting problems! https://jobs.lever.co/nash.io