unignorant

5 ms·

1.
by unignorant 1mo ago
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!
2.
by unignorant 1mo ago
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
3.
LLMs find the right factors but miss the frame(ethanfast.com)
2 points by unignorant 4mo ago|0 comments
4.
by unignorant 5mo ago
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.
5.
by unignorant 5mo ago
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.
6.
A couple million lines of Haskell: Production engineering at Mercury(blog.haskell.org)
435 points by unignorant 5mo ago|233 comments
7.
by unignorant 5mo ago
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 preci
8.
Vera: a programming language designed for machines to write(github.com)
111 points by unignorant 5mo ago|95 comments
9.
Distilling a Tiny Model for Fast Interpretability(ethanfast.substack.com)
1 points by unignorant 5mo ago|0 comments
10.
Fast-AI-detector: a fast local CLI for detecting AI-generated text(github.com)
3 points by unignorant 5mo ago|0 comments
11.
by unignorant 5mo ago
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 t
12.
by unignorant 8mo ago
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
13.
by unignorant 1y ago
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
14.
by unignorant 1y ago
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
15.
by unignorant 1y ago
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 receive
16.
by unignorant 1y ago
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
17.
An Ultra Opinionated Guide to Reinforcement Learning(twitter.com)
2 points by unignorant 1y ago|0 comments
18.
by unignorant 1y ago
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... ht
19.
by unignorant 1y ago
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 l
20.
by unignorant 1y ago
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 configur
21.
by unignorant 1y ago
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. T
22.
NSA: Hardware-Aligned and Natively Trainable Sparse Attention(arxiv.org)
4 points by unignorant 2y ago|2 comments
23.
K Prize: $1M for an AI that can close 90% of new GitHub issues(kprize.ai)
2 points by unignorant 2y ago|0 comments
24.
by unignorant 3y ago
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.
25.
Claude 3 translates a low-resource language from a few thousand examples(twitter.com)
39 points by unignorant 3y ago|8 comments
26.
by unignorant 3y ago
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&
27.
Dfdx: Shape Checked Deep Learning in Rust(github.com)
2 points by unignorant 3y ago|0 comments
28.
by unignorant 3y ago
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
29.
Build Your Own Git(app.codecrafters.io)
3 points by unignorant 4y ago|0 comments
30.
Mobile, Open Hardware, RISC-V System-on-Chip (SoC) Development Kit(crowdsupply.com)
2 points by unignorant 5y ago|0 comments

More ›