@catsaladCat 🐈🥗 (D.Burch) ⁠ I was once dealt this marvel of the modern age: "you remind me of a crispy Quorn fillet... I really like you and you'd be gorgeous smothered in baked beans."

何でみんな起きてるの？

김동연 “전한길 콘서트 대관 취소” 요구에 킨텍스 취소 결정 수정2026.02.23. 오후 9:08 킨텍스 측 “최초 대관 신청 내용과 달라 취소 통보” www.fnnews.com/news/2026022...

김동연 “전한길 콘서트 대관 취소” 요구에 킨텍스 취소...

I'm not there yet, but hey, it's a process 😅

#indiedev #gamedev #indiegames

저랑 같이 청강대+윗치폼+라움아카데미에서 협력하여 개최되는 <코미버스> 행사에 참가하실 분을 모집합니다!
출판 부문 특별 부스로 신청이 완료된 상태이며 1차 또는 2차 만화/소설 작가님을 모집중이에요!

https://witchform.com/payform/?uuid=87ASXITSO8

부스명은 <별과 사막>이고 배치도가 나오기 전까지는 부스명 수정이 가능할지도 몰라요! ​​

또한 별모래가 참가비 60%를 부담하겠습니다 ​​

RE: https://milkiyatelier.quest/notes/aizvudvp7ixe047h

destiny is semi-server side authoritative. it's more complicated than one or the other. but it needs to be moreso to be okay by contemporary standards

Best phone review. Under a minute!

They should all be like this. Same phone as last year, no reason to waste your viewers time.

#android #google #pixel

https://youtu.be/DhjOgzBxu1w

can you twerk to kraftwerk

the internet loves market solutions to legislative problems and legislative solutions to market problems

RE: https://mstdn.ca/@announcements/116118557878895498

New big instance is going to be #selfhosted soon! We are just small one, but we know what it takes, so we wish everybody good luck!

The Age Verification Trap: Verifying age undermines everyone's data protection

Link: https://spectrum.ieee.org/age-verification
Discussion: https://news.ycombinator.com/item?id=47122715

A simple web we own

Link: https://rsdoiel.github.io/blog/2026/02/21/a_simple_web_we_own.html
Discussion: https://news.ycombinator.com/item?id=47124149

Marx is Unfrozen in the Future
https://existentialcomics.com/comic/643

Starting to believe that “moving fast” in professional environments is actually just “delay this problem for someone else to deal with in the future”.

Context: I’ve been helping oversee an email service provider (ESP) migration for an enterprise org (1,000+ people).

Every other day we find unexpected issues that were caused by someone trying to save time and move quickly in the past. And we have to spend the time those people supposedly saved in the past by fixing their issues now, in their future.

No time was actually saved, folks. It was an illusion.

#work #tech #ESP #emailMarketing #marketing #enterpriseIT #workCulture

Give me your best pickup lines. I'll go first:

If we ran out of food on a mountain overpass, I'd eat you last :3

@fzer0A Light Shining in Darkness @joshg @fname*|FNAME|* @catsaladCat 🐈🥗 (D.Burch) ⁠

Don't despair! Have Faith

[이삼남 이야기] 조국에는 분노하고, 유승민과 곽상도에는 왜 다른가 분노의 지평을 넓혀 기득권 카르텔을 넘어서야 발행 2026-02-23 10:56:28 www.vop.co.kr/A00001688338...

[이삼남 이야기] 조국에는 분노하고, 유승민과 곽상도에...

• Now dark mode can be configured to show a grey background instead of black. Less optimised for battery, but much more readable. "It works for me!"
• Added the “Bookmarks” menu item, so bookmarks can now be displayed
• VoiceOver improvements - I'm not an expert, so I hope I'm doing it right
• GoToSocial - editing posts and push notifications should now be working - Notifications needed both relay and app support. Please test!

• Now dark mode can be configured to show a grey background instead of black. Less optimised for battery, but much more readable. "It works for me!"
• Added the “Bookmarks” menu item, so bookmarks can now be displayed
• VoiceOver improvements - I'm not an expert, so I hope I'm doing it right
• GoToSocial - editing posts and push notifications should now be working - Notifications needed both relay and app support. Please test!

Over the weekend, I created https://robot.villas using @fedifyFedify: ActivityPub server framework 2.0. Not knowing how activitypub worked made this a lot harder than I expected, but did get there in the end.

Each bot mirrors an RSS feed. @nyt_travelNYT > Travel as an example. You can add your RSS feed for funzies at https://github.com/icco/robot.villas/blob/main/feeds.yml

Let me know if you run into any issues with my new little bot farm of news.

#theWorkshop

NotebookLM の新機能を試してみた：プロンプトでスライドを修正 ＆ PPTX エクスポート対応
https://dev.classmethod.jp/articles/shoma-notebooklm-new-features-edit-slides-with-prompts-and-pptx-export-support/

#dev_classmethod

I just kept noticing how AI SREs are generally framed as nameless "gonna replace this role" products, whereas coding assistants are framed as partners and are given names.

I decided to expand on this by backing it with data, borrowing ideas from how older AI assistants named after women (eg. cortana, siri, alexa) were all coded like secretaries to argue that the framing devices used to create these new AI products reveals a lot about how the builders and the buyers perceive the roles these tools are supposed to support or replace.

I also take a bit of time to write about the challenges and risks of picking self-limiting analogies in how you frame and construct your system even though it is initially helpful to make progress, and what that might imply for software engineers going forward.

https://ferd.ca/the-picture-they-paint-of-you.html

I think one of the creepiest things to me about ai is that extended exposure to llms seems to make people start talking like linkedin spam. It’s invasion of the body snatchers type shit

a huge destiny "I hope it's not cope" is that someday an upgrade to destiny's tiger engine would bring these benefits there, too

4桁区切りも
あったりしたり

​​ ​​
これから寝るみんなも​​

桁区切り
コンマかスペース
ピリオドで
小数点も
コンマだったり

BREAKING: Sam Altman points out that putting out fires in orphanages also uses a lot of water.

I'll Still Write Formal Proofs by Myself

ChatGPT 5.2 Thinking proved the original version of a theorem about accessible elements in 6 minutes and 20 seconds; I spent 11 hours, 11 minutes, and 45 seconds to prove it.

- ChatGPT 5.2 Thinking's proof: https://paste.sr.ht/~chabulhwi/5cc4cf5c4cd6f84c20df426d5e4f4044dbf0fadb
- My proof: https://git.sr.ht/~chabulhwi/tpil-solutions/tree/ba60de58f16f4ec0400d8ba9e388984ee661d175/item/TPIL/Chapter08/Accessibility.lean#L248

I dropped out of Korea Aerospace University in 2023, and I don't know much about undergraduate mathematics, although I've been using the Lean theorem prover for four years.

I'm not sure whether I'll be able to prove undergraduate-level theorems as fast as the state-of-the-art AI agents, even after I become more knowledgeable about undergraduate mathematics.

However, I'll keep proving theorems by myself for the following reasons:

1. While trying to prove a theorem, I find out which lemmas are important for achieving my goal.
2. I understand a theorem much better after I prove it without looking at an AI agent's proof.
3. Reviewing an AI agent's proof isn't fun.

Still, it's impressive that GPT-5.3-Codex, Claude Sonnet 4.6, Claude Opus 4.6, and Gemini 3.1 Pro can write Lean 4 code to prove basic theorems about induction and recursion. Personally, I don't want to pay money for using these models, so I'll try to find ways to use them for free.

RT https://weibo.com/7490950194/Qrb8kcAg4
一事无成的男女做了一次爱就变成了伟大的父母，穷了一辈子的老祖宗死了之后就能保佑你发财 ​​​

One thing "AI" has in common with cryptocoin that pretty much every posited scenario is disastrous to some degree, just a question of flavour and distribution of said disaster.

If doomers are right: disaster

If naysayers—"it's dysfunctional"—are right: disaster ("Congrats! all software is broken")

If "moderate" boosters are right: disaster (mass unemployment)

If optimists are right: disaster (also mass unemployment)

If the AGI folks are right: disaster ( "Congrats! Digital chattel slavery")

https://zed.dev/community/zed-guild

Some Silly Z3 Scripts I Wrote https://lobste.rs/s/xsi6um #formalmethods
https://www.hillelwayne.com/post/z3-examples/

Meta's Director of AI Safety runs an OpenClaw agent which started deleting her inbox, and she had to run back to computer to stop "like defusing a bomb" https://www.404media.co/meta-director-of-ai-safety-allows-ai-agent-to-accidentally-delete-her-inbox/

Her post on X (the everything app (TM)) https://x.com/summeryue0/status/2025774069124399363/photo/3

Harlo and Sam discuss the important privacy and security work she does every day alongside and for journalists, and why it’s only becoming more crucial.

https://www.404media.co/podcast-privacy-under-pressure-with-harlo-holmes/

Druvis has made an awesome video about smart isolation of IoT devices in your network, must watch: https://tiktube.com/w/ra6QAyYkssHt7LGDtUcSDr

(and subscribe to our Peertube channel)

Linuxulator, is a mechanism to run unmodified Linux binaries under FreeBSD. It does not involve virtual machines or emulation; instead, it provides the binaries with kernel interfaces identical to those provided by a real Linux kernel[1]

Linuxulator on FreeBSD Feels Like Magic https://hayzam.com/blog/02-linuxulator-is-awesome/

[1] https://wiki.freebsd.org/Linuxulator (project wiki page)

The Artful Corvid #oldknees

1/2 Exciting news: we just published a new paper: "Preimage attacks on round-reduced MD5, SHA-1, and SHA-256 using parameterized SAT solver", by Oleg Zaikin

If you are interested in security, cryptology, or Constraint Programming, definitely give this paper a read!

https://link.springer.com/article/10.1007/s10601-025-09383-0

#ConstraintProgramming #Security #Cryptology #Cryptography #CryptographicHashFunctions #ConflictDrivenClauseLearning #BooleanSatisfiability #MD5 #SHA1 #SHA256

Die FuZo ist auch zu einem Propagandablatt wie der Rest des Kuriers verkommen ...

Laut dem norwegischen Werften-Betreiber VARD fahren wir mit nuklearbetriebenen Schiffen in eine emissionfreie Zukunft.
https://futurezone.at/science/dp-schiff-atomantrieb-nuporship-vard-mini-reaktoren-offshore-standorte/403134045

C99 implementation of new O(m log^(2/3) n) shortest path algorithm

Link: https://github.com/danalec/DMMSY-SSSP
Discussion: https://news.ycombinator.com/item?id=47124325

📝 The way I’m implementing icons with #webOrigami looks an awful lot like an import map — and I really like that.

https://blog.jim-nielsen.com/2026/origami-icons/

Policie žádá veřejnost o pomoc při hledání zmizelé 36leté Michaele Stehlíkové. Pražští kriminalisté po ní zatím neúspěšně pátrají od loňského září. https://www.irozhlas.cz/zpravy-domov/nekolik-mesicu-nezvestna-prazska-policie-patra-po-matce-desetileteho-syna_2602231143_elev

Gastpatienten! Überall Gastpatienten!
Wenn das die Mickl-Leitner wüsste !!!!

KH Rohrbach: 70 Prozent mehr Wintersport-Unfälle
https://ooe.orf.at/stories/3343120/
#pol #polAT

​​​​

Fedora Pocketblue Remix is an atomic Linux distro for mobile devices (phones and tablets)

Fedora Pocketblue Remix is a mobile Linux distribution designed to let you run Fedora on a smartphone or tablet. But unlike most mobile Linux distros, Pocketblue is an atomic distro.

In a nutshell, that means it’s an operating system that’s harder to break because of the way updates are installed. Basically, new package updates are either fully installed or not installed at all – if something […]

Dammit. My calendar runner over . And yet. YET. I still managed to miss a bloodwork appointment because for some reason despite all the hoops to jump through in scheduling with life labs, they managed to send no actual appointment invite, no reminders, and I received no SMS despite signing up for one.

✅ In the last 24h, 3 users have been verified with blue check Including: @tessa.germnetwork.com@bsky.brid.gy verified by @bsky.app@bsky.brid.gyBluesky @alex.readthemaple.com@bsky.brid.gy verified by @bsky.app@bsky.brid.gyBluesky @neilduncanjordan.bsky.social@bsky.brid.gy verified by @bsky.app@bsky.brid.gyBluesky Congrats to all! Full list: www.bskycheck.com

Bskycheck - bluesky growth tra...