making the internet a better, more human place / seoul.systemshttps://bsky.app/profile/seoul.systemshttps://bsky.app/profile/seoul.systems/post/3mixc2ujqbs2kI wonder what percentage of the vulnerabilities discovered by Mythos are memory related08 Apr 2026 02:53 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mixc2ujqbs2khttps://bsky.app/profile/seoul.systems/post/3mikk2csvsc2zAll of our interfaces converging towards a single chat window is so fucking dumb. People have no imagination left03 Apr 2026 01:11 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mikk2csvsc2zhttps://bsky.app/profile/seoul.systems/post/3mieawitags2zReally exited about future work on formal verification in PL that brings natural language as a programming interface way closer to engineering than it is right now31 Mar 2026 13:12 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mieawitags2zhttps://bsky.app/profile/seoul.systems/post/3miaffq67oc27haven't posted much recently since I picked up some contracting work which I enjoy quite a lot30 Mar 2026 00:22 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3miaffq67oc27https://bsky.app/profile/seoul.systems/post/3mhwzkdnjh22hWriting C from time to time, mainly to better understand the shortcomings I've read so much about, is surprisingly fun26 Mar 2026 06:56 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mhwzkdnjh22hhttps://bsky.app/profile/seoul.systems/post/3mhmyd6rht22pOne thing that feels common about Rust and C is that they’re both forcing you to think about the same thing but through different means22 Mar 2026 07:07 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mhmyd6rht22phttps://bsky.app/profile/seoul.systems/post/3mh3s4dn2kk2gkinda crazy that LLMs naturally don't a sense of time15 Mar 2026 11:01 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mh3s4dn2kk2ghttps://bsky.app/profile/seoul.systems/post/3mh3bmf5z2k26I don't need it at all, but I kinda want a MacBook Neo15 Mar 2026 06:05 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mh3bmf5z2k26https://bsky.app/profile/seoul.systems/post/3mgytrjbwts2fI wonder if the proliferation of software engineering programs will lead to more numerous and more complex specifications like yaml.14 Mar 2026 06:52 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mgytrjbwts2fhttps://bsky.app/profile/seoul.systems/post/3mgqupbhaek2wI keep thinking about websites...11 Mar 2026 02:48 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mgqupbhaek2whttps://bsky.app/profile/seoul.systems/post/3mglubhnf3c26I wish the term ML ad won over AI for everything we currently use09 Mar 2026 02:57 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mglubhnf3c26https://bsky.app/profile/seoul.systems/post/3mgdxb4hzyk2ma PDS should be a physical object running in your own home05 Mar 2026 23:29 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mgdxb4hzyk2mhttps://bsky.app/profile/seoul.systems/post/3mgbdqyoois26arguing about pens is so arbitrary. it's the paper that makes the difference04 Mar 2026 22:34 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mgbdqyoois26https://bsky.app/profile/seoul.systems/post/3mg5feuuv2c2iWriting just the right amount is a surprisingly hard, but often overlooked part of (good) writing03 Mar 2026 08:53 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mg5feuuv2c2ihttps://bsky.app/profile/seoul.systems/post/3mg5czamzyk2iBabe wake up I got a new handle03 Mar 2026 08:11 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mg5czamzyk2ihttps://bsky.app/profile/seoul.systems/post/3mg4cw6ykxc2n“Death by Convenience” perfectly describes what our industry is rushing towards today02 Mar 2026 22:36 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mg4cw6ykxc2nhttps://bsky.app/profile/seoul.systems/post/3mfvjb4yqts2ykinda hate how everything done today feels to be done so for performative reasons and that this dynamic extends into everything up unto geopolitics28 Feb 2026 05:41 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mfvjb4yqts2yhttps://bsky.app/profile/seoul.systems/post/3mfpraxa3c22gWent to the Apple Store yesterday and an employee with visual impairment was helping me out and it’s so humbling to see tech used in ways that are foreign to us but incredibly empowering for other people25 Feb 2026 22:48 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mfpraxa3c22ghttps://bsky.app/profile/seoul.systems/post/3mfnh6sqifs26"InterPlanetary File System" is such a cool name25 Feb 2026 00:43 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mfnh6sqifs26https://bsky.app/profile/seoul.systems/post/3mfnh5jbngc26for all it's flaws how can you not love the internet?25 Feb 2026 00:42 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mfnh5jbngc26https://bsky.app/profile/seoul.systems/post/3mfngfs4cpc26for all it's flaws I like Mastodon's UI more tbh25 Feb 2026 00:29 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mfngfs4cpc26https://bsky.app/profile/seoul.systems/post/3mfeez4orjc2iNow that it’s easier than ever to create digital artifacts in an instant, it’s equally important to ask ourselves if we should21 Feb 2026 10:10 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mfeez4orjc2ihttps://bsky.app/profile/seoul.systems/post/3mfeepmc3ek2iAfter a week in the Heimat it’s time to go home21 Feb 2026 10:04 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mfeepmc3ek2ihttps://bsky.app/profile/seoul.systems/post/3mfaeqbc2r22cCan we stop laying people off for, like, a day?19 Feb 2026 19:54 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mfaeqbc2r22chttps://bsky.app/profile/seoul.systems/post/3mewfhuaxfs2jeven though having more of everything in less time is en vogue these days, I think the value obtained by the absence of things is too easily dismissed. I want more of less15 Feb 2026 20:41 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3mewfhuaxfs2jhttps://bsky.app/profile/seoul.systems/post/3meq6zniews22I slowly believe data modeling and thinking through algorithms are two somewhat distinct skills13 Feb 2026 09:29 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3meq6zniews22https://bsky.app/profile/seoul.systems/post/3meamxslhvk2fI am sitting in a small cafe and next to me sits a group of Korean aunties, and one of them is lecturing here friends about agents and the impact of AI on the stock market?! The stuff truly is everywhere07 Feb 2026 04:56 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3meamxslhvk2fhttps://bsky.app/profile/seoul.systems/post/3me6axhipxs2yI think the success of LLMs in helping people explore unfamiliar conceptual territory could just as easily be read as our existing systems falling short of fostering genuine human-to-human intellectual exchange and collaboration06 Feb 2026 06:16 +0000at://did:plc:53wellrw53o7sw4zlpfenvuh/app.bsky.feed.post/3me6axhipxs2y