Today's shenanigans are all the more reason to use Visual Studio Code, the safe text editor!

primitives are a big question for me. i think it's almost a unique space where they should be quite high level but still very generic. and not require any explicit code. adaptivecards.io and docs.slack.dev/block-kit/. seems in a related space. (thanks @alex.mcroberts.me@bsky.brid.gy for the tip)

i want internet to be a museum again.

Our Zine About #ICE #Surveillance Is Here

We are very proud to present 404 Media’s zine on the surveillance technology used by #Immigrations and #Customs Enforcement. While we have always covered surveillance and #privacy, for the last year, you may have noticed that we have spent an outsized amount of our attention and time reporting on the ways technology companies are powering Donald Trump’s #deportation raids.
#Trump

https://www.404media.co/icezine/

Our Zine About #ICE #Surveillance Is Here

We are very proud to present 404 Media’s zine on the surveillance technology used by #Immigrations and #Customs Enforcement. While we have always covered surveillance and #privacy, for the last year, you may have noticed that we have spent an outsized amount of our attention and time reporting on the ways technology companies are powering Donald Trump’s #deportation raids.
#Trump

https://www.404media.co/icezine/

ジョギングの時間になって着替えましたが西日が暑そうなので家の中でごろごろしています

​​​​​​

https://github.com/philippe44/AirConnect/ really does work extremely well other than that if you run it somewhere with multiple IP addresses it potentially picks the wrong address and then everything is weird because devices see the mDNS broadcasts but can't connect to the device

しゅいろママンゴ​​

リモートのアカウントのフォローが外れててもローカルでフォローしてる状態が残ってたらフォロー外れちゃってるのにホームタイムラインに来てくれたりするのかしら #なにいってんだこいつ

最近覺得任何事項都卡卡的，工作卡生活，生活卡工作，沒有本錢裸辭真的是蠻痛苦的

I've been in Europe for almost a week and I keep waking up at 3AM. It's not helped that I have had deadlines to meet every single day, so that I've been doing work or homework during these late night sessions. And I've also been napping during the afternoons. I'm sure I'll get on a timezone-appropriate 16/8 cycle just in time to fly back to Montreal.

I've been working (well, whenever I have the time between work and my child) on a Mastodon client called Coho (https://coho.place)! This is based on an old client I built a few years back, but completely rebuilt with a new name, etc. Coho is still early and you will encounter bugs, but if you're looking for a fast, cross-platform, fully featured Mastodon app that just works anywhere and everywhere, even when offline or on a slow network, Coho is what you're looking for! And, it's open source: https://github.com/jgw96/Coho

for caching a neat thing you can do (as i saw in Next.js) is to always call components with unresolved nested components, sort of opaque slots, which makes the output cacheable independently from the opaque inputs. lets you cache even things that wrap other things

so this gives you ability to fix things if some nested endpoint died until somebody fixes their dependency. also lets you switch out to your own fork ("i want this different profile tab") but with understanding that it's a bit fragile. seems important though to be able to do that

[アップデート] AWS STSがOIDCフェデレーションでGitHub・Google・CircleCI・OCIのプロバイダー固有クレーム検証をサポートしました
https://dev.classmethod.jp/articles/aws-sts-oidc-github-google-circleci-oci/

#dev_classmethod

Just finished my first sysadmin stuff. As a Unix hobbyist, I’ve always wanted to setup my own instance that runs several services. I purchased $6/month VPS instance from Vultr which provides 1c shared CPU, 1GB RAM, 25GB NVMe, and 2TB/month network bandwidth.

Services I set up:
- Web server: Let’s Encrypt SSL + Nginx + HTTP/3 in jail.
Adopted “modern” level of Mozilla SSL configuration
- Tor relay: Tor in jail
- ZNC: Let’s Encrypt SSL + ZNC in jail as a IRC bouncer
- Wireguard: if_wg

Since the instance comes with 1 ipv4 and 1 prefix 64 ipv6 range, I tried to assign only static ipv6 to each jail so they can have its own address. That didn’t work well since Tor relay and ZNC expected ipv4 address, so I switched to cloned interface (bastille0). PF rules are almost same as Bastille-generated one except that I added rules for Wireguard, ICMP, and SSH brute force protection.

I used BastilleBSD for jail setup because it is the most user-friendly jail management tool. Thanks @BastilleBSDBastilleBSD !

components refer to each other solely through nsids so actual binding to endpoint happens at arbitrary times. maybe a starting point is to use the npm model — components explicitly bind their dependencies to endpoints, but resolution happens in the root, can take into account lockfile and overrides

Julia

Link: https://borretti.me/fiction/julia
Discussion: https://news.ycombinator.com/item?id=46863357

저의 주님, 날아다니는 스파게티 괴물 님, 제 입시울을 열어 주소서.
제 입이 당신 찬미를 전하오리다.

"7. 다른 이의 아이디어를 경청하고 존중하게 하시어, 함께 협력하는 기쁨을 배우게 하소서."

영광이 미트볼🧆과 소스🥫와 성면(the Holy Noodle)🍝께.
처음과 같이 이제와 항상 영원히. 🍜
라-멘 🍜

2026-02-03T12:04:57+09:00

#FlyingSpaghettiMonster #FSM #HolyNoodle #TheMeatball #TheSauce #Spaghetti #Ramen #Pastafarian #NoodlyAppendage #FSMism #FSMist #Pirate #DivineOffice #DailyOffice #Breviary
#날아다니는스파게티괴물님 #성면 #면발 #스파게티 #라멘 #파스타파리안 #해적 #성무일도 #성무일과 #매일전례 #시간전례

#比例は暴力党 #力の時代 #強いのが勝つ #腕っぷし #時代は暴 #暴力しか勝たん #情無用 #対話より決闘 #パワー #拳に聞く

しゅいろさん盆栽があるのエモー

so the code sketch is just a recursive resolver that says "if this server-browser implements this lexicon, just render that, otherwise call xrpc and recurse from the response". plus optimizations based on caching some of the calls if they haven't expired globally

연인과 함께하는 소중한 순간들

1. 서로의 작은 취향 존중하기
2. 함께 성장하는 관계 만들기
3. 솔직하고 진심 어린 대화 나누기
4. 서로에게 작은 선물과 감사 표현하기
5. 함께 꿈꾸는 미래 그리기

...이런 걸 보면, 윌 스미스는 왜 그렇게까지 공적 비난을 당해야 했는가 되묻게 된다.

RE: https://bsky.app/profile/did:plc:4sujqnbd47ey26qcvajqoxa2/post/3mdwelkxk6e2u

I had difficulty explaining Nat.below and Nat.brecOn in Section Structural Recursion and Induction of Theorem Proving in Lean 4. Sadly, I'll have to record a video of myself doing it again because my explanation missed the point. Still, I'm glad that I understood course-of-values recursion so much better than I did four years ago.

I was able to prove that the definition of the Fibonacci function, which directly uses Nat.brecOn, is equivalent to the one that doesn't.

• Section Structural Recursion and Induction of Theorem Proving in Lean 4: https://lean-lang.org/theorem_proving_in_lean4//Induction-and-Recursion/#structural-recursion-and-induction
• My proof: https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/using.20Nat.2EbrecOn.20to.20define.20the.20fibonacci.20function/near/571451010

​​

​​

お昼になりましたよ〜​​
ご飯食べて休憩しましょうね〜​​

しゅいろ式写真加工術だ

旗来た
ヒモ結ぶの難しい​​

ひるさめずるずるひょるひょるほほほー。

​​​​

도널드 트럼프 미국 대통령이 그래미 시상식을 진행하며 자신에 대한 농담을 한 코미디언 트레버 노아를 고소하겠다고 위협했습니다.

“섬만큼 간절한 상” 농담에 긁힌 트럼프 “코미디언 고...

Oops ！

Notepad++遭國家駭客劫持半年，官網籲手動更新v8.9.1

https://www.ckizumi.com/2026/02/notepadv891.html?m=1

僕はssh鍵はデバイスに宿ってる派です。外からのsshには第二要素を要求しますって書きかけたけどこのPixelちゃんは第二要素を持ってるからssh鍵を持たせたらダメじゃんw

法定後見制度とは（手続の流れ、費用） | 成年後見はやわかり https://guardianship.mhlw.go.jp/personal/type/legal_guardianship/

​​

Surprisingly, this resulted in no barking or reprisal, but did not manage to remove the dog from the comfy couch. #DogsOfMastodon #catsOfMastodon #AnimalBehavior

Reading the current UK Waymo discourse and apparently people in London are under the impression that the US just doesn't have pedestrian crossings?

RE: https://mastodon.social/@techputs/116004429425946592

Nah, the goal is market manipulation a d money

Mozilla is adding a toggle to disable all generative "AI" features in Firefox. It shows that organized pushback is actually making a difference.

One battle won. Now let's make it crystal clear. We want tools, not forced LLMs. Keep the pressure on until "AI" is no longer an option.

https://techcrunch.com/2026/02/02/firefox-will-soon-let-you-block-all-of-its-generative-ai-features/

#Firefox #Mozilla #NoAI #FOSS #OpenSource #Privacy #TerminalTilt

お前…
あの祠壊したんか？
また壊したんか？
さらに壊したんか？
まだまだ壊すんか？
さすがに壊しすぎじゃ！
たたりじゃーー！
たたりじゃーー！
たたりじゃーー！（9連鎖）

[アップデート] Amazon Lightsail インスタンスでインスタンスプランタイプ「メモリ最適化」が選択できるようになりました
https://dev.classmethod.jp/articles/amazon-lightsail-memory-optimized-instances/

#dev_classmethod