Notices by linear cannon (linear@nya.social)
-
Embed this notice
linear cannon (linear@nya.social)'s status on Sunday, 31-May-2026 03:56:26 JST 
linear cannon
@ShadowJonathan@tech.lgbt oh, just maintenance annoyances and frustrations with the cluster management in my current use case, i don't actually have anything against it.
it's just that i'll get at least the same utility i'm getting now out of the servers i'm running it on, i suspect with less frustration, if i instead install Alpine Linux and use incus to manage my vms and containers -
Embed this notice
linear cannon (linear@nya.social)'s status on Sunday, 31-May-2026 03:56:25 JST
linear cannon
@ShadowJonathan@tech.lgbt like right now i'm having to go boot up systems and restart services on one of my machines to make corosync happy, all because i rebooted one of my servers while another was offline and it screwed up the quorum. i don't need that, i'm not making use of the cluster/HA features currently, and that was one of the selling points in the first place, for me -
Embed this notice
linear cannon (linear@nya.social)'s status on Thursday, 28-May-2026 11:57:19 JST
linear cannon
why do they call it an ifconfig when you ifup the cold interface iproute2 hot send the packets -
Embed this notice
linear cannon (linear@nya.social)'s status on Friday, 03-Apr-2026 06:32:21 JST
linear cannon
@dlakelan@mastodon.sdf.org @cwebber@social.coop i do not think that setting aside the formal verification is wise, and i also do not think it poses a technical barrier that we cannot surpass. especially since we already have formally verified microkernels with capability-based security that can be used today within full desktop operating systems
what needs to happen is for people to put the pieces together and polish it into a system regular folks can actually use -
Embed this notice
linear cannon (linear@nya.social)'s status on Friday, 03-Apr-2026 06:32:19 JST
linear cannon
@dlakelan@mastodon.sdf.org @cwebber@social.coop kernel is the bare minimum, i'd also want verification of at least specs around the hardware abstraction layer and how hardware related daemons talk to everything else. but it should definitely be possible for common system components and daemons as well, and i think should be mandatory for trusted daemons that supervise or manage other untrusted ones
i doubt everything will be formally verified, but it is nonetheless a goal that should be worked towards, while finding ways to develop standard practices and make it easier to apply everywhere -
Embed this notice
linear cannon (linear@nya.social)'s status on Friday, 03-Apr-2026 06:32:16 JST
linear cannon
@dlakelan@mastodon.sdf.org @cwebber@social.coop right now, this minute, you can go download SculptOS and have a microkernel-based OS with capability security that can run on a laptop and use its iGPU and run a web browser and virtualize linux and build itself using the Genode framework it is based on. and you can use that framework to swap out the process-level-virtualization-based default microkernel (NOVA iirc) with the formally verified seL4 (or other L4 family kernels) and never have to care about the API/ABI differences between microkernels because it abstracts that for you, nor the code inside the kernel. -
Embed this notice
linear cannon (linear@nya.social)'s status on Friday, 03-Apr-2026 06:32:15 JST
linear cannon
@dlakelan@mastodon.sdf.org @cwebber@social.coop this is to say, what you are asking for exists, and has existed in a usable state for well over a decade, and is in some cases more feature complete than some other open source operating systems that people use and even daily drive
you can run it on a pinephone, too -
Embed this notice
linear cannon (linear@nya.social)'s status on Thursday, 02-Apr-2026 23:24:22 JST
linear cannon
@cwebber@social.coop we need microkernel based operating systems with capability-based security enforcement, isolation of components from each other as a baseline assumption, and formal verification of the whole thing at both the code and spec level, and we need all of this quite urgently -
Embed this notice
linear cannon (linear@nya.social)'s status on Thursday, 02-Apr-2026 23:24:20 JST
linear cannon
@cwebber@social.coop things like genode/sculpt are looking more enticing every day that passes by -
Embed this notice
linear cannon (linear@nya.social)'s status on Thursday, 26-Feb-2026 00:53:40 JST
linear cannon
@bunny_jane@plush.city @dalias@hachyderm.io @mason@partychickens.net the only thing that might contribute more microplastics to the environment than car tires is washing of clothing made using synthetic fabrics, but which one comes out on top depends on which studies you are reading -
Embed this notice
linear cannon (linear@nya.social)'s status on Thursday, 15-Jan-2026 13:43:33 JST
linear cannon
i'm probably going to be told tomorrow that i'm being laid off, so if anyone has a lead on a decent remote embedded software engineering or unix/linux systems job, i've got a resume to send you.
i don't like discussing the specifics of who my past clients have been in public. however, my most recent position was contracting with the kernel team of a major CDN and cloud services provider that i know many people on fedi are also current or former employees of, maintaining their internal linux distribution (an customized Ubuntu downstream) for their custom server platforms, porting forward and cleaning up patchsets to newer versions of the distribution, fixing issues in toolchains and libraries, etc.
i've also done embedded software work for a large variety of devices including medical, cellular technology, and industrial control equipment, in addition to some consumer products. i've done board bringup and BSP development with Yocto/Openembedded, Buildroot, FreeRTOS, etc, on most major SoC and microcontroller families. when doing business logic, I am most comfortable in C and Lua, but fine working with C++ codebases, and can learn to work with other languages if a project needs it.
boosts appreciated. -
Embed this notice
linear cannon (linear@nya.social)'s status on Tuesday, 30-Dec-2025 05:41:11 JST
linear cannon
@yottatsa@deadinsi.de do it. -
Embed this notice
linear cannon (linear@nya.social)'s status on Friday, 26-Dec-2025 06:25:23 JST
linear cannon
@whitequark@mastodon.social i mean, i've written the software to drive RF circuits like this (well. a bit different, it was 5G cellular beamforming stuff) while sitting in the same room as the people who designed it, and fully understood its operation, and i'd still call it wizardry
i do not envy the type of person who can no longer find the magic in something like this after learning how it operates -
Embed this notice
linear cannon (linear@nya.social)'s status on Tuesday, 23-Dec-2025 06:53:45 JST
linear cannon
@ariadne@social.treehouse.systems @lanodan@queer.hacktivis.me @ska@social.treehouse.systems supposedly moldbug is considering leaving the country because things are not going how he wants, and he fears democrat retaliation
one can only dream -
Embed this notice
linear cannon (linear@nya.social)'s status on Sunday, 21-Dec-2025 23:57:21 JST
linear cannon
@0x7700e6@mastodon.catgirl.cloud from their official bluesky:
"
We could just go in and edit it but I think a more explicit statement is probably warranted:
As chatgpt is trained on existing writing, it tends to copy what is popular or, if nothing else, common.
Copy like this is very common.
We wrote very generic copy for the tiers (we are not, in fact, corporate copywriters. So, we decided to follow the advice offered by the Kickstarter creator's guides.
The kind of guides an LLM might be trained on.
So yeah, no, no LLM or ai or what have you was used in writing any part of the website or Kickstarter.
The copywriter is a little hurt in fact.
To repeat: no ai was used, no ai will be used. We've never written copy like this before and so we based our page on successful projects and guides. ¯\_(ツ)_/¯
Sadly we can't edit the tiers now, because Kickstarter won't let us change it after the fact.
"
"
Oh yeah so that first line - "we could go in and edit it" - is incorrect, Kickstarter will not let us
" -
Embed this notice
linear cannon (linear@nya.social)'s status on Sunday, 21-Dec-2025 15:07:18 JST
linear cannon
https://www.kickstarter.com/projects/dotmeow/meow-next-round-gtld-application
i want a .meow tld... -
Embed this notice
linear cannon (linear@nya.social)'s status on Tuesday, 09-Dec-2025 14:30:48 JST
linear cannon
doing video screen capture on KDE Plasma 6 under FreeBSD using pipewire, feels about like doing the same thing under Linux roughly a year and half to two years ago
which is to say: it works, but it does require a bit of manual intervention -
Embed this notice
linear cannon (linear@nya.social)'s status on Tuesday, 09-Dec-2025 14:26:54 JST
linear cannon
@scottjenson@social.coop @MichaelPorter@ottawa.place for whatever this is worth, in the field of open source things, KDE Plasma 6 gets this particular detail right
(never mind that i'm running FreeBSD and not Linux in this capture, it's the same experience on both)
web frameworks, on the other hand.... -
Embed this notice
linear cannon (linear@nya.social)'s status on Friday, 05-Dec-2025 23:31:54 JST
linear cannon
@davidgerard@circumstances.run a former coworker of mine when i was working for a corporate hellcompany (bank variety) once wrote a fully featured nmap replacement in bash because they wouldn't approve him using the real thing
only once he did it and word got around did they end up changing their mind -
Embed this notice
linear cannon (linear@nya.social)'s status on Friday, 05-Dec-2025 17:50:06 JST
linear cannon
the year of freebsd on the desktop
(i got the funny plasma6 refraction plugin working lol. first screenshot exaggerated for effect, second how i actually use it)
All GNU social JP content and data are available under the