Kamil Zabielski

Prawda dźwiga człowieka.

[Kamil Zabielski @limakzi]

@MichalPurzynski @TechCrunch Scripts and playbooks are just tool that are accelerating the work of the entire IR.

>
> Plans are worthless, but planning is everything.
>

[Kamil Zabielski @limakzi]

@lcamtuf Another puzzle; for all n > 2, the number 4/n can be written as sum of three positive unit fractions.

[Mitchell Hashimoto @mitchellh]

This is why PR diff speed matters. This isn't a dunk on GitHub specifically, because GitLab, Forgejo, etc. are all equal or worse. But this is the kind of thing that drives me nuts, because this is a core workflow and its slow enough I literally take my hands off the keyboard.

Btw, when my mouse jiggles on the left, its because the page is literally skipping frames and I'm instinctively shaking my mouse to see if it'll respond. And on the keyboard input you can literally here me finish typing before a letter even shows up.

For someone like me who is an expert at these tools, my brain navigates the tool dramatically faster than it can keep up, and that is not good. The tool should not get in the way.

[Andrzej Dragan @andrzejdragan]

Wczorajsza Nagroda Turinga dla współtwórców Kryptografii Kwantowej i algorytmu BB84, Charlesa Bennetta i Gillesa Brassarda (moje gratulacje!) zaskakująco pomija Artura Ekerta, twórcę algorytmu E91, o wiele ciekawszego z perspektywy fizycznej, a zarazem pozbawionego poważnej luki bezpieczeństwa tkwiącej w BB84 (device-dependence).

W Nagrodach Nobla pomijano wcześniej Wolszczana za odkrycie planet i Trautmana za fale grawitacyjne. Może czas się ocknąć i zacząć wyciągać wnioski co do roli lobbowania, pełniącego zasadniczą rolę w przyznawaniu tego typu dekoracji naściennych.

[Mitchell Hashimoto @mitchellh]

This is how you get dumber btw, true even before AI. Turn on DnD, put your phone in a drawer. The best option if you can is to separate work + personal devices so your work device can't even see personal stuff. This is also partially why Pomodoro was all the rage a decade+ ago.

[Mitchell Hashimoto @mitchellh]

Happy to share that we've signed 5 contributor contracts for Ghostty totaling ~350 committed hours (~$21k) covering community management, graphics, Unicode compat, and GTK. This is a big milestone, Ghostty is paying contribs for the first time! https://t.co/WoJGPWRkXt

[Kamil Zabielski @limakzi]

@TCzajka Narzędzie świetnie do pracy własnej; do publikacji bezużyteczne - nie znam czasopisma, które przyjmie typst.

[Heritage Matters🔱 @HeritageMatterz]

Polish 26 year old guitar master Marcin Patrzałek respond to those who have made public comments claiming that his music is fake.

He made this video in a tutorial form showing how he manages to play so extraordinarily well in response. And yes, it's all played on one guitar.

[Mitchell Hashimoto @mitchellh]

AI eliminated the natural barrier to entry that let OSS projects trust by default. People told me to do something rather than just complain. So I did. Introducing Vouch: explicit trust management for open source. Trusted people vouch for others. https://t.co/6mY8yIcvGx

The idea is simple: Unvouched users can't contribute to your projects. Very bad users can be explicitly "denounced", effectively blocked. Users are vouched or denounced by contributors via GitHub issue or discussion comments or via the CLI.

Integration into GitHub is as simple as adopting the published GitHub actions. Done. Additionally, the system itself is generic to forges and not tied to GitHub in any way.

Who and how someone is vouched or denounced is up to the project. I'm not the value police for the world. Decide for yourself what works for your project and your community.

All of the data is stored in a single flat text file in your own repository that can be easily parsed by standard POSIX tools or mainstream languages with zero dependencies.

My hope is that eventually projects can form a web of trust so that projects with shared values can share their vouch lists with each other (automatically) so vouching or denouncing a person in one project has ripple effects through to other projects.

The idea is based on the already successful system used by @badlogicgames in Pi. Thank you Mario.

Ghostty will be integrating this imminently.

[Kamil Zabielski @limakzi]

@PoselNaFejm @astro_slawosz Jest Pan po prostu zwykłym ignorantem, jeśli nie rozumie Pan, że liczba osób, które były w kosmosie jest zamknięta, liczebnie uboga, a wymagania stawiane takim osobom są bardzo wysokie.

[Kamil Zabielski @limakzi]

Odejdźmy na chwilę od czystej algebry, zatem.

Niech V będzie sześcianem o boku 3. Każdą ze ścian dzielimy na 9 przystających kwadratów o boku 1. Niech G będzie grafem, którego wierzchołkami są wszystkie wierzchołki kwadratów o boku 1, a krawędziami wszystkie krawędzie tych kwadratów.
* Ile wierzchołków i krawędzi ma graf G?
* Czy graf G jest grafem planarnym? Czy graf G jest grafem dwudzielnym?

[Kamil Zabielski @limakzi]

@nasqret Spróbuję dalej.

>
> Jaki jest rząd podgrupy H klasycznej grupy kostki Rubika G wyznaczonej przez pojedynczy obrót każdej z dwóch równoległych do siebie ścian? Innymi słowy H <= G i H = <R,L>.
>

[Kamil Zabielski @limakzi]

Fajnie. Rzeczywiście jeśli rozważysz działanie dwuargumentowe jako podzbiór S x S x S, na pustym S, to taki potworek jest niesprzeczny. (Ale tam wszystkie smoki są żywe.) Tak wyglądała odpowiedź od GPT-5.

Ogólnie, to co sobie tutaj testujemy to poważny problem dydaktyczny. Ustalmy uwagę, Jacek jest słuchaczem wykładu z Algebry liniowej 1. Które zadanie ma szanse rozwiązać Jacek, a nie rozwiąże czat?

[Kamil Zabielski @limakzi]

@nasqret OK. GPT-4o tym kładłem.
Tanio skóry nie sprzedam, próbujemy dalej.

>
> Podaj przykład działania dwuargumentowego na zbiorze skończonym, które jest łączne i nie ma idempotentu.
>

[Kamil Zabielski @limakzi]

@wina_Mazurka @Play_Polska Gdyby nie był Pan człowiekiem znanym, do dziś nikt by Panu sprawy nie rozwiązał.

[Defiant L’s @DefiantLs]

Full footage of the attack on Iryna Zarutska released

Warning: Graphic

[Kamil Zabielski @limakzi]

@PawelDudko Zawsze się chce chlepka, co? 😏

[Kamil Zabielski @limakzi]

@jakub_dymek Szanowny Panie Jakubie, nic nie odbierzemy.
Po prostu - nie damy. 🙅🏻‍♂️

[Kamil Zabielski @limakzi]

@GrzegorzJanko12 1. Faktury kosztowe płacę za swoje - nie za pieniądze podatnika.
2. Faktury kosztowe i zasadność poniesionego kosztu kontroluje Urząd Skarbowy.