Programming & Local-first software ⁙ LLM zine https://xitter.cf/t.co/apQqD9PIMd ⁙ Startup lessons ⁙ Game design quips.
Mountain View, CA
Joined September 2007
- Tweets16K
- Following997
- Followers1.6K
- Likes4.2K
What happened to those retro frontier models only trained on text pre-1900s? Let’s see if they can make discoveries in chemistry and discover quantum physics as a possibility. Where do they miss? Are there alternative tracks to the tech tree that we missed?
xitter.cf/emollick/status/211506…
Get more ambitious.
I built bbtree, the foundation of databases and filesystems, and the fastest concurrent btree.
Code: github.com/XiangpengHao/bbtr…
Blog post & demo: bbtree.xiangpeng.systems/
But most awesome is the perspective shift. @_chenglou uses new engineering techniques that were simply impossible/irrelevant w/o agents, and out of anyone I follow, lives in the future of engineering. Those lamenting that engineering is over is simply just not being ambitious enough.
Honestly, I'd been thinking about how water heaters should have an API and should be more accessible to in-home local agents. So it shouldn't have been a leap for me to make a joke about getting someone to make this. But alas, the people actually making stuff beat me to the punch.
xitter.cf/heatbit_com/status/211…
If GPU and memory prices keep holding steady or keeps going up, finance people will start to invent financial instruments backed by hardware and trade them. But not if crypto people get there first, if they hadn't already. 😆
Wil Chung retweeted
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
One crucial role of art in society is to help everyone process the emotions of change. It's therapy for an ever-changing world. Artists that long for influence and renown, but don't deeply understand the technology nor the medium are missing out on their chance to speak to all.
xitter.cf/anabology/status/21132…
I had no idea you could still buy vacuum tubes in this day and age.
westernelectric.com/300b
Waiting for someone to point out that “how your date treats the waiter” and “how they treat AI in chat” are the same test.
xitter.cf/solomonstre/status/211…
I’m a technology optimist. However, technology claiming to accelerate learning always gives me pause. I think this is great as a gateway to learning, but if you just stop there, it’s edutainment. There seems no way around struggling when actually learning. xitter.cf/anabology/status/21126…
Clearing out tabs (5):
So much random garbage in my tabs.
With AI, I'm starting to see a Cambrian Explosion of fun custom websites--after the crunch of everyone having a medium/fb/substack.
names.color.pizza/?view=pixe…
Nice annotation tool to directly talk about what you're talking about with an agent.
xitter.cf/kitlangton/status/2111…
Previous:
xitter.cf/iamwil/status/21108700…
Clearing out tabs (4):
Different way to store memory. Instead of chat history being linear, make it hierarchical, branched by summaries. It purports to work well. I haven't tried it yet.
gist.github.com/VictorTaelin…
