mark_undoio

6 ms·

1.
by mark_undoio 3mo ago
Speaking as a Brit, our national trait is generally too understate things. So even saying what you mean, directly, comes off as a bit immodest and hyping it up in sales pitches sounds shady. Americans generally say what they mean a bit mor
2.
by mark_undoio 4mo ago
There was a quote somewhere about Mercurial having a mental model small enough you can fit in your head - and that was the big win for me. It was also fast and had very clean, easy to contribute to code. I remember submitting a patch and g
3.
by mark_undoio 8mo ago
I've recently been thinking how AI agents could affect this. If you're lucky enough to be able to code significant amounts with a modern agent (someone's paying, your task is amenable to it, etc) then you may experience devel
4.
by mark_undoio 8mo ago
Maybe this? https://sites.google.com/site/616cellnet/ct2
5.
by mark_undoio 8mo ago
Whilst I have seen the Rabbit fittings others have mentioned I do remember mention of a "zone phone" and suspect we're recalling the same thing...
6.
by mark_undoio 9mo ago
Very excited to see this come out - though coding agents are impressive their UIs are a bit of a mixed bag. Textual offers incredibly impressive terminal experiences so I'm very much looking forward to this. I wonder how much agentic m
7.
by mark_undoio 1y ago
I love the Patagonian Welsh. BBC Wales, which often has great comedy, has a sitcom based around the original emigration to Patagonia: https://www.bbc.co.uk/programmes/b060cd20 The whole thing feels very much like a St
8.
by mark_undoio 1y ago
In Cambridge we've got a clock called the Chronophage which is intended to be a sinister "eater of time" - the designer has done a good job of making it feel uncomfortable to look at. There's some detail here: https:&#
9.
by mark_undoio 1y ago
Acorn was doing stuff in Cambridge UK until more recently than I'd realised - it effectively incubated a load of talent that went on to find other companies. Famously ARM span out of it but many others also went on to do cool things -
10.
by mark_undoio 1y ago
This demo was so cool. There were lots of alternative OSes out there back then that felt very impressive. Linux at the time was cool too but less polished than now. Lots of people were on the Win 9x series, which wasn't amazing - and
11.
by mark_undoio 1y ago
Encarta 95 had it - I remember thinking how cool it was that it looked like Win 95.
12.
by mark_undoio 1y ago
I'm pretty comfortable with the agent scaffolding just restricting directory access but I can see places it might not be enough... If you were being really paranoid then I guess they could write a script in the local directory that the
13.
by mark_undoio 1y ago
Amp (ampcode.com) uses Sonnet as its main model and has GPT o3 as a special purpose tool / subagent. It can call into that when it needs particularly advanced reasoning. Interestingly I found that prompting it to ask the o3 submodel (
14.
by mark_undoio 1y ago
I've heard various online stories, over the years, about how nobody nails the ergonomics quite like Maltron does. Which is amazing given how long they've been about. I have an old Maltron that I got cheap (many years ago and it w
15.
by mark_undoio 1y ago
It's quite weird having local footpaths and paved roads that turn out to have been constructed by the Romans originally - around here that also applies to canals, drainage ditches, etc. It just blends into modern reality. I imagine so
16.
by mark_undoio 1y ago
> I don't understand this. Developer time is so much more expensive than machine time. Do companies not just double their CI workers after hearing people complain? It's just a throw-more-resources problem. I'd personally a
17.
by mark_undoio 1y ago
Process recording by time travel debug seems like a good fit for this problem - then you can capture 100% of process execution and then go back and investigate further. We (Undo.io) came up with a technique for following a tree of processes
18.
by mark_undoio 1y ago
That's the thing though - they're using logs. My theory is that LLMs are intrinsically quite good at that because they're good at sifting text. Getting then to drive something like a debugger interface seems harder from my e
19.
by mark_undoio 1y ago
I'm fascinated by this paper because it feels like it could be a good analogue for "can LLMs handle a stateful, text-based tool". A debugger is my particular interest but there's no reason why it couldn't be someth
20.
by mark_undoio 1y ago
> It will be interesting to know what challenges came up in nudging the model to work better with time travel debug data, since this data is novel and the models today might not be well trained for making use of it. This is actually quit
21.
by mark_undoio 1y ago
I am appalled and delighted by this. It feels like an AI cousin to the Python error steamroller ( https://github.com/ajalt/fuckitpy ). Whenever I see this sort of thing I think that there might be a non-evil application
22.
Undo × MCP: Time Traveling with Your AI Code Assistant(undo.io)
10 points by mark_undoio 1y ago|2 comments
23.
by mark_undoio 1y ago
Always fun to see what izabera has come up with - every single time I'm somewhere between delighted and terrified to see what she's made the computer do this time!
24.
by mark_undoio 1y ago
I assume you're aware but there are some open source assistants that can get you this (at least to some extent). E.g. Codename Goose https://block.github.io/goose/docs/quickstart/ Which I think supports
25.
by mark_undoio 1y ago
Thanks for this - I've been using the MCP Inspector https://modelcontextprotocol.io/docs/tools/inspector but find it doesn't really fit my workflow. I like the fact this mcp-debug tool can present a REPL
26.
Using AI to Debug Your Programs with Undo(undo.io)
5 points by mark_undoio 1y ago|0 comments
27.
by mark_undoio 1y ago
What's limiting us is that Undo does need a Linux kernel - so traditional embedded programming wouldn't be a fit. Embedded Linux could work and we do support ARM64. I've thought I bit about how you might support time travel
28.
by mark_undoio 1y ago
This made me very happy
29.
by mark_undoio 1y ago
GDB does: https://sourceware.org/gdb/current/onlinedocs/gdb.html/Proce... But it's limited. It's really cool that it's integrated by default but it doesn't scale to big applications
30.
by mark_undoio 1y ago
WinDbg's time travel debug is really cool and more people should know about it. I'm always a little sad that it's not (so far!) officially integrated in something like VS Code. Before it was released publicly I believe Micro

More ›