Sabitlenmiş Tweet
I wrote a thing - vrnetlab - dockerized virtual routers for convenient development, lab and CI testing - github.com/plajjan/vrnetl…
English
Kristian Larsson
5K posts
Kristian Larsson
@plajjan
Building @ActonLang & Network Automation Systems Architect @ DT / TeraStream ❤️ YANG & robust systems. Author of vrnetlab, NIPAP. IETFer. Polyglot wannabe.
Stockholm, Sweden Katılım Eylül 2011
519 Takip Edilen2K Takipçiler
@samhogan @mlarkin2012 Have you seen @unisonweb? It's code base manager is using a database under the hood
English
What if a codebase was actually stored in Postgres and agents directly modified files by reading/writing to the DB?
Code velocity has increased 3-5x. This will undoubtedly continue. PR review has already become a bottleneck for high output teams.
Codebase checked-out on filesystem seems like a terrible primitive when you have 10-100-1000 agents writing code.
Code is now high velocity data and should be modeled at such. Bare minimum, we need write-level atomicity and better coordination across agents, better synchronization primitives for subscribing to codebase state changes and real-time time file-level code lint/fmt/review.
The current ~20 year old paradigm of git checkout/branch/push/pr/review/rebase ended Jan 2026. We need an entirely new foundational system for writing code if we’re really going to keep pace with scale laws.
English
Sounds like @unisonweb is on the right path!
Sam Hogan 🇺🇸@samhogan
What if a codebase was actually stored in Postgres and agents directly modified files by reading/writing to the DB? Code velocity has increased 3-5x. This will undoubtedly continue. PR review has already become a bottleneck for high output teams. Codebase checked-out on filesystem seems like a terrible primitive when you have 10-100-1000 agents writing code. Code is now high velocity data and should be modeled at such. Bare minimum, we need write-level atomicity and better coordination across agents, better synchronization primitives for subscribing to codebase state changes and real-time time file-level code lint/fmt/review. The current ~20 year old paradigm of git checkout/branch/push/pr/review/rebase ended Jan 2026. We need an entirely new foundational system for writing code if we’re really going to keep pace with scale laws.
English
This is diametrically opposed to my view. I prefer to use a single language to build a distributed system. Languages like @unisonweb and @ActonLang are the future.
Paul Snively@JustDeezGuy
This is why I’m unimpressed by Erlang/Elixir: every major language runtime has VERY high-quality M:N work-stealing “thread” schedulers with good APIs (structured concurrency), and the “isolated processes” and “RPC” got pushed up to an orchestration layer (DC/OS, Nomad, k8s…)
English
ncurl github.com/orchestron-orc… got a new --format tree option - got to say I'm pretty happy about it =)
English
English
How is it Codex can consistently write 50 lines of Haskell one-shot but fail to write proper git commit messages. One is ELI5 "50 chars as summary\n\nthen more stuff with-word-wrap" and the other is like years of FP-knowledge. So weird and backwards..
English
@ntdvps are NETCONF locks supposed to be working on Nokia SR Linux? When I lock candidate, do edit-config & commit, I can only run one commit per NETCONF session, second commit comes back with error, regardless of config payload etc. Not using locks works.
English
@satnam6502 And the weight in a bag pack isn't too bad, it's more when it's in my lap that I just prefer the Air, so nice!
English
@satnam6502 I'm pretty sure my next laptop will be air again, although it'll be awhile so things might change of course. For extra screen you use usb-c anyway, which the air has. I rather carry hdmi dongle for the few cases than constantly carry the extra weight in the laptop
English
I find myself without a laptop and I am torn between a 13" MacBook Air M4 32GB 1TB vs. 14" MacBook Pro M4 Pro 32GB 1TB. It will be my main development machine (with external monitor), running SystemVerilog simulations, theorem provers like Lean4, Agda, SVA formal verification jobs using Tabby CAD from YosysHQ, ML frameworks like MLIR and OpenXLA, and some large Haskell programs. So all this points to the MacBook Pro (and the extra HDMI etc. ports are nice) but if the whole point of a laptop is to be light and portable perhaps I should get the MacBook Air and hope it has enough juice to keep me productive. In that case it might make sense to pair it with a beefy Linux machine which I can use via VS Code's remote feature (my typical mode of use recently anyway). Any advice very welcome, esp. from theorem prover and hardware CAD users.
apple.com/shop/buy-mac/m…
English
@DrPhiltill @jgarzik Claude code with Claude 4 models (opus for advanced stuff) is really the best tool for coding. I think it's wise to try it before concluding anything about the current state of AI / vibe coding. Also prompt instruction are still relevant and have a big impact on success rate
English
@jgarzik 8/
My assessment of vibe coding:
Normal coding is like solving tough logic problems. It takes a lot of hard thinking. Vibe coding requires no deep thinking. I can see how humans are going to become mentally lazy and lose the ability to think well.
English
Today will be my first attempt at Vibe Coding. I'm using Grok 3 since I am cheap. I need to write software that predicts the loss of mixed-chemistry ice from lunar soil. I figured how to solve the physics but programming it will be messy, so here goes... Updates to follow. /1
English
I use agents frequently, letting them run wild on my code base. But at the end of the day, I commit and I stand for my work. Sometimes I ask agents for explanations, but regardless I read and understand every line I commit. I don't think you have to restrict an agent to a window.
Debasish (দেবাশিস্) Ghosh 🇮🇳@debasishg
Possibly the best thoughts on AI usage that resonates with my feelings. I too like to use AI in the small while coding but the main loop has to be driven by me with my fingers. I feel too nervous watching Claude agent going through my codebase and making changes without me going through the cognitive exercise of forming the mental model of the program. The only time I let the agent loose is when I am trying to understand a large codebase and asking the AI to prepare a workflow of how the code works. But that’s only a read mode operation on the codebase. Learning through fingers, as @dhh says is a great idiom to learn programming.
English
Zero dependencies is awesome but obviously not for your day to day code on average run of the mill programs where reimplementing everything would be madness. Only listen to this if you are building something very serious.
Pekka Enberg@penberg
I wish I had the zero dependency discipline Joran and the TigetBeetle folks have because more often than not, dependencies do end up being a liability or that thing that prevents you from engineering the right thing.
English
@mitchellh what are your thoughts on this with regards to libxev?
Loris Cro ⚡@croloris
Zig's New Async I/O kristoff.it/blog/zig-new-a…
English
@lemire I think the IETF motto of "be conservative in what you send, and liberal in what you accept" has done a lot of harm this way. It's well intentioned but as you say, instead of finding and fixing errors we now have to carry with us loads of special case handling on the receive side
English
@zack_overflow Have you tried out the incremental compilation on Bun? With no emit bin. Crash and burn or what happens?
English
Note that:
- this is with Bun's 850k lines codebase, this isn't a problem in smaller codebases
- the Zig team is working on incremental compilation which will make this much faster (it's still gonna be awhile until then tho)
- Semantic analysis in Zig is currently single threaded, when it becomes multi-threaded then just checking code will be way faster
English
What I dislike about Zig:
I waste ~45 minutes a day waiting on the Zig compiler while working on Bun
Why? The Zig language server does not do basic things like type-checking
So I have to run the compiler to check my code, but the compiler takes 1 minute and 30 seconds
English