Túlio Ribeiro dos Anjos tulior

Debian GR 2026-002: Bradley–Davidson analysis

Source: https://vote.debian.org/~secretary/gr_llm/results.txt

425 voters. Option 5, “Responsible Use of Generative AI,” won every head-to-head contest.

Bradley–Davidson ranking

Davidson model:

Debian GR 2026-002: Bradley–Davidson analysis

Source: https://vote.debian.org/~secretary/gr_llm/results.txt

425 voters. Option 5, “Responsible Use of Generative AI,” won every head-to-head contest.

Bradley–Davidson ranking

Davidson model:

mpv Packaging: openSUSE vs Fedora

A comparison of the openSUSE and Fedora mpv RPM specs, specifically from the perspective of how opinionated, aggressive, and willing each distribution is to enable modern or experimental mpv functionality.

Verdict

openSUSE wins.

Fedora has the more explicit spec file, but openSUSE produces the more adventurous mpv package.

The Expiring Moat

Open weights, unpoliced distillation, and where AI market power actually goes

The argument over open-weight artificial intelligence is usually staged as a choice between two moral systems. On one side: transparency, sovereignty, competition, the old civic language of open source. On the other: safety, stewardship, the claim that frontier capability must remain behind controlled interfaces.

The staging is useful. It keeps attention on what the companies say they are protecting.

The harder question is what can still be protected once a frontier model is sold through a public API. The weights may remain locked away. The architecture may remain undisclosed. The training corpus may never leave the laboratory. But the thing customers pay for—the model’s behavior—has to cross the boundary. It crosses one completion at a time, as text, code, rankings, corrections, tool calls, explanations, judgments. A public API is a business built on repeated disclosure.

Exact verification of the announced dimension-3 Jacobian counterexample and its Weyl-algebra lift

Status: independently reproducible computational note; not peer reviewed.

Source and attribution. This note verifies the polynomial map posted by Levent Alpöge on 20 July 2026:

https://x.com/__alpoge__/status/2079028340955197566

The original post credits Akhil for prompting the question and Fable for work leading to the example. The calculations below are an independent exact-arithmetic verification and an explicit lift to the Weyl algebra.

living-room-remux-policy.md

Policy for choosing the playback chain in the living room.

The purpose of the chain is narrow:

play Blu-ray remuxes correctly
keep Dolby Vision when it is actually available
keep lossless and object audio when the route allows it

title	Jellyfin Dolby Vision Profiles Explained: 5 vs 7 vs 8 (Which Direct Plays?)
source	https://jellywatch.app/blog/jellyfin-dolby-vision-profiles-explained-5-7-8-direct-play-2026
publisher	JellyWatch Blog
date	June 03, 2026
category	Comparisons
type	Structured Markdown extraction and summary

Jellyfin Dolby Vision Profiles Explained: 5 vs 7 vs 8

Keybase proof

I hereby claim:

I am tulior on github.
I am tulio (https://keybase.io/tulio) on keybase.
I have a public key whose fingerprint is 3178 B338 7B7D 8F31 26B1 8C2C A720 1882 FE4B 8504

To claim this, I am signing this object:

📊 Synthetic HDI Report: Leblon (Rio de Janeiro, Brazil)

🟢 Estimated HDI: 0.967 (Very High)

Dimension	Est. Value	Contribution	Key Drivers (Latent Evidence)
🏥 Health	~82.3 years	0.975	Access to elite private healthcare, high sanitation standards, and high longevity rates compared to national averages.
🎓 Education	~13.8 years	0.945	Concentration of residents with advanced degrees, presence of top-tier private institutions, and near-universal literacy.
💰 Income	~$85,000+	0.982	Highest real estate valuation per square meter in Latin America; economy driven by high-net-worth individuals and executive professionals.

	#!/usr/bin/env python3
	"""
	football_live_match_model.py

	Football Live Match Model

	Estimate live or pre-match football probabilities from player-level priors,
	current score, time remaining, Dixon-Coles low-score correction, optional
	knockout/penalty logic, and optional market-odds comparison.