nửa còn lại
Những thứ tôi xây vì tôi muốn chúng tồn tại.
PANTHEON là công việc chính. Đây là những gì cùng những bản năng ấy tạo ra khi không ai trả tiền cho kết quả: một bầu trời thật trên màn hình máy tính, một bộ lịch thiên văn (ephemeris) không có phụ thuộc nào, và một terminal biết vẽ. Kỷ luật vẫn y hệt; chỉ có mức độ rủi ro thay đổi.
GNOME Shell · GPL-2.0 · ★3
TerraFirma: bầu trời thật trên hình nền của bạn.
Không phải hoạt ảnh của một bầu trời. Mà là bầu trời thật, được tính từ ephemeris theo vĩ độ, kinh độ và đồng hồ của bạn.
Vòng lặp nóng được cố ý làm cho đo lường được
Phép chiếu và mô hình khí quyển nằm trong skymath.js, tệp này không import gì từ GNOME Shell. Một tệp chỉ chạy được bên trong một phiên thì chỉ có thể phỏng đoán; một tệp chạy độc lập thì có thể đo thời gian. Ranh giới đó dựa trên cùng lập luận với purity lint giữ lõi của PANTHEON tách khỏi tầng ứng dụng.
Danh mục sao và lịch thiên văn là của bên thứ ba và được ghi công trong NOTICE.md. Chọn một ngày, rồi nhìn lên trời, với loại phần mềm này đó là phép thử duy nhất có ý nghĩa.
Vì sao vòng lặp nóng phải được tách ra ngoài → · TerraFirma trên GitHub ↗
được tách ra và công bố
Ba gói phần mềm ra đời từ đó.
Cùng một khuôn mẫu như sáu phần của PANTHEON: xây dựng sản phẩm, tìm ra phần thực sự tái sử dụng được, tách nó ra, và phát hành độc lập theo cách riêng của nó. Cả ba đều theo giấy phép MIT và có thể cài đặt ngay bây giờ.
braillecanvas v0.4.0 · MIT
Braille định địa chỉ 2×4 chấm trên mỗi ô ký tự, nên một terminal 80×24 thực chất là một canvas 160×96. Đó là sự khác biệt giữa một bản kết xuất đồ họa và ASCII art.
Phần thú vị là màu sắc. Mỗi ô mang hai màu, một cho các chấm sáng, một cho các khoảng trống, nên một ô nằm vắt qua một cạnh, da người sát bầu trời, giữ được cạnh đó thay vì trộn trung bình thành một màu bùn. Sai số màu trung bình trên mỗi chấm của hình này giảm từ 45.7 xuống 21.3.
Chọn chấm nào sáng lên cho từng ô, thay vì lấy mẫu từ một lưới dither cố định, giúp giảm tỷ lệ ô không có kết cấu từ 35.1% xuống 1.6%.
Hai giới hạn được nêu ngay trong README của nó: dưới khoảng 90 cột thì ảnh chụp không còn hiển thị được, và chế độ đơn sắc hoàn toàn không thể dựng bức ảnh này, khuôn mặt cô ấy đo được độ sáng 159 so với 192 của bầu trời phía sau, nên bản dựng 1-bit về bản chất sẽ là một hình bóng.
npm i braillecanvas · npm ↗ · mã nguồn ↗
skymaths v0.1.2 · MIT
Thiên văn vị trí không có phụ thuộc, Mặt Trời, Mặt Trăng, các hành tinh, chạng vạng, mọc và lặn. Được tách ra từ ephemeris của TerraFirma, rồi được sửa: đa thức Espenak–Meeus mà nó dùng chỉ được công bố cho giai đoạn 1900–1920 nhưng lại đang được áp dụng cho năm 1986, cho ra −534 giây cho năm 1950 so với giá trị đo được là +29. Phát hiện bằng cách đối chiếu với một niên lịch đã xuất bản thay vì đối chiếu với chính nó.
Nó đang chạy trên chính trang này: ở chế độ tối, nền là bầu trời trên Cardiff vào đêm mưa sao băng Perseids, 13 August 2026, được tính toán ngay trong trình duyệt của bạn: 5,044 ngôi sao với màu sắc thật của chúng, pha của Mặt Trăng và các hành tinh ở đúng vị trí của chúng lúc đó. Cuộn để xoay vòng.
npm i skymaths · npm ↗ · mã nguồn ↗
starwheel v0.2.3 · MIT · ★4
Một bản đồ sao trực tiếp trong terminal của bạn, với vị trí sao thực theo địa điểm và từng phút của bạn, vẽ trên braillecanvas. Đây là repository được gắn sao nhiều nhất của tôi, và cũng là cái đã dạy tôi rằng một bản sửa làm dịch chuyển các pixel đã công bố không phải là cùng một bản sửa khi áp dụng lần thứ hai: nó giới hạn số vòng lặp ở chỗ dự án anh em của nó cắt bớt, một cách có chủ ý.
npx starwheel · npm ↗ · mã nguồn ↗
/proc thật: CPU, bộ nhớ và load average trên một cửa sổ trượt. Biểu đồ vẫn hoạt động ở mức thấp hơn nhiều so với ngưỡng 90 cột mà ảnh chụp cần, vì bản thân chúng đã có độ tương phản cao.trên trang này, ngay lúc này
Hình ảnh được sinh tự động, và seed không thể thoát ra ngoài.
Mọi tác phẩm nghệ thuật trên trang này: ảnh hero ở trên, favicon, thẻ mạng xã hội, avatar, đều đến từ trình tạo của chính PANTHEON. Tất định và có seed: cùng một seed cho ra cùng một hình ảnh, mọi lúc.
Cùng một hợp đồng ở cả hai phía
Một engine phía máy chủ render các thẻ mạng xã hội và site của tenant; một engine trên trình duyệt vẽ phiên bản động mà bạn đang xem. Cùng một quy tắc: seed vào, tác phẩm tái lập được ra.
An toàn trước injection ngay từ thiết kế
Seed cấp cho PRNG và không gì khác. Nó không bao giờ được nội suy vào markup hay style. Một tên tenant thực chất là payload sẽ vẽ ra một bức tranh khác; nó không vẽ ra một thẻ script. Cùng một bản năng như phần còn lại của hệ thống, áp dụng cho phần trang trí.
cài đặt được, không chỉ để đọc
Sáu bảo đảm, được tách ra và công bố.
Mỗi gói ra đời từ PANTHEON dưới dạng một cam kết duy nhất có thể kiểm chứng, rồi được đưa lên PyPI để có thể đứng độc lập. Các AI agent đối kháng, do tôi tự chạy, không độc lập, đã rà qua từng dòng và tìm ra lỗi thật; các phiên bản dưới đây là bản sau khi sửa những lỗi đó, mỗi bản được xác minh bằng cách cài từ registry vào một môi trường sạch và chạy lại chính bản tái hiện lỗi của bên review, chứ không dựa vào log build.
pantheon-guardrails v0.3.2 · Apache-2.0
Một bộ chấm điểm theo hiến chương chỉ dùng đến bộ đánh giá LLM cho các câu trả lời có rủi ro cao, và yêu cầu bộ đánh giá đó phải là một model khác với model sinh câu trả lời để hai bên không có chung điểm mù. Trước đây nó từng kẹp một điểm nằm ngoài khoảng lên trên: một bộ đánh giá trả về {"clarity": 99} được chấm điểm hoàn hảo 1.0 và vượt qua mọi ngưỡng: một rào chắn bị lỗi theo hướng mở. Giờ đây, một bộ đánh giá ném lỗi, bị treo hoặc trả về kết quả vô nghĩa sẽ là một lần đánh giá thất bại rõ ràng và mặc định bị chặn.
pip install pantheon-guardrails · PyPI ↗ · mã nguồn ↗
pantheon-ssrf-guard v0.2.1 · Apache-2.0
Một lớp bảo vệ SSRF egress hai tầng chống được DNS rebinding: nó kiểm tra lại IP mà socket thực sự kết nối tới vào thời điểm connect, nên một host phân giải ra địa chỉ công khai rồi rebind về loopback hoặc cloud metadata sẽ bị từ chối. Đợt review phát hiện opener vẫn đọc được URL file://, vì Python mặc định cài handler cho các scheme khác; giờ đã có allowlist http/https tường minh ở ranh giới, bao gồm cả redirect, và proxy từ biến môi trường bị tắt trừ khi bạn yêu cầu.
pip install pantheon-ssrf-guard · PyPI ↗ · mã nguồn ↗
pantheon-tool-sanitizer v0.3.0 · Apache-2.0
Loại bỏ markup giao thức công cụ và các ký tự Unicode lén lút khỏi văn bản công cụ MCP không đáng tin trước khi nó đến prompt của agent. Phạm vi được nêu trung thực: nó không tuyên bố ngăn được injection dạng văn xuôi thông thường, vốn là vấn đề kiến trúc chứ không phải vấn đề chuỗi. Hai bản sửa từ đợt review: một input đối kháng 256 kB từng tốn 26 giây CPU và nay bị từ chối ngay, và "Read\nthe\tfile" không còn biến thành "Readthefile" nữa, vì ngắt dòng là ranh giới giữa các từ.
pip install pantheon-tool-sanitizer · PyPI ↗ · mã nguồn ↗
credit-ledger v0.3.0 · Apache-2.0
Đo lường chống thấu chi trên Postgres trong khoảng 150 dòng: 100 lần trừ tiền song song trên số dư 50 và đúng 50 lần thành công, tính phí đúng một lần khi webhook bị phát lại, cô lập được thực thi bằng bảo mật cấp hàng. Bản build đã phát hành từng chấp nhận một khoản trừ âm, tức là trả tiền cho khách hàng, và các số tiền nhỏ hơn độ chính xác của cột, tính phí 0.0000 trong khi vẫn báo thành công. Giờ một quy tắc số tiền duy nhất áp dụng cho mọi đường đi, và có một migration đã được kiểm thử cho các cơ sở dữ liệu đã tồn tại.
pip install credit-ledger · PyPI ↗ · mã nguồn ↗
pantheon-ical v0.3.1 · Apache-2.0
iCal hai chiều (RFC 5545) cho lịch đặt chỗ trong chưa tới 200 dòng. Một khoảng bận bị bỏ sót sẽ được đọc là trống, nên im lặng là kiểu hỏng nguy hiểm: lịch quá lớn sẽ bị từ chối thay vì bị cắt bớt, và một quy tắc lặp bị tràn sẽ báo ra thay vì trả về một danh sách thiếu. Bản sửa gần nhất giới hạn cả khối lượng công việc chứ không chỉ kết quả: một quy tắc độc hại chỉ một dòng từng tạo ra 34 triệu lần lặp trong 76 giây trước khi bị từ chối; giờ nó dừng ở 401.
pip install pantheon-ical · PyPI ↗ · mã nguồn ↗
pantheon-rls v0.1.1 · Apache-2.0
Cô lập tenant như một bảo đảm của Postgres thay vì một thói quen ở tầng ứng dụng: force-RLS cộng với cấp quyền tối thiểu, để chính cơ sở dữ liệu từ chối các thao tác đọc và ghi giữa các tenant. Fail-closed theo thiết kế, không có ngữ cảnh tenant thì trả về 0 dòng, không bao giờ trả về mọi dòng, đó là kiểu hỏng quan trọng khi một bug lọt ra production lúc 3 giờ sáng.
pip install pantheon-rls · PyPI ↗ · mã nguồn ↗
Mọi bản sửa ở trên đều đến theo cùng một cách: tái hiện lỗi trước, sửa ở ranh giới thay vì sửa triệu chứng, rồi chứng minh bài test mới sẽ thất bại khi lỗi được đưa trở lại. Một bài test không thể thất bại thì không phải là bằng chứng.
nó chạy trên nền gì
Stack thì nhàm chán. Ranh giới thì không.
Python 3.12, FastAPI, Postgres, Redis, React với Vite, một Dockerfile đứng sau nginx. Không lựa chọn nào trong số đó đáng để ngưỡng mộ, đó là những phần bạn chọn để sự chú ý có thể dành cho những chỗ thực sự quan trọng.
146 tệp · 14,002 dòng
pantheon-core: lớp nền. Độc lập với miền nghiệp vụ theo hợp đồng: nó không được import từ residents hay bundles, và hai bước kiểm tra độc lập sẽ làm CI thất bại nếu điều đó xảy ra.
210 tệp · 24,216 dòng
Bài test, trên 38,816 dòng Python. Tôi không tự tay viết phần triển khai, nên bộ test không phải là lưới an toàn. Nó là đặc tả, và là sản phẩm tôi thực sự viết ra.
Năm lớp, một hướng
architect · runtime · guardrails · substrate · primitives, với providers được cố ý đặt ngoài stack, vì nó nằm dưới hai tầng cùng lúc và hợp đồng nói rõ điều đó thay vì bẻ cong.
Ranh giới đó là lý do sáu thành phần có thể được tách ra và công bố thành các thư viện độc lập, việc tách chủ yếu chỉ là di chuyển các file vốn chưa bao giờ được phép phụ thuộc xuống tầng dưới. Bản đầy đủ, kể cả phần tôi đã làm sai →
Cùng một người, cùng các quy tắc, mức rủi ro thấp hơn.
Không ai kiểm toán một hình nền. Lý do chúng được xây dựng như vậy là vì đó là cách duy nhất tôi biết để xây dựng: đo lường, tách phần tái sử dụng được, công bố giới hạn đi kèm, và đối chiếu các con số với thứ gì đó bên ngoài chương trình.
Hãy hỏi về bất kỳ phần nào của công việc này.
- Isaac đang tìm vai trò nào?
- Cái nào trong số này đang chạy trong production?
- Cho tôi xem một lỗi thật mà anh ấy đã tìm ra và sửa