I do in fact exist I'm an information sponge, so if you have some question that you think I might have an answer to, feel free to ask! Even if I won't have it off my head, I know how to look up things fast.
Public Key
npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Profile Code
nprofile1qqsvv7jd00dcncgjawx0sntq48kr3sn9ang6p8ctltwzg72frpnlqmcpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsxhx5sa
Show more details
Published at
2026-07-28T13:02:50+02:00 Event JSON
{
"id": "183b889b9719c6160ea31073bf31e0386774601e8c9f30b216552b17e7da1473" ,
"pubkey": "c67a4d7bdb89e112eb8cf84d60a9ec38c265ecd1a09f0bfadc2479491867f06f" ,
"created_at": 1785236570 ,
"kind": 0 ,
"tags": [
[
"proxy",
"https://not.acu.lt/users/8p05cruu9u",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://not.acu.lt/users/8p05cruu9u",
"pink.momostr"
],
[
"-"
]
],
"content": "{\"name\":\"Ignas Kiela\",\"about\":\"I do in fact exist\\n\\nI'm an information sponge, so if you have some question that you think I might have an answer to, feel free to ask! Even if I won't have it off my head, I know how to look up things fast.\",\"website\":\"https://not.acu.lt/@ignaloidas\",\"picture\":\"https://not-acu-lt.s3.nl-ams.scw.cloud/null/webpublic-dedc40e7-0ae5-44a4-a348-250c18c5deb8.jpg\",\"nip05\":\"[email protected] \"}" ,
"sig": "7bc58480d714aeb4640ad8820382a47e6c4421598824954a2264dbdc5434dc40d6dbf353b507b795b6b31edbeb63b2dad7154a0fcb64f985ccc043c1127169ab"
}
Last Notes npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela Incredible work from Godot on supporting the whole flow, right up to publication, all inside Android. This allows many, many more people to try making and to publish their own games, especially for kids or people in poorer countries, where access to a PC can often be harder than to a smartphone. https://godotengine.org/article/gabe-stable-release/ npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela the argument boils down to "is reproducing code speech or production" which I guess could lead down to destruction of copyright for code if it falls into the speech pile and gov still wants to control it npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I'd hope they're moving over to NVMe over TCP these days npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela depends on the human not having 100% trust for the LLM's results tho, like seemingly a whole bunch of curl's bug bounty reports were humans that just had absolute trust in LLM's results and even tho the talking didn't seem LLM, the arguments and reports did seem to fit a LLM npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela oh wow, that's public sector type of salary. Was maybe thinking about it, but not with that salary :| npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela there was a blog post a couple days ago about using them for boating, where they seemed to be somewhat practical but still feels like very much a specialized kind of thing npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela you'd think that, but I've heard that stuff similar to this is not that uncommon of an occurance npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela to be fair, they're pretty much legally mandated to do this, there's a whole industry of "how does this drug is actually used and what effects does it do to people" that is essentially looking through social media posts and shit. Look up pharmacovigilance, I used to work for a company doing that. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela > Tap water is always altered with chemicals due to how it must avoid microbe development inside the piping. Not really? IDK if it's purely a Lithuania exclusive, but here it's common for tap water to be essentially straight from a boring well without any contact with air or processing besides removing iron salts because sometimes there's too much of those. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I mean, arguably it already runs afoul of monopoly laws? But it would be way easier to argue if they still did this even when you can't pay for such games using them. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela "they can pay for it using our payment method" vs "they can't even pay for it using their payment method" is a fair bit of difference anyway. Mastercard may still push it, sure, but it ends up in courts, it will be a fair bit of difference in arguments. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela If mastercard still does, it gives ammunition that they aren't doing it just to "protect the brand", which might end up helping legal arguments. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela oooh, their philosophy *mostly* mirrors mine just a bit of a shame in that there is no partial evaluator for clojure, if there was there would be an opportunity to find errors without a whole bunch of tests or runtime. Honestly, it's annoying that there's very little work on more general partial evaluators - weval for wasm is the only one I know that's been worked on recently. Compilers are arguably just a special case of partial evaluation that just returns the partially evaluated code in a form that allows for faster execution. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela very true I remeber talking how you could achive similar levels of safety as with statically typed languages by having the type-checks be dynamic *and* having partial evaluation make sure that all of the type checks aren't "compiled in". The response I got was "but that's not how type theory works", with little elaboration. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela It is a quality argument, but I don't think it's saying that it's bad quality *because* it's free software - rather that many "stallman enjoyers" tend to overvalue the fact that something is free software that they stop caring that it's bad quality. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I don't think that's what the comment you originally were replying to was arguing for? npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela while I do broadly agree, but the second cannot happen without the first. E.g. for your stuff to be usable it *has* to offer a migration path - even if that means that said migration path has to support proprietary operating systems. Putting principles over user needs breaks the migration chain for most users, and builds an ecosystem with no users. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I've said this a bunch and I'll say it again: Free software movement is fundamentally a "purity" argument, while general ass users don't care about some "purity", they care for a solution to their problems. Sure, that solution can follow the "pure" philosophy, but that fact alone will not win you any significant userbase besides a couple of FSF superfans (if that). You get users by solving their problems, better than others, and for consumer users it mostly doesn't matter whether your software is free or proprietary. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela btw, here's a local example on how to make an overlay, might be a good help on the "frontend" side https://github.com/geerlingguy/obs-task-list-overlay npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I think there's some native transparency support? internet says that body { background-color: rgba(0,0,0,0)!important } should work npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela yeah, basically streamelements subscribes to twitch events (I don't recall exactly how), and then through presumably websockets sends appropriate notifications to open alert pages, one of which is hopefully the one in streamer's OBS browser source if you want to build stuff like that into your streaming platform, I'd say that for MVP the basic browser source is enough, advanced stuff is a bonus (though still - it's important to provide hooks for others to trigger stuff from) npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela maybe more advanced stuff, that very few people bother to set up, yes. But the basics that most people use is essentially a browser source to some url like alerts.streamelements.com/basic/username and the website in said url gets a websocket connection and then on events just plays an animation and sound. It's not OBS specific or anything, just a webpage that plays alerts. If you got that working decently, you're at the interactivity level of an average twitch streamer - messing with advanced OBS stuff is something that only like 0.1% of streamers do, if that. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I'm not sure what's your current architecture? I don't really understand what you're trying to do npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela yeah just look at streamelements and if you copy 80% of their most used features, you got everything that "regular streamers" want npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela 99.9% it's just a web source with transparency, only "big serious productions" go for something more than that, even "fully real-time collaborative stream overlay" stuff like pogly is just a web source npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela my ID card has a digital certificate with which I can do digital signatures that are legally equivalent with written down ones. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela with digital signatures! And photos! Also, the chip has fingerprint info AFAIK npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela oh, wait, there is already an open source card-side implementation https://jmrtd.org/ npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela yeah, freedom of choice is most likely not possible, but I think it might be viable for a dedicated individual to make sure the software the passport runs is open source. Though, by FSF metrics, they might decide that the passport is purely hardware by virtue of the software on it being non-updateable npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I mean the standards are open, someone should write an open source implementation of them npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela does it actually work, or does it just "feel" like it works very different things, and without quantifiable measurements, it's hard to pin it down for sure. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela there is some talks about webrtc streaming, which (somehow) is way lighter on server side, and allows to stream to way more people without a lot of overhead, might be interesting npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I mean, you can have multiple windows and arrange them in Wayland, so I'm not sure what exactly do you mean? npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela Restore has a protocol, you ask compositor to remember the window config, and ask to restore it on startup. Spawning new top level windows from a drag is possible, my Firefox is running Wayland-native, and I can drag a tab out of the toolbar to spawn a new window, and can drag tabs between windows and drag all tabs from one window into another window to leave only one open. But I don't see much utility for determining the relative positions between windows (no good way to define it without baking in assumptions), or spawning a window at the cursor location. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela does that really need *absolute* positioning? They don't want to "get stuck" to a single coordinate system - current way allows a lot of freedoms, like freely rotatable windows (admittedly a gimmick, but why not?), or e.g. VR Wayland compositors (trying to do that in X11 would lead to a lot of pain). npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela remember that like 90% of devs barely know git beyond commit, pull, push, log, checkout - and if you only use that, it's barely acceptable to have this shit npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I've never even heard about anything this bad wtf this is brainrot of the highest level npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I think the joke is that the movement ends up exactly the same as the regular horse, no? npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela ah I guess it's time for x11 to finaly die (thank goodness) npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I mean, not everything has to be there for a reason other than "I like it" npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I don't even think it's that really, us politics just has devolved into brainworms, and those brainworms spread into countries where political reporting is easily shared (that is, same language) npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela so everybody who's politics happen in the same language in the US gets poisoned I guess local languages as a defense mechanism from brainworms npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela feels like just america is like that tbh, there's way more choice and nuance elsewhere npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela IMO code-focused LLMs should have different tokenizers, to handle identifiers and syntactic stuff better, so that you could outright reject tokens that do not fit in position npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela tbh in my very simple use of AI when coding, I find that it's just very shit at abstraction. It can extend stuff, sure, but offers near-zero capabilities for simplification (without spending a fuckton of money like OpenAI did with ARC). And there's only so much you can extend stuff without simplification before you get into a massive pile of spaghetti code. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela wasm would be a better shout, riscv seems dumb for such purpose npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I'd say the problem is that a lot of his other metrics have been built on top of that one metric, and it will eventually bring the other ones down together with it npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela did he really? npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I see it more as a demonstration on why tesla's stance is so dumb, rather than a demonstration of an actual real life problem. Elon has been spouting shit about how cameras will be enough, and there's quite good evidence on how they aren't. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela conjugations are legit easier to learn anglo mind is truly something npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela o7 is alive and well in some places though often in an emote form npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela Honestly, I could see him being *that* concerned about his image, that appearing like he's the smartest guy in a company is more important than any competitive advantage patents would give. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela tbh it wouldn't surprise me - there is absolutely zero information on who actually does shit at Tesla or SpaceX, like absolute zero. Not even project managers or sth. speaking in PR releases or some shit. Any other company, they would share at least some of the main names from inside, where as with Elon's companies it's all Elon. Dude at seems to want to look like he does everyting at the damn companies. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela yeah, I feel like with rust, all of the worse code will end up getting exposed, and I guess some people just don't want that npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela yeah, but managing you can abstract over you can't abstract over "the only reason this doesn't leak in other drivers is because it leaks on shutting down" https://vt.social/@lina/113051677686279824 npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela > I don't have a citation but I remember reading last year complaints from C developers that they were being harassed by Rust maintainers to document their code better and stop making so many changes because it added a lot of difficulty to maintaining their Rust bindings and they didn't like the work of having to figure out how to safely use the APIs by having to read and understand the C code. There are various technical and historical details for why the C part operates like this. Tbh that's just bad maintainership. Rust people try to write their interfaces in a way that you can't misuse them, and when trying to do that, they find code that's hard to impossible to not misuse, and the maintainers just don't want to fix their shit. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela Have you fucking read what's in those articles? > As no significant British incursions into American territory had occurred by that time, and Britain's war strategy was largely defensive, the election proceeded without disruption.[3] > While the Confederacy seemed to have survival potential in summer 1864, it was visibly collapsing by election day in November. There's no end in sight for current war, unlike for the examples you picked npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela with a fuck ton of risk reducing measures it would be pretty fucking hard to reduce the risk of a drone strike to a polling center npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I think "bombs regularly falling on and near major cities" is wartime enough. If you cannot guarantee the safety of election goers, then you shouldn't run them. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela neat, UK was an autocracy during WW1 then I guess https://en.wikipedia.org/wiki/War-time_electoral_pact like, I don't see any problem in not doing an election during wartime if there's no pressure from the citizens - the only pressure right now is coming from outside npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela like 60% of people said that they shouldn't have elections during war, so it's not like there's much pressure from the citizens npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela oh maybe viable without changing os that much then npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela my evil idea for game graphics: run the game loop render everything at ~1000FPS at low res, and then do the whole optical flow and temporal super sampling stuff but in reverse. You'd get proper (not fake!) motion blur and stuff with this approach, but I don't think current operating systems can truly keep up with such update rate. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela eeehh, not sure, FIPS is still joked around as "insecure mode" quite widely sure it's better and not obviously broken but it's not good either npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela maybe it's still nicer here though fedi resists change, and because of that, it grows slowly npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela https://not-acu-lt.s3.nl-ams.scw.cloud/null/10750668-084f-44bb-beb4-6a0421fa59c2.png npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela reverting to 1980s watching culture ig https://not-acu-lt.s3.nl-ams.scw.cloud/null/f01ad2b9-89c6-462f-993e-dee82ef10a2f.png npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela they find people who can this paper is about imaging stuff with mri, some fun notes about performance https://www.bmj.com/content/319/7225/1596 npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela there's just JS, and there is DOM soup few people make proper DOM soup that works well with screen readers npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela > if someone wanted to, they could point at this statement and state that the death of each spermatozoid and egg cell is the killing of a person I doubt it would devolve that far, but if it did, there would be a lot of onion tier headlines npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela incredible, how did they define it? god, it's gonna be incredibly funny watching this clown show, it's just the fact that it will likely end up influencing me in some way that is concerning npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela oh, for sure but the state of politics in USA from my view has essentially devolved into a grudge match where each side is trying to make the other one hurt as much as possible without any consideration for others, and such moves start making sense. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I mean, it's not really for future crimes, it's for future litigation american political climate seems incredibly stupid in general though, even compared with some quite stupid stuff here npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela IPFS in general is quite shit. It's essentially reinventing torrents+DHT, just with a shittier protocol. IPNS (or whatever the stable naming thing of theirs is called) is more interesting, but seemed hopelessly tied to the rest of the shit to be useful. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela Eh, not sure if that's necessarily true. Natural fires are way rarer, because you need an ignition source (lightning I guess), and dry enough conditions for said ignition source to actually ignite and propagate. With humans, both the ignition sources are way more common, and the ignition sources are way more potent, able to start fires without needing for it to be that dry. I feel like that's the biggest reason for more fires - more and more potent ignition sources. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I mean there's fairly few cases that fire "just happens", most of it is human-caused one way or another. Electrical lines sparking or arcing is human-caused, but isn't meaningfuly an intentional fire. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela lol'ing at a "decentralised currency" having vendor lock-in npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I mean just this alone would prevent choking in osu! and the like, in games where you need to perform for prolonged periods with the stress gradually rising npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela huh most e-sport doping seems to be stimulants, but I guess reducing stress is one way to do that as well I can imagine quite a few games where this would help npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela any reason for yices2 as a SMT solver of choice? npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela "my distant relative was tortured by some organization, therefore it's fine to work for essentially the same organization just on a different side" is certainly a take I would say this is mean to him if somebody showed me this as satire. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela sun is not commonly identified as an aircraft though npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela circuits are still not required you can do arbitrary ratio splitters, so that 1/41th of all input items output on one belt while the rest output at another. Just quite a lot harder than circuits. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela hmm, but there's 7 total layers where a connection could be, top layer, 3 horizontal undergrounds, and 3 vertical undergrounds. Not all at the same time but still. I guess you mean the top layer as poly, but then consider long-handed inserters - I feel like that's way more fit for a poly layer. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela basically every belt tier has a separate underground level https://not-acu-lt.s3.nl-ams.scw.cloud/null/7f08feee-f035-4f14-ad81-646ff343a270.png npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela look up belt weaving and then vertical + horizontal underground belts don't interact. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela it's more than one layer it's 7 layers, but with a bunch of restrictions npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela makes me wonder now if any EDA software uses SAT solvers to find optimal solutions to complex sub-problems npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela not really though? It still goes back the call path as usual, and is handled by the code that catches errors, it doesn't jump into another context. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela essentially compiler carries a "stack trace" object through function calls, and when a function returns an error, it logs that into said object before returning. A mix between error values and regular exceptions https://ziglang.org/documentation/master/#toc-Implementation-Details npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela what about zig's error return traces (ik not teeechnically exceptions, but essentially does the same job) npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela sometimes I'm sad that I don't get dreams, and then I look at your posts and the sadness disappears npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela not unusual, there are some playstyles where it's very easy to fall down into a pit of standardization if you don't want that, imo the best ways are either to embrace spaghet (just throw those belts wherever, never fix them up) or go with a design so deranged, that there's fun in finding optimizations for it npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I mean logic gates with belts and trains are pretty straightforward Here's belts, it's quite self-explanatory https://www.youtube.com/watch?v=Ab15R1qSw_A Trains are a bit different, but you can reason about them in logic gates terms too https://www.reddit.com/r/factorio/comments/e6jl7b/trains_are_turing_complete_i_think/ Inserters would probably end up as weird machines, but even then, you're loosing a lot of interesting choices in the game npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I'm excited to say that this would remove almost all logistics options in the game Only bots can't build a computer, trains and belts certainly can, and inserter mechanics are complex enough that it's highly likely that it's possible, just nobody tried that yet. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela so about the frequency... there's a window where you're "supposed" to run it at, but the numbers in the spec are defined in this delightful way where it technically permits any frequency https://not-acu-lt.s3.nl-ams.scw.cloud/null/3fd1e031-2073-4b2d-a3d5-346463ef3660.png npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela I did say that it's an infohazard. The specification is tough to find these days, thankfully. npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela PD 1.0 is one of those specifications that's been intentionally erased as much as possible from public consciousness because of it's infohazards, just like Wireless USB https://not-acu-lt.s3.nl-ams.scw.cloud/null/1c9ea5e8-bab5-482d-b3ce-cf725028aede.png npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela Of which one? PD 1.0 is certainly incredibly wall-punch worthy npub1ceay677m38s396uvlpxkp20v8rpxtmx35z0sh7kuy3u5jxr87phsmfy7s5 Ignas Kiela look, at least this is more than one character per variable