
In the trenches... building cool shit @Theelysium_
Joined March 2014
- Tweets483
- Following2.6K
- Followers3.6K
- Likes42.8K
pako retweeted
1/ Controversial take: hard work is more important than smart work.
It's a myth that we only have a few hours of good creative work per day. Train yourself to grind long hours first. You will surprise yourself. The work naturally become higher quality, less distracted.
the /statechart skill in pstack v0.15.36 is now stable and ready for use! it's best combined with /create-formal-verification-skill to abstractly model state machines and distributed systems to find bugs.
the skill contains a mini tlc compiler that parses, lowers to a small IR, and has a backend that outputs mmd syntax. if you want you can also ask your agent to create charts in whatever style you like, the skills tells it to use pele.run/ which is very themeable so you can make blueprints, hand drawn encyclopedia illustrations or whatever you like
here's a chart of the /statechart skill and 2 real bugs i just found. try it out and let me know what you think!
This is Pele, my new rendering library for diagrams and charts, compatible with the latest Mermaid syntax.
- 100-500× faster than mermaid.js
- 6× smaller bundle
- No dependencies
- Easy to theme
- Responsive to device width
In pursuit of making Obsidian insanely fast and cohesively designed, I always found the Mermaid library to be too big, too slow, and too hard to theme. Pele will be the new renderer in the next version of Obsidian, but you can start using it now.
Pele [ˈpɛlɛ] is named after the goddess of volcanoes and fire. It's open source under the MIT license. Try the playground!
i love writing. i never let agents write for me. whether it's docs, or tweets, or shitposts, or even prompts (okay maybe that one's harder as agents manage other agents)
there's a simple reason for that: i still strongly believe that writing is thinking. it's a skill i hope to never give up. it's also important to me that whatever i say is always authentic, mistakes and all. my favorite posts are the ones that i just full send without any editing
i suspect it also helps with prompting. being able to clearly express what i want, and knowing the vocabulary i need to be able to direct my agents does seem to make for more effective usage of agents. in the same way that engineers have an advantage when we prompt agents to write code, because we are intimately familiar with the words that make up the discipline
knowing the right word incantations to get an agent to produce a desired goal almost feels like spellcasting. as models get more capable, and that input box looks more and more like a magic box that can output anything, words become the interface between you and the genie
there may come a time when we give up the keyboard in exchange for brain-computer interfaces. but until then, i'm writing every word.
pako retweeted
The future is verification-engineering.
Proofs, (e2e) tests, benchmarks, linters…
Some tests will be deterministic, some agentic. This looks great.
Introducing e2e
The agentic testing framework for any app
~/ npx e2e init
→ Fully Open Source
→ Mix deterministic and agentic APIs
→ Supports web, mobile, and more
→ Bring your own agent and infrastructure
→ Run locally or in CI
tester.army/e2e
Crazyy
After co-inventing ChatGPT, I kept asking myself: why have superhuman chat models not led to AGI?
I’ve spent the last 2 years in stealth building a new way to train models (RLCD), and a new type of frontier AI model that we are releasing today: Jev
• 20-200x faster
• 40-400x cheaper (w/ output tokens free)
• Frontier composable intelligence optimized for decisions
AFAICT the shortest path to AI-based economic revolution
150
Introducing shadcn/lint. An agent-first linter for Tailwind design systems.
You define what’s allowed. When an agent breaks a rule, the error explains what’s wrong and how to fix it using your components, variants and theme.
There’s a lot you can do with this. Let me show you ↓
github.com/shadcn-ui/lint
Gon actually shitpost faster now
ChatGPT Work can now pick up on what makes your writing sound like… you. Your favorite phrases. Your very specific sign-off. your capitalizations quirks.
Connect the tools you use every day, like Gmail, Google Drive, Slack, and SharePoint, and ChatGPT Work will learn your writing style from your emails, messages, and files—and carry it into whatever you write next.
159
Been trying Astra for sometime.
This seems to be very true.
If there’s one thing to understand about Astra, it’s that it’s the best reverse engineering engine ever made.
Give it any media, and it turns it into code. Give it software, and it recreates the functionality and every visual.
It closes the gap between seeing and building.
1
3
169
Astra made this, reference video given below..
with the most basic of prompts.
took around 3 minutes.
1
208
pako retweeted
At this point I just want models to be faster and cheaper. I have enough intelligence. Please, size doesn't matter any more, I need performance.
this was so interesting to watch...
its a crazy time to be building today..
its so exciting and uncertain at the same time..
you do not know what the next 6 months will look like.
there is no anxiety or worry, YOU cannot control what you cannot control.. focus on the present.
Here's my conversation with @DHH. He is back for round 2! It was an epic fun 5 hour conversation about the future of programming, AI, Linux, and human civilization.
It's here on X in full and is up everywhere else (see comment).
Timestamps:
0:00 - Episode highlight
1:27 - Introduction
2:56 - Programming with AI agents
18:14 - How software will change
27:30 - AI impact on open source
37:21 - Building Omarchy Linux distro
47:05 - Vibe coding vs agentic engineering
1:00:06 - The end of manual programming
1:10:24 - Advice for programmers
1:22:30 - Surviving Internet Hate
1:31:46 - Programming setup for AI Agents
1:44:11 - Obsessing about speed
2:07:06 - Voice prompting vs typing
2:21:05 - Best AI coding models
2:37:55 - Best AI coding harnesses
2:50:57 - AI video generation and filmmaking
3:10:28 - Fatherhood
3:38:35 - Linux will win the desktop
3:49:51 - PewDiePie
3:59:24 - Future of programming
4:22:17 - Politics and immigration
4:53:54 - Longevity, over-optimization, and fear of death
5:05:38 - Eternal recurrence and future of human civization
1
156

























