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

someone (i think @marlomarlo! here but i don't know if she's here these days) shared this on bluesky and i thought you all might like it

it's the 1973 user guide to nasa's computers

https://ntrs.nasa.gov/api/citations/19740006808/downloads/19740006808.pdf

IRIAM、リージョンロックされていて、アプリ入れても肝心のENのvtuberを見られない。残念。

​​

SpaceX has officially acquired xAI, formally bringing Elon Musk’s AI company into its space infrastructure ecosystem.

The goal is ambitious: space-based AI data centers powered by orbital solar energy.

Full report:
https://techputs.com/spacex-acquires-xai-space-data-centers/

#SpaceX #ArtificialIntelligence #SpaceTech #tech #technology

the server side is also annoying because we either have to let the host be a permission owner and build a parallel system (seems bad) or just rely on oauth but then you have to sign in "into" any origin widget. which on the other hand maybe makes sense as a trust model? but annoying to fill in

続きは読めないんだけどRadikoさんは実家を引っ越すのやめておいてw

カレンダーイラストコンテストの投票は2/13まで！​​🗳️
6月に参加しています​​​​​​​​
#ioカレンダー　#ioカレンダー2026
https://calvote-2026.misskey.io/

The Disordered Mind by Eric R. Kandel

What Unusual Brains Tell Us About Ourselves

Nobel Prize recipient Eric R. Kandel investigates The Disordered Mind to uncover what brain disorders reveal about human nature. This challenging study will not only help transform medical care but also encourage a new humanism based in part on the biological confirmation of individuality.

#books
#nonfiction
#neuroscience
#brain
#mind

なぜIPアドレスで「どこにいるか」が判別できる？ IPv4、IPv6を網羅するデータベースの正体：ISDN時代のネットワークから知る創業者に聞く（前） - ＠IT https://atmarkit.itmedia.co.jp/ait/articles/2602/03/news013.html

"Here's how Epstein broke the internet" https://www.garbageday.email/p/here-s-how-epstein-broke-the-internet "His meeting with the founder of 4chan and his quest to profit off the end of democracy"

なぜIPアドレスで「どこにいるか」が判別できる？ IPv4、IPv6を網羅するデータベースの正体：ISDN時代のネットワークから知る創業者に聞く（前） - ＠IT https://atmarkit.itmedia.co.jp/ait/articles/2602/03/news013.html

RE: https://hachyderm.io/@evacide/116003453964958203

OMG, YES, THANK YOU

In two sentences, a torpedo through the heart of both DHS as a racist secret police •and• AI as an accountability sink.

​​​​

Even if you don't have time to read all 83 pages of Judge Reyes's opinion barring the Trump administration from rescinding Temporary Protected Status for 350,000+ Haitians, please at least check out the four-page introduction. It's a tour de force: storage.courtlistener.com/recap/gov.us...

mutations are kind of annoying as usual, you'd have to somehow deal with the cache between components that don't know each other and keep the behavior sensible (e.g. don't update everything all the time, but also a single thing is sometimes not what you want). mirroring +1 like counts is an example