Notatki on CounterProofhttps://counterproof.io/pl/notes/Recent content in Notatki on CounterProofHugopl-PLWed, 16 Sep 2026 00:00:00 +0000TypeSafe Jev, oceniany przez konsensus: gdy świadek przestaje pisaćhttps://counterproof.io/pl/notes/typesafe-jev-benchmark-etykiety-konsensu/Wed, 16 Sep 2026 00:00:00 +0000https://counterproof.io/pl/notes/typesafe-jev-benchmark-etykiety-konsensu/Jev od TypeSafe AI to model nowego rodzaju: nigdy nie pisze tekstu, zwraca wyłącznie typowane decyzje z prawdopodobieństwami. Jego benchmark ocenia go wobec średniej z dwóch innych modeli AI. Otworzyliśmy przypadki, które TypeSafe publikuje, i policzyliśmy. W 8 z 19 przypadków, w których obaj oceniający odpowiedzieli, oceniający różnili się między sobą. Każdy z czterech przypadków, które TypeSafe publikuje pod etykietą „wszystkie trzy chybiają odniesienia”, to przypadek, w którym samo odniesienie było sporne. Notatka pisana prostym językiem o tym, co to znaczy dla sposobu, w jaki oceniamy AI.Zarządzanie podatnościami pod rządami Cyber Resilience Act: gdzie sytuuje się przegląd adwersaryjnyhttps://counterproof.io/pl/zarzadzanie-podatnosciami/Wed, 16 Sep 2026 00:00:00 +0000https://counterproof.io/pl/zarzadzanie-podatnosciami/Znajdowanie staniało; reszta cyklu życia nie. Przejście etap po etapie (identyfikacja, rozstrzyganie, decyzja, naprawa, zgłoszenie, przechowywanie) wraz z tym, czego unijny Cyber Resilience Act wymaga na każdym z nich, oraz miejsce, w którym sytuuje się niezależny przegląd adwersaryjny: w etapach po pierwszym.Adwersaryjny przegląd kodu: czego ten termin nie obejmujehttps://counterproof.io/pl/adwersaryjny-przeglad-kodu/Mon, 14 Sep 2026 00:00:00 +0000https://counterproof.io/pl/adwersaryjny-przeglad-kodu/Wyrażenie obejmuje dziś cztery praktyki, od krytycznego promptu po dom ludzi myślących jak napastnik. Każda daje ramę napastnika; żadna nie daje sama z siebie podpisanej dokumentacji od recenzentów niezależnych od autora waszego kodu, stopniowanej według dowodu osiągniętego przez każde ustalenie. Co dostarczamy, czego drugi model nie wytworzy i co mówimy wam przed zakupem.Szybkość mija. Złożoność zostaje.https://counterproof.io/pl/notes/szybkosc-mija-zlozonosc-zostaje/Tue, 25 Aug 2026 00:00:00 +0000https://counterproof.io/pl/notes/szybkosc-mija-zlozonosc-zostaje/Trzy niezależne badania, trzy różne metody — celowane badanie podatności, kontrolowane porównanie człowiek–model i rok obserwacji prawdziwych repozytoriów — zbiegają się w tym samym ustaleniu: kod generowany przez AI niesie mierzalny koszt jakościowy, który przeżywa zysk produktywności, z którym przyszedł.Ustalenie to nie wyrokhttps://counterproof.io/pl/notes/ustalenie-to-nie-wyrok/Tue, 25 Aug 2026 00:00:00 +0000https://counterproof.io/pl/notes/ustalenie-to-nie-wyrok/AI potrafi dziś wygenerować tysiące ustaleń o podatnościach w jedno popołudnie. Ustalenie jest świadkiem, nie wyrokiem — a jedyne pole, którego nikt nie może sprawdzić, to właśnie to, które wszyscy zawyżają. Oto jak czytać powódź, nie tonąc w niej.Maszyny czytają kodhttps://counterproof.io/pl/notes/maszyny-czytaja-kod/Fri, 14 Aug 2026 00:00:00 +0000https://counterproof.io/pl/notes/maszyny-czytaja-kod/AI zawaliła koszt znajdowania podatności. W open source’owym ekosystemie Bitcoina ta kolizja nadeszła w tym miesiącu — a Bruksela nastawiła zegar na to, co będzie dalej.Normy mogą się przesunąć. Termin zgłoszeń — nie.https://counterproof.io/pl/notes/normy-moga-sie-przesunac-termin-zgloszen-nie/Fri, 14 Aug 2026 00:00:00 +0000https://counterproof.io/pl/notes/normy-moga-sie-przesunac-termin-zgloszen-nie/Projekt zmiany przesunąłby normy CRA dotyczące postępowania z podatnościami. Artykuł 14 się nie rusza — co zostawia producentów z obowiązkiem dokumentowania powinności, której miara wciąż jest w trakcie pisania.