mira
inkreas.ing
mira
@inkreas.ing
she/her

blog.inkreas.ing
should available domain names be a factor when finding a new name for myself?
November 27, 2025 at 6:44 AM
I have a C linux guy as a prof and he justified writing a data race by saying "locks are too hard to understand", but uses fork and tried to explain how it works.
November 26, 2025 at 9:37 AM
Reposted by mira
Installing Linux software is about to get a lot more... GAY.
November 25, 2025 at 1:27 PM
i love c++ now
November 18, 2025 at 8:51 PM
i need to get back home so i can start catposting
November 18, 2025 at 6:36 AM
vhdl just dumping these gigantic wave files is soo cool for debugging.

i wish something like this existed for regular programming.
November 17, 2025 at 9:30 PM
just typed rm instead of mv.
November 16, 2025 at 11:48 AM
kind of need to start thinking of a new name for myself
November 9, 2025 at 9:05 PM
did a thing! realtime sanitizer finally merged into rust yesterday. doc.rust-lang.org/nightly/unst...
sanitizer - The Rust Unstable Book
doc.rust-lang.org
November 9, 2025 at 9:02 AM
im going crazy
October 31, 2025 at 7:49 PM
🦀
October 31, 2025 at 11:00 AM
how can i look at the data a bsky labeler creates?
October 13, 2025 at 8:24 PM
vhdl is forcing me to write makefiles
October 12, 2025 at 10:54 AM
wait the witchcraft.systems website is sooo much cooler on desktop than on mobile. why am i seeing this now for the first time??
October 6, 2025 at 8:29 PM
think i need to learn tla+
October 6, 2025 at 4:41 PM
i always forget to gitignore it and then get embarrassed after pushing
Fuck you *git commits your .DS_Store file*
October 5, 2025 at 7:45 PM
New blog post about my two custom realtime concurrency libraries! If you do audio programming maybe take a look if these or maybe ideas of this could be useful for you.

blog.inkreas.ing/realtime-con...
Realtime concurrency primitives
blog.inkreas.ing
October 4, 2025 at 6:00 PM
finally worked up the motivation to outside.
now it rains. guess i will try again next week
October 4, 2025 at 9:50 AM
Reposted by mira
if you're looking for somewhere to migrate from the default Bluesky PBC PDS to - me and @ari.express host pds.witchcraft.systems, check it out
this is your reminder that pds.witchcraft.systems is a thing and is still accepting new members!

DM this account to get the invite, then follow our starter guide to either sign up for a new account or migrate your existing one to our PDS

(the DM requirement is just to prevent spam)
pds-starter-pack
All you need to know about pds.witchcraft.systems
git.witchcraft.systems
October 4, 2025 at 12:48 AM
i always thought the whole "std::mem::forget is so horrible it should be unsafe" pretty unconvincing, but now i noticed that one of my libraries is unsound because of this.

The only fix i could think of was adding bool fields and panicking if i detect that something was forgotten.
October 1, 2025 at 5:19 PM
does anyone have an opinion on Verilog vs VHDL?
can decide which one to use for my uni assignment and don't have experience with either one
September 28, 2025 at 1:33 PM
Does pdsmoover.com remove custom PLC keys?

boat.kelinci.net/plc-oplogs?q...
here it looks like it apparently did. Is this expected?
boat
boat.kelinci.net
September 28, 2025 at 7:22 AM
:3
September 28, 2025 at 7:10 AM
apparently i am too stupid to use boolean operators correctly.
September 27, 2025 at 8:05 PM
i am starting to also believe that forget in safe code was a mistake.

i always thought it worked like leak but it actually releases the lifetime of the forgotten so you can't use lifetimes to make sure you can't create a new object before running the drop of the previous.
September 25, 2025 at 9:00 PM