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

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

그런 이유로 난 산업혁명이 혁명이 아닌 학살로 불려야한다고 생각한다. 현대사회는 오랫동안 이루어진 조직적인 학살 위에 세워졌다. 그걸 이해하지 못하면 결국 똑같은 일이 똑같은 이름으로 벌어질 뿐이다. 4차 산업혁명, AI혁명과 같은 이름으로 말이다.

you'd think performance is a big problem but if you make it yieldy like react, maybe it's okay? the server can memoize globally, at uris are good keys, seems like it should be possible to have mechanism like cacheTag in Next.js hooked up to the firehose? even for backlinks? seems cacheable

Tails OS 7.4.1起動して塀ぼっちにログインできたので久しぶりの避難訓練を完了したいと思います。お疲れ様でした←

Sometimes I get a really good quote in.

“Pointing out that AI is prone to giving ICE bad information is missing the entire point of ICE,” EFF’s Eva Galperin told Rolling Stone. “They don’t care if the information they have is good.”

https://www.rollingstone.com/culture/culture-commentary/ice-ai-mistakes-1235507183/

this is probably still too limiting for final bit of polish. maybe this is why it can't be a final space. so maybe it's a space for something more simplified, like "less than a product". something like skircle is a good example but maybe there could be more experimentation with those things

Kenneth Clark Life, Art, and Civilisation by James Stourton, 2016

The first and definitive biography of this brilliant polymath—director of the National Gallery, author, patron of the arts, social lion, and singular pioneer of television—that also tells the story of the arts in the twentieth century through his astonishing life.

#books
#nonfiction
#biography

OOF. #CatsOfMastodon

one difficulty is that you probably don't want to mix different third-parties' client-side behaviors, or at least i don't know how to do it safely. maybe there's some way to narrow it down. but maybe the host's built-in collection could be very expressive but entirely declarative. like good sdui

Several people have reported that Spout2PW runs at 1FPS. If you see this, please let me know what Linux distribution/version you use, and also type `pipewire --version` in a terminal and tell me the version!

I *think* it has to do with an old version of PipeWire.

individual atproto uis are already remixing data from different apps. so the concept of an "app" blends — each product is a prism over the shared ecosystem. and if nothing except authorship is firmly gluing different pieces, could an application be glued together from different authors' pieces?