increasing

i did it wrong. new compiler ICE

kind of need to start thinking of a new name for myself

did a thing! realtime sanitizer finally merged into rust yesterday. doc.rust-lang.org/nightly/unst...

im going crazy

me in a light blue wool pullover with crabs and stars on it.

🦀

Thanks!
i haven't done board design so i will probably look for a finished board with a chip like this.

it is what you mention here?
looks like that one has a fp unit
bsky.app/profile/nort...

what cpu do you have? i looked into building something like this, but i found it pretty hard to find a small cpu with floating point support.

3️⃣

ok so why does pronouns.diy block playing-the-game.bsky.social?

i swear i don't have a single switch to set to hide.

how can i look at the data a bsky labeler creates?

vhdl is forcing me to write makefiles

wait the witchcraft.systems website is sooo much cooler on desktop than on mobile. why am i seeing this now for the first time??

ok found a paper where they implemented pretty weak memory models. They also used this to model concurrent data structures so maybe i can copy some stuff.

will probably start with sequentially consistent and then work my way down.

openresearch-repository.anu.edu.au/server/api/c...

YouTube video by CppNow Using TLA+ to Fix a Very Difficult glibc Bug - Malte Skarupke - C++Now 2025

this just looks soo cool. and i now have two concurrency libraries so i even have a usecase. a bit scary is that he said that you have to simulate memory orderings yourself.

youtube.com/watch?v=Brgf...

think i need to learn tla+

i always forget to gitignore it and then get embarrassed after pushing

how do you do the special keys for programming? are they at the "regular" combinations or do you have something custom?

have never used a special keyboard but want to get started

Realtime concurrency primitives

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...

finally worked up the motivation to outside.
now it rains. guess i will try again next week

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

Couldn't the fixed example with the message in a loop still drop a message if the future the whole loop is in gets cancelled?

So wouldn't it be better to create the msg after reserving?

So i now finally understand this and yes there should be a trait that says "forgetting me is fine". Then box and most stuff could impl that and i wouldn't have to deal with this.

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.

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

added a new one.
probably not possible to differentiate between the pds keys and custom keys so all have to be removed.

Does pdsmoover.com remove custom PLC keys?

boat.kelinci.net/plc-oplogs?q...
here it looks like it apparently did. Is this expected?

pdsls.dev screenshot: pds.withcraft.systems pds host inkreas.ing account name

:3

apparently i am too stupid to use boolean operators correctly.

don't listen to me. of course you can write forget with a nice rc loop