역전재판 시리즈 특:
왼쪽에 서면 똑똑해짐
오른쪽에 서면 1+1=2라고 해도 믿을 수 없음 갑자기 증거 몇 개 던지면 먼가 박살남
"1+1=2다!!!"
"후훗. 이 증거를 잘 보시지. 왼쪽의 1 부분은 사실 따옴표로 감싸져있다!"
"그게 무슨 말이냐!!"
"사용된 언어는 자바스크립트였던 것이다!!!! '1'+1은 '11'이다!!!!"
"크아아아아아아악!!!" (번쩍번쩍)

Curso "Programación declarativa (2007-08)". https://jaalonso.github.io/cursos/pd-07 #ProgramaciónFuncional #Haskell #ProgramaciónLógica #Prolog

Now that it's official, I can announce it - although I may have dropped a few hints earlier! 😉

My talk "Why (and how) we’re migrating many of our servers from Linux to the BSDs" has been accepted, and I’ll be honored to present it in June at BSDCan in Ottawa.

The joy of meeting BSD friends in person again (and those I haven’t had the chance to meet live yet) will be immense, and the honor of sharing my story in Canada is truly beyond measure, especially considering the level of other talks and all the people attending.

Of course, I’ll be bringing various BSD Cafe gadgets with me!

For more information, here’s @mwlMichael Lucas 's post with further details: https://blog.bsdcan.org/2025/03/18/bsdcan-2025-talks-tutorials-and-registration/

#BSDCan #RunBSD #BSD #FreeBSD #NetBSD #OpenBSD

I'm in the goth meme rabbit hole and I love it 😂

#goth #meme

New Privacy Guides article 🔐✨
by me:

If you want to keep your password manager local-only, KeePassXC is a great solution!

It's free,
Open-source,
Easy to install and use,
Doesn't require an account,
Works on Linux, macOS, and Windows,
And the team is here! 👉@keepassxcTeam KeePassXC

Here's how to set it up with a YubiKey: https://www.privacyguides.org/articles/2025/03/18/installing-keepassxc-and-yubikey/

#PrivacyGuides #KeePassXC #Privacy #Security #PasswordManager #Passwords #FOSS

なお、テレホーダイ時代に私が運営していた草の根BBSは、本当に枕元にサーバを置いていた。

利用者が使える、サーバ本体のBeep音を鳴らすコマンドがあり、SYSOPを呼び出せたのだ。

当時8回線（電話回線が8個あって、8人まで同時ログインできる）＋SYSOP専用のパソコンに直接ログインするチャンネルで、9人まで同時チャットができたのである。

Want your own custom AI thats trained on confidential material?

Here's how you can build a custom RAG AI agent 👇

https://deno.com/blog/build-custom-rag-ai-agent

#deno #nodejs #llm #typescript #javascript

역전재판 시리즈 특:
왼쪽에 서면 똑똑해짐
오른쪽에 서면 1+1=2라고 해도 믿을 수 없음 갑자기 증거 몇 개 던지면 먼가 박살남
"1+1=2다!!!"
"후훗. 이 증거를 잘 보시지. 왼쪽의 1 부분은 사실 따옴표로 감싸져있다!"
"그게 무슨 말이냐!!"
"사용된 언어는 자바스크립트였던 것이다!!!! '1'+1은 '11'이다!!!!"
"크아아아아아아악!!!" (번쩍번쩍)

역전재판 시리즈 특:
왼쪽에 서면 똑똑해짐
오른쪽에 서면 1+1=2라고 해도 믿을 수 없음 갑자기 증거 몇 개 던지면 먼가 박살남
"1+1=2다!!!"
"후훗. 이 증거를 잘 보시지. 왼쪽의 1 부분은 사실 따옴표로 감싸져있다!"
"그게 무슨 말이냐!!"
"사용된 언어는 자바스크립트였던 것이다!!!! '1'+1은 '11'이다!!!!"
"크아아아아아아악!!!" (번쩍번쩍)

✨ Timeline cleanse - #LEGO edition ✨

I’ve done some improvements to my LEGO office, adding plants and film/photography equipment to the roof. Plus better support for the #YunoHost sticker on the computer monitor.

OK not exactly realistic because… no shelter from the elements, but I’m experiencing a bricks shortage due to the construction of an airport and a pizzeria for my 4-year-old 😅

The rainbow walls were her idea ❤️

🌊💻 OceanSprint 2025 – Day 2! 🚀

We're hacking on exciting projects like NixOS config diffing, Tvix/Snix, interpreterless initrd, and better Go support in nixpkgs. But it's not all code—we're also enjoying BBQ, mountain biking, hiking, and surfing in beautiful Lanzarote!

Great code, great people, and great vibes. Can't wait to see what we build next!

#NixOS #OpenSource #Hackathon #OceanSprint

I'd like to thank @maryrobinetteMary Robinette Kowal and TOR Books for making The Martian Contingency available on bookshop.org DRM-free.

I want to be able to keep my library no matter where I buy my books (and reduce my Amazon usage), so I will only buy books from sellers who do this.

#introduction

Time to figure out this Mastodon thing. Hi Fediverse, I'm Jaap.

I enjoy connecting to like-minded individuals to discuss technology and any other interesting subject.

Since 2012, people have called me system administrator, network administrator, system engineer, network engineer, network designer and network architect.
Somehow, I've always drifted towards places that operate their own machines, including OT and critical infrastructure.

Tech is not just work but also hobby. Besides that I'm into more tech, audio, sports, books, meeting cool people and everything else.

Currently unable to work and function at all, due to long COVID. The prognosis seems impossible to determine.

Also, meet Kara:

#Introduction

Hi! I am Luke, hi.

I am an #artist solely using #filmphotography

I like to make images that don't look like photographs (to me all photographic imagery is illusory).

I use #LargeFormat, #MediumFormat and am also particularly fond of #Polaroid (my stock is the Fuji equivalent, pack film of which I still have a decent but finite amount unfortunately).

Some images attached.

Link to my site is in my profile.

迷うーーー

おっ

シャワー浴びた

んにゃ

The FreeBSD team conquered a massive 7,000 bug backlog 💪 Once overwhelmed by thousands of open issues, the team, with the help of data visualization tools, turned chaos into clarity.

Their approach involved setting up custom dashboards using GrimoireLab, which provided valuable insights into their Bugzilla system. They introduced new metrics like "unattended" and "abandoned" tickets to prioritize their efforts.

Check out their full blog post: https://freebsdfoundation.org/blog/from-chaos-to-clarity-how-we-tackled-freebsds-7000-bug-backlog/

#FreeBSD #OpenSource

Pebble(페블), 새로운 스마트워치 'Core 2 Duo (코어 2 듀오)'와 'Core Time 2 (코어 타임 2') 발표
https://ericmigi.com/blog/introducing-two-new-pebbleos-watches

· 코어 2 듀오는 흑백 E-ink 디스플레이와 폴리카보네이트 프레임을 가지고 있으며 가격은 149달러, 7월 배송 시작.
· 코어 타임 2는 코어 2 듀오보다 더 큰 컬러 E-ink 디스플레이, 금속 프레임을 가지고 있으며 가격은 225달러, 12월 배송 시작

더 자세한 사양은 타래에

@dwndiaowinner 님 덕분애 Hackers' Pub에 중국어 번역이 추가되었습니다!

또한, 언어 설정이 추가되어, 자신이 선호하는 복수의 언어를 선택할 수 있게 되었습니다. 이 설정은 당장은 팔로 추천에만 쓰이고 있지만, 앞으로 자동 번역이나 알고리즘 타임라인 등에 요긴하게 쓰일 예정입니다.

@glyph (thinks: hotkey template post shortcuts)

...actually is it possible to bookmark a URL for Mastodon's web client that constitutes an intent to post a message including part of its content (your usual hashtags) like a Twitter intent to post URL?

edit: yes! per: yourself, a month ago.

https://www.reddit.com/r/Mastodon/comments/zf36ei/comment/matvy9u/?utm_source=share&utm_medium=mweb3x&utm_name=mweb3xcss&utm_term=1&utm_content=share_button

4'33" (as performed by your browser)
https://5013.es/toys/433/

With several players to choose from, you'll never get tired of listening to their performances of John Cage's 4'33" in your browser.

Some background here: https://5013.es/p/10/

With thanks to @dariusDarius Kazemi and @jennjenn schiffer for the spark of inspiration like 10 years ago 😃

#webaudio #webworkers #audioworklet #music #javascript #audio

为软件开发者提供的基于 ActivityPub 的社交网络 Hackers' Pub 现已新增中文支持。但请注意，Hackers' Pub 目前仍处于封闭测试阶段，需要我的邀请才能使用。如果您是中文用户，并且有兴趣尝试 Hackers' Pub，请通过私信向我发送您的电子邮件地址。我会将您的电子邮件地址添加到允许列表，并通知您。

https://hackers.pub/@hongminhee/0195aa14-4653-7553-b605-97c19021c6eb

为软件开发者提供的基于 ActivityPub 的社交网络 Hackers' Pub 现已新增中文支持。但请注意，Hackers' Pub 目前仍处于封闭测试阶段，需要我的邀请才能使用。如果您是中文用户，并且有兴趣尝试 Hackers' Pub，请通过私信向我发送您的电子邮件地址。我会将您的电子邮件地址添加到允许列表，并通知您。

https://hackers.pub/@hongminhee/0195aa14-4653-7553-b605-97c19021c6eb

In #Machtübernahme nimmt @arnesemsrott die politischen Institutionen und Regierungsprozesse einer Demokratie und ihres Zerfalls unter die Lupe. Dabei hält er sich mit übertriebenem Idealismus zurück. Stattdessen gibt er eine konkrete Gebrauchsanweisung für den Widerstand. Denn von großer Bedeutung ist hierfür der (scheinbar) vor-politische Raum zwischenmenschlicher Beziehungen. Vom Nachbarn bis zum Buchladen. :)
Findet Gleichgesinnte und vereinigt Euch!📕 🌟 #books #politics #bücherwabe #chemnitz

#Calculemus: Demostrar con Isabelle/HOL que las relaciones reflexivas y circulares son simétricas. https://jaalonso.github.io/calculemus/posts/2020/04/08-las_reflexivas_circulares_son_simetricas/ #IsabelleHOL #Lógica #Matemática

@dwndiaowinner 様のおかげで、Hackers' Pubに中国語翻訳が追加されました！

また、言語設定が追加され、ご自身が好む複数の言語を選択できるようになりました。この設定は、今のところフォローのおすすめにのみ使用されていますが、今後、自動翻訳やアルゴリズムタイムラインなどで役立つ予定です。

@dwndiaowinner 님 덕분애 Hackers' Pub에 중국어 번역이 추가되었습니다!

또한, 언어 설정이 추가되어, 자신이 선호하는 복수의 언어를 선택할 수 있게 되었습니다. 이 설정은 당장은 팔로 추천에만 쓰이고 있지만, 앞으로 자동 번역이나 알고리즘 타임라인 등에 요긴하게 쓰일 예정입니다.

"Can't Believe It's Not UXN!" part 2

@dwndiaowinner 님 덕분애 Hackers' Pub에 중국어 번역이 추가되었습니다!

또한, 언어 설정이 추가되어, 자신이 선호하는 복수의 언어를 선택할 수 있게 되었습니다. 이 설정은 당장은 팔로 추천에만 쓰이고 있지만, 앞으로 자동 번역이나 알고리즘 타임라인 등에 요긴하게 쓰일 예정입니다.

NGOs and “action networks” are preparing lengthy appeals for donations to email to you today.

Instead, please give directly to Palestinian families. NGOs are not reaching people. No aid is entering. NGOs absorb most of the money into self-serving campaigns while hiding away their stores—there has been a lot of on-the-ground testimony of this not just for the past 17 months, but for 77 years. Giving directly to Palestinians who know how to stretch a dollar is the absolute best way to give. And most of them are not just feeding themselves but quietly serving their neighbors with vital supplies like food, medication, and shelter.

Here are vetted campaigns for families I know. There are also some mutual aid projects that serve entire displacement camps. But pick any you see. CRUCIALLY: ask your friends, families, followers to match your 5-10 to keep it going.

https://linktr.ee/divyamp

I’m just a girl
Standing in front of a boy
Asking him not to feed company secrets to ChatGPT

This may be a point of pedantry, but why do I, as a road user, care that this is a "temporary" road surface.

I may care that it is unfinished, or uneven, but the time period for which this road surface will persist is surely not relevant?

얘들아 이거 제발 설문 조사 해주실분 진짜 제발 부탁할게 대학생 한명을 살릴 수 잇다고 그리 생각하면 좀 기쁘지 않겟어??? 턴제전투를 해봣으면 누구나 ok임 forms.gle/425zqCqsFGZ4...

턴제 전투 PL 아트풍 선호도

If you stop in the bike lane, you •are• the bike lane. That’s just the rules.

From @SaltySolomon: https://chaos.social/@SaltySolomon/114184297732494752

Emacs + org 하나씩 자동화해서 쓰는 맛이 있네

요즘 새로운 거 배우면 SPC n r n <주제 이름> ENT n해서 노트 만들고, 글이나 책 읽을 거 있으면 Zotero에 넣어두었다가 M-x cite ENT <글 제목> ENT 해서 읽으면서 기록하면 훨씬 알차게 읽는 듯

Today's Catch-22 of modernity:
Contacted our ISP re the dead ADSL. Explained the line is noisy, so that's probably the problem.
Them: Oh, then you must place a telephone fault.
It's the same company, by the way. So I place a telephone fault.
Them: We've tested the line and there's nothing wrong with it.
Me: I don't care about the phone, we don't use it, I need the ADSL
Them: Well we'll get a BT engineer to check the phone, but if it's OK, you'll have to pay a call-out fee.
Me: ADSL-splutter 😱

@risottobias @benpateBen Pate 🤘🏻 @reiver@reiver ⊼ (Charles) yes, but once again, not super usable yet. I don't have funding to work on it currently

we've been looking into shipping zines to Europe from an the EU instead of from the US and I think it might be possible! Still need to figure out all the details (and it still might not work out for various reasons) but fingers crossed.

@stefanoStefano Marinelli @adminFediMeteo is it possible for Chateauroux (36000) and Guéret (23000) ? those are prefectures from low population density areas

테디님 @leekkrr 께서 진행하시는 라방

https://www.youtube.com/live/0vFV3GRUbSM?si=zr0FfhFecmORm4pW

마이크로소프트 양파님과 함께 RAG 얘기하기 + 진로 상담

많관부

@risottobias @thisismissemEmelia 👸🏻 @reiver@reiver ⊼ (Charles)

Ditto. I would love to implement a Web Annotation client in my work.

Maybe we start tracking this with a hashtag? #WebAnnotations

You couldn't write a dystopian novel with a grimmer plot than what we are witnessing in reality.

Here's how the story goes: Capitalism cuts down all the forests in search of profits, strip-mines the Earth in search of profits, pollutes our air and our water in search of profits... and now, what's left?

Oh, wait, say the capitalists, we haven't dug down into the deep sea yet in search of profits, er, um, minerals. And guess what, we can pretend we're doing that for the sake of the climate and environment!

Yeah, that's the idea. We need those minerals to make electric cars. So it's a win-win. We'll make billions more in profits, AND we'll make ourselves look good by promoting Green Growth! 😃
________________________________

😡 LEARN MORE ➡️ https://www.theguardian.com/environment/ng-interactive/2025/mar/12/as-countries-scramble-for-minerals-the-seabed-beckons-will-mining-it-be-a-disaster-visual-explainer

#Science #Environment #Climate #ClimateChange #ClimateCrisis #BioDiversity

‘Discrimination and AI in insurance: what do people find fair? Results from a survey’

Pre-print paper by Marvin van Bekkum, Iris van Ooijen, Gabi Schaap, Maaike Harbers, Tjerk Timan, and me.

https://arxiv.org/abs/2501.12897

#law #ethics #ai #tech #insurance #fintech #discrimination

We will need to retire the option to use namespaces in Redis (i.e. setting the REDIS_NAMESPACE environment variable) in Mastodon 4.4.

If you run a Mastodon server and currently use Redis namespaces, please have a look at this discussion and leave some feedback:

https://github.com/mastodon/mastodon/discussions/34198

Thanks!

#mastoadmin

にゃあ

@davidgerard https://www.askvg.com/how-to-disable-and-remove-all-ai-features-in-mozilla-firefox/ there are multiple steps

eslint/css-tree v3.3.0 has been released:

https://github.com/eslint/csstree/releases/tag/css-tree-v3.3.0