Nils Koch retweetledi
We wrote up everything we do to secure our open source projects at Astral
English
Nils Koch
285 posts
Nils Koch
@nilskch
Coder and noodle soup enthusiast
Munich, Bavaria Katılım Kasım 2023
105 Takip Edilen45 Takipçiler
@jamesqquick Genuinely curious why someone would do this... How frequently are you submitting the exact same prompt? I have always looked at them as totally ephemeral. I might keep a PLAN.md around for larger implementations but I did that before LLM's when it was all my own notes
English
Do you all store a repository of AI prompts for yourselves?
English
Nils Koch retweetledi
youtube.com/shorts/vsytxGF… I'm excited to announce I'll be applying for YC 2027. Not sure what my company will be yet, but it's clear I have what it takes
YouTube
English
@zeddotdev I also love typora for writing. A minimal, typora like edit-during-preview mode that previews code snippets, headers, links and lists would be a great start.
English
Tell us how we could make Zed the single best tool for working with markdown
Mitchell Troyanovsky@mitch_troy
I suspect the IDE will be making a comeback over the next 6 months as people realize that you can get away without reading every line of code, but you better be reading every line of markdown Surprised more IDEs haven't focused on being the absolute best place to edit markdown
English
@nilskch @heyandras It's what makes it great, and what causes rough edges.
English
Zig is the new rust like rust was the new go like go was the new c++, like c++ was the new c like c was the new b like b was the new fortran like fortran was the new speedcoding like speedcoding was the new assembly.
English
@gabrielmfern @heyandras That‘s what makes Zug great. They won‘t ship a half baked v1.0.0, they iterate until they are happy. Async and their new IO interface are good examples of that.
English
@heyandras I don't know, I feel like the problems that Zig has is just because the language is way too principled and it never breaks those, even when the trade offs would favor breaking them.
English
@nilskch You can find example PRs here @nilskch. They end up being very localized and easy to review with this kind of workflow
Pekka Enberg@penberg
I have been working on improving Turso compatibility with the tool I created. I'm am basically letting it automatically figure out reproducers for SQLite TCL test suite failures, and making then making it fix them. The workflow is simple: 1. rp inspect "Run all.test and reproduce first bug" 2. rp fix 3. Use Claude Code or Codex for manual touchups 4. Submit a PR While the CI is verifying the PR, I just start with another "rp inspect" session. I am still working in sequential model to get a better feel of the tool, but I suppose I should look into parallelizing the workflow. Here's a list of the PRs I've so far submitted that are 90%-95% done by rp itself: github.com/tursodatabase/… github.com/tursodatabase/… github.com/tursodatabase/… github.com/tursodatabase/… github.com/tursodatabase/… github.com/tursodatabase/… github.com/tursodatabase/…
English
I am finally using the tool for some real work!
Pekka Enberg@penberg
I am pretty tired of drowning in Ghostty tabs while running coding agents, so throwing some tokens at it to build a tool in Rust that runs on Linux. It's essentially just Ghostty with a nice workflow to managing coding agent workspaces.
English
@dillon_mulroy @mjackson Can’t wait to see what you’ve been cooking :) is cloudflare donating to the Zig Foundation? They are doing amazing work and they run on donations.
English
@mjackson there may or may not be some zig involved w/
x.com/dillon_mulroy/…
Dillon Mulroy@dillon_mulroy
ive been working w/ @elithrar, @mattzcarey, and @thomas_ankcorn on this and it's possibly the most exciting/cool thing ive worked on in my career also finally had the chance to work on a project w/ these 3. some of the most talented and fun colleagues to work with
English
@awesomekling It‘s just like the scene in The Dark Knight Rises where Bruce climbs out of the pit without the safety rope. You need to feel the fear of death.
English
why do people insist on benching without safety arms, even when they are available?
it makes zero sense to me, yet I regularly see people remove the safety arms and max out with a spotter instead.
WHY? THIS IS INSANE. I don't want to see you die, bro. use the damn safety arms!
English
Hey @zeddotdev, the new Zeta2 model is awesome! Kudos :)
Sincerely, a happy Zed user
English
@penberg @PThorpe92 Makes we want to contribute to see if I am worthy or not
English
I merged @PThorpe92's Fossier integration to Turso, which is there to try to automatically detect slop AI PRs: github.com/tursodatabase/… It automatically closes a PR if it does not meet a required confidence. Let's see how well this works!
English
Crazy how much this resonates with me. I guess I‘m getting old?
youtu.be/WnWtIzRFxhI?is…
YouTube
English
One vice I have that I can't even explain to myself: I love good cables, power adapters, and could (and have!) essentially buy new Anker stuff every two weeks.
Something in me tells me that I need this. Look at that display. That knob.
I don't need it, it's expensive, ... BUT.
English
I get these too, but mine are guys with a vision for a simplified web platform without all the bloat and complexity 😄
Boris Cherny@bcherny
A weird part of working at Anthropic: getting a few of these each day
English
@charliermarsh Can you/someone from your team write a blog post about this? 👀 Or can you link some helpful resources?
English
We've had to invest so much time hardening our setup here to protect us from real issues that require a PhD in Actions to even identify
English
More-so than any product I've ever used, GitHub Actions really drops you into the "pit of failure" from a security perspective
English
Nils Koch retweetledi
I'm usually not one to write thought pieces without much technical depth. But here we go.
Slow the fuck down.
mariozechner.at/posts/2026-03-…
English
@sqs @xcrap @AmpCode @sqs there is no message when you used up your free credits. The ads are also still there. I always monitor how much free credits I have left in the web UI. It would be great if amp stops for a second telling you that you used up the credits and asks you if you want to continue.
English
Ah, yes, this is because we paused it for some inactive users. I know it's disappointing, and we will let you know if/when we bring it back.
But you are seeing it say you have access to Amp Free in your dashboard at #amp-free" target="_blank" rel="nofollow noopener">ampcode.com/settings#amp-f…? From what you said, if it's showing you have access there but not in the CLI, then that is a bug, and I wanted to get to the bottom of that.
English
So @AmpCode still says free in the dashboard but does not work, no warnings just puff. Ahhh...
English