{timeline} on Fediverse
This is a digest of my most recent posts on fediverse. For privacy reasons only public posts are listed here; also the conversation context and the IDs of other people are concealed. If you don't know what fediverse is, you should. Try out the de-centralized SNS!. If you want to join my instance, write me an email for an invite link!
It takes a few lines of script to render what you see here. blog.
[05/05/2025] @shrik3 ↪ | @neoatlantis @Masasoite 但是俺们山东人是这样的。 |
[05/05/2025] @shrik3 ↪ | :blobcathang: 咕。。我不要Syu啊!你鲨了我把!!!!pacman你不要过来啊!! |
[04/30/2025] @shrik3 ↪ | @ncts well, I'm talking (ranting) about the "just install that plugin" mindset.It's just several lines of shell scripts that I can simply verify and duct-tape into my own config.... |
[04/30/2025] @shrik3 ↪ | @nctsthat means more moving parts from 3rd party vendors; And I feel reluctant to run anything privilege- or privacy-related. More or less my paranoia. |
[04/30/2025] @shrik3 ↪ | to set fish env the "old school" way you need to install a freaking plugin manager for your shell.I'll just go back to bash. |
[04/30/2025] @shrik3 ↪ | https://tavianator.com/2025/configure.html:ablobcatbongo: :ablobcatbongo: :ablobcatbongo: :ablobcatbongo: |
[04/29/2025] @shrik3 ↪ | https://blog.aurynn.com/2015/12/16-contempt-culture |
[04/28/2025] @shrik3 ↪ | @sanmeiji https://en.wikipedia.org/wiki/Principles_of_Model_Checking 书是这本 |
[04/28/2025] @shrik3 ↪ | 嗯。> the concepts of model checking have their roots in mathematical foundations such as propositional logic, automata theory and formal languages, data structures and graph algorithms. It is expected that readers are familiar with the basics of these topics when starting with our book. |
[04/28/2025] @shrik3 ↪ | 学model checking会折寿吗 |
[04/28/2025] @shrik3 ↪ | This, my friend, is how you use an angle grinder.https://youtu.be/_n6-mpuDPgs?si=DIyUWB0KQ2URv5b3&t=157 |
[04/27/2025] @shrik3 ↪ | ah what the heck? |
[04/26/2025] @shrik3 ↪ | https://www.heise.de/forum/Specials/Off-Topic/Wie-die-US-Zollbehoerde-verzweifelte/posting-45120913/show/:486_haa: |
[04/18/2025] @shrik3 ↪ | @Shemol 那是因为你没用过thinkpad x200 |
[04/10/2025] @shrik3 ↪ | https://www.youtube.com/watch?v=Dcc3K7XP-_kShadow of Intent Feat Corpsegrinder 🔥 🔥 🔥 🔥 🔥 |
[04/06/2025] @shrik3 ↪ | @xhmelon @automat 新的pleroma似乎是支持自动压缩了,我去更新一下 |
[04/02/2025] @shrik3 ↪ | 有什么android视频通话软件用的是硬件解码吗? |
[03/28/2025] @shrik3 ↪ | https://www.youtube.com/watch?v=47jlny15IEc |
[03/28/2025] @shrik3 ↪ | 工具链的bug还没修好呢,转头一看 abseil 又更新了。 |
[03/28/2025] @shrik3 ↪ | Hey you, hell no.Total Download Size: 2747.32 MiBTotal Installed Size: 7890.64 MiBNet Upgrade Size: 58.41 MiB |
[03/06/2025] @shrik3 ↪ | @yume tbh I daily drive fish only for the sake of completion....And I don't find an alternative in that regard.> bassseems useful. However, I doubt if it's worth adding another layer of indirection. |
[03/06/2025] @shrik3 ↪ | @yume > history delete --contains and history clear-sessionTIL, thanks.out-of-topic:Don't know if I posted this before, but I have a fish rant here https://shrik3.com/post/userland/shells/#fish-shell-fuck |
[03/06/2025] @shrik3 ↪ | does anyone clear their .{bash,fish,zsh, etc.}_history on a regular basis? |
[03/04/2025] @shrik3 ↪ | cargoMy project folder constantly gets bloated (some hundreds of GBs) and I have to cd & cargo clean every one of them. |
[03/03/2025] @shrik3 ↪ | https://shrik3.com/bits/0x55/#shitphone-experiencerestarting my journal after like ... half a year? |
[03/03/2025] @shrik3 ↪ | https://dwarfstd.org/doc/DWARF5.pdfreading the fucking manual |
[03/02/2025] @shrik3 ↪ | new album from Henric de la Cour. :ablobcatbongo: |