Piero Bosio Social Web Site Personale

@cheeaun 😎

문제 Nix는 설계 철학상 Nix 언어(순수 함수형 평가 언어)와 Nix store(콘텐츠 주소 기반 저장소)가 별도의 레이어로 분리되어 있다. 그러나 현실에서는 Nix 언어가 store에 대해 특권적 지위를 갖고 있으며, 이 둘 사이에 명시적인 인터페이스 경계가 존재하지 않는다. 특권적 지위의 구체적 양상 유일한 공식 진입점: derivation을 생성하고 store에 등록하는 사실상 유일한 경로가 Nix 언어 평가기다. nix build, nix develop 등 CLI 도구도 내부적으로 Nix 평가기를 호출한다. 생태계 종속: nixpkgs 전체가 Nix 언어로 작성되어 있고, flake 시스템도 Nix 평가기를 전제한다. 대안 언어는 항상 이등 시민이다. 순수성에 대한 신뢰 의존: store의 무결성이 Nix 언어의 순수성(부작용 없음, string context를 통한 의존성 추적 등)에 의존한다. 이는 언어 구현의 정확성을 믿어야 하는 취약한 신뢰 모델이다. 기존 우회 시도의 한계 Guix: Nix 언어 대신 Guile을 프론트엔드로 사용하지만, nixpkgs를 재사용하지 못하고 생태계를 처음부터 다시 구축해야 했다. Tvix: store를 다른 방식으로 구현하려 했지만, 결국 Nix 언어의 호환 평가기를 만드는 데 상당한 비용을 치르고 있다. Recursive Nix: 빌드 시점에 다른 언어에서 Nix daemon을 호출할 수 있지만, 최상위 진입점은 여전히 Nix 언어가 쥐고 있다. 탈출구는 생겼지만 그 문을 여는 열쇠는 Nix 언어에 있다. 제안: 모든 언어를 Sandbox 안으로 핵심 아이디어: Nix 언어 평가기를 포함한 모든 프론트엔드 언어를, Nix sandbox 안에서 마운트된 Nix daemon 소켓을 통해서만 store와 상호작용하도록 한다. 구조 변경 [현재] Nix 언어 평가기 ──(특권적 접근)──▶ Nix Store [제안] ┌─── Sandbox ────────────────────┐ │ Nix 언어 평가기 │ Guile / Python / Rust / ... │──(daemon 소켓)──▶ Nix Daemon ──▶ Nix Store │ (네트워크 없음, FS 격리) └────────────────────────────────┘ 동작 방식 프론트엔드 언어(Nix 포함)는 sandbox 안에서 실행된다. 네트워크 접근 불가, 파일시스템 격리. Store 관련 모든 동작(derivation 등록, store path 조회, 빌드 요청 등)은 sandbox 안에 마운트된 Nix daemon 소켓을 통해서만 수행한다. Daemon이 store의 무결성을 보장하는 유일한 주체가 된다. 이점 1. 신뢰 모델의 단순화 언어의 순수성을 신뢰할 필요가 없다. Sandbox가 커널 레벨에서 격리를 강제하므로, 어떤 언어가 sandbox 안에서 무엇을 하든 store의 무결성은 daemon이 보장한다. 언어 의미론에 의존하는 신뢰보다 OS 레벨 격리에 의존하는 신뢰가 훨씬 견고하다. 2. 언어 간 동등한 지위 Nix, Guile, Python, Rust 등 어떤 언어든 sandbox 안에서 daemon 소켓 프로토콜을 사용하는 것은 동일하다. nixpkgs가 Nix로 작성되어 있다는 것은 생태계의 역사적 선택일 뿐, 아키텍처가 강제하는 것이 아니게 된다. 3. 기존 특수 케이스의 일반화 IFD(Import From Derivation): 평가 중에 빌드를 트리거하는 특수 케이스가 아니라, sandbox 안에서 daemon에게 빌드를 요청하는 일반적 동작이 된다. Recursive Nix: 별도 기능이 아니라 당연한 패턴이 된다. 평가와 빌드의 경계가 모호해져도 sandbox가 격리를 보장하므로 문제가 되지 않는다. 요약 현재 Nix 아키텍처에서 언어 레벨의 순수성이 담당하는 보안 역할을, OS 레벨의 격리(sandbox + daemon 프로토콜)로 내리자는 것이 이 제안의 핵심이다. 이를 통해 Nix 언어의 특권적 지위가 제거되고, 모든 프론트엔드 언어가 동등한 조건에서 Nix store를 활용할 수 있게 된다.

@esna@serafuku.moe 이미 國漢文混用體로 쓰고 있습니다. 😎

@mathieui@piaille.fr Thanks for engaging with this. I appreciate the pushback, and I think some of your concerns are worth taking seriously. That said, I want to clarify something about my position: TGPL (or any specific licensing mechanism) is just one possible avenue among many. The broader argument isn't tied to any single instrument. Regulatory pressure on governments to mandate that models trained on public data be returned to the public, expanded public funding for open research infrastructure, international treaty reform—these are all on the table. The point is strategic pluralism, not a bet on one tool. On the copyright concern: yes, major players have shown contempt for copyright. But that's precisely why I think purely technical or market-based solutions are insufficient, and why political and legislative pressure matters. The history of generic medicine access is instructive here—no single mechanism won that fight, but the combination of compulsory licensing advocacy, treaty pressure, and public funding reform produced real change over time. Now, your Luddite parallel: I actually think it argues for my position rather than against it. You're right that the weavers never reclaimed the technology. But the lesson I draw from that isn't “therefore reclamation is impossible.” It's that refusing or destroying the means of production doesn't work. What eventually produced change was organized labor movements that took the existence of that technology as a given and fought over who controls it and under what conditions. That's exactly the kind of struggle I'm advocating for here. The real question you're raising, I think, is about the subject: is there an organized political force capable of carrying this through? That's a fair and hard question. But it's an argument for building that force, not for abandoning the goal.

@django @nlnet @dansup The FEP for GTS-style comment controls will be coming from me. 👋 Hopefully in the next few weeks. If you scroll down my replies on my profile you can find scattered remarks on progress and remaining work items. There is a Matrix chat - if you want an invite to it, let me know!

以前から、東アジアにもFediConのようなイベントがあればいいなと言い続けてきました。独自のカンファレンスはまだ難しそうですが、小さな一歩として考えていることがあります。 @COSCUP@floss.social 2026（台北、8月8日〜9日）がコミュニティトラックの提案を受け付けています。FOSDEMのSocial Web devroomのような感じで、Social Webトラックを開けないかなと思っているところです。 まだ構想段階ですが、ActivityPubやフェディバース、ソーシャルウェブ全般に取り組んでいて、発表や共同オーガナイズに興味があるという方がいれば、ぜひ話しかけてください。 https://floss.social/@COSCUP/116152356550445285 #SocialWeb #ActivityPub #fediverse #フェディバース #COSCUP #fedidev

Fedifyを使ってFedi版Togetter作るぞ

Fedify使う上で一番克服すべきはTypeScriptなんだよな

🚀 COSCUP 2026 Call for Participation is now open!🎤 Community Tracks – Run a open-source agenda with talks, panels, or workshops. Apply by Mar 23. Spots are limited.🛠 Community Booths – Showcase your project, recruit members, and connect. Apply by Jun 9. First come, first served.👉 Apply here: https://s.coscup.org/26communityen#COSCUP2026 #OpenSource #Community

Fedify has just laid out a comprehensive implementation plan for this fep:https://github.com/fedify-dev/fedify/issues/288#issuecomment-3971459585The core idea is replacing HTTP(S) URIs with server-independent identifiers: ap:// URIs that use a Decentralized Identifier (DID) as the authority component, rather than a domain name. An object identified as ap://did:key:z6Mk…/actor can live on multiple servers simultaneously and survives any single server disappearing.

Jiwon (@z9mb1@hackers.pub), one of our core contributors, drew a Fedify dino! How cute! https://oeee.cafe/@z9mb1/2b5b0baf-466b-4c65-a1e0-d3588f0666f4

Fedify dino for notice https://kre.pe/CKwN This is a paid request :) fediverse logo was attached afterwards.

I have so much fun tin the fediverse, this is a very cozy place.

hacks.mozilla.org/2026/02/making-webassembly-a-first-class-language-on-the-web/ 👀

@andrewnez internally we use PG to version data. We have commits, branches, diffs, merges, cherry picks,... Internally, data is kept in tables with branch_id, commit_id_from, commit_id_to, data_pk, with some range based exclision constraint. Branching is expensive, as it needs to copy the whole data set (~150 tables, diffing has some hints to make it not read all tables but only the touched ones.

I making auto-translated FEP document for Japanese, trying local models...

日本かアジア圏でActivityPubとかオープンデータとかシビックテックのカンファレンスやイベントがあればちょっとずつ参加していきたいな。英語もまた話せるように鍛え直さないと…

AIがバイナリを吐きだすとかの妄言が意味わからないのは、効率の問題もあるけど(バイナリより高級言語のほうが情報のせられる)、開いた状態のものを閉じた状態に戻そうとするからだし、たぶん並列AIに対して関心がもてないのもそこで、AIが理解すればいいだけになると過程全体が閉じてるからだとおもう。

Today I foundStegodon #stegodon Hollo #hollo #hollosocialsnac2 #snac2

I have archived the apmodel repository. While developing apkit, I encountered the problematic aspects of apmodel, so I plan to redesign it. This does not mean I intend to abandon apkit.