gik|iewicz

szukaj
Programowanie 26.04.2026

Statecharts: hierarchiczne maszyny stanów, które uporządkują kod

Statecharts, czyli hierarchiczne maszyny stanów, to formalizm opracowany przez Davida Harela w 1987 roku. Klasyczne automaty skończone mają fundamentalny problem – eksplozja stanów. Każdy nowy przełącznik podwaja liczbę węzłów. W rezultacie prosty interfejs z 10 przyciskami generuje ponad tysiąc kombinacji. Harel zaproponował rozwiązanie: stany zagnieżdżone. Zamiast płaskiej listy węzłów, statecharts wprowadzają hierarchię, grupowanie, równoległość i […]

Komputery 26.04.2026

Linux 7.0 z pełnym wsparciem Apple Silicon – co nowego?

Linux 7.0 trafił do użytkowników 12 kwietnia 2026 roku, przynosąc zmiany, które bezpośrednio wpływają na wsparcie sprzętu Apple Silicon w projekcie Asahi Linux. Zespół Asahi pracuje nad pełnym wsparciem Maców z procesorami M1, M2 i nowszymi – kernel 7.0 to kolejny krok w tym kierunku. Sprawdziłem to sam, analizując changelog. TL;DR: Linux 7.0, wydany 12 […]

Security 26.04.2026

GnuPG 2.5 wprowadza kryptografię post-kwantową – czas na migrację

Dyrektywa NIST z sierpnia 2024 roku brzmi: „migruj natychmiast”. To najjaśniejszy oficjalny sygnał, że kryptografia post-kwantowa staje się bieżącym problemem operacyjnym, a nie tylko tematem badawczym na przyszłość. Wersja 2.5 pakietu GnuPG przenosi algorytmy odporne na komputery kwantowe do swojej głównej gałęzi rozwojowej. TL;DR: GnuPG 2.5 wprowadza wsparcie dla kryptografii post-kwantowej do głównej gałęzi. Dyrektywa […]

AI 26.04.2026

Amator z ChatGPT rozwiazał problem Erdősa. Jak AI zmienia matematykę

Prawdziwy amator matematyki użył ChatGPT do rozwiązania problemu, nad którym profesjonaliści pracowali przez dekady. Ten przypadek pokazuje, jak modele językowe zmieniają dostęp do zaawansowanych badań naukowych. TL;DR: Użytkownik bez formalnego wykształcenia matematycznego wykorzystał ChatGPT do znalezienia rozwiązania wariacji problemu Erdősa. Model pomógł w sformułowaniu dowodu, wygenerowaniu kroków logicznych oraz weryfikacji obliczeń. Sprawa ta ilustruje, jak […]

Programowanie 26.04.2026

Ożywienie martwych projektów: 5 narzędzi AI do kodowania

GitHub raportuje ponad 100 milionów programistów na swojej platformie. Z tego grona tysiące deweloperów ma na dyskach porzucone repozytoria – projekty, które kiedyś wydawały się obiecujące, a dziś leżą odłogiem. AI coding assistants zmieniają tę sytuację, pozwalając na powrót do kodu, który dawno temu przestał być zrozumiały nawet dla jego autorów. TL;DR: Narzędzia takie jak […]

AI 26.04.2026

Filtr prywatności OpenAI: 5 faktów o narzędziu PII

OpenAI udostępniło Privacy Filter – model open-source do maskowania danych osobowych. Narzędzie działa lokalnie na urządzeniu, zanim tekst trafi do jakiegokolwiek chmurowego API. Zostało wydane 22 kwietnia 2026 na licencji Apache 2.0. TL;DR: OpenAI Privacy Filter to model sanitizacji danych działający on-device, wykrywający i maskujący dane osobowe (PII) przed wysłaniem tekstu do API lub modeli […]

AI 26.04.2026

Lambda Calculus Benchmark: 5 modeli AI i test logicznego myślenia

32 modele sztucznej inteligencji, 8 dostawców, jeden ranking. LMArena ELO, MMLU, HumanEval, MATH, GPQA – tyle wskaźników wystarczy, by wyłonić lidera. Gemini 2.5 Pro z wynikiem 1370 ELO prowadzi w zestawieniu Lambda Finance, ale czy to oznacza dominację we wszystkich kategoriach? TL;DR: Gemini 2.5 Pro osiągnął 1370 punktów ELO na leaderboardze LMArena, prowadząc w rankingach […]

AI 25.04.2026

Google inwestuje 40 mld dolarów w Anthropic — co to zmienia?

Alphabet zainwestuje do 40 miliardów dolarów w Anthropic — twórcę modelu Claude. To największa pojedyncza inwestycja w historii sztucznej inteligencji, która może całkowicie przebudować układ sił na rynku AI. TL;DR: Google planuje zainwestować 10 mld USD w Anthropic PBC z opcją dodatkowych 30 mld USD, co daje łączną kwotę do 40 mld USD. Transakcja wycenia […]

AI 25.04.2026

Gemini 2.5 Pro: 5 faktów o nowym modelu Google

Google Gemini 2.5 Pro to model z 1-milionowym oknem kontekstowym i wbudowanym mechanizmem „thinking”. Zadebiutował jako preview, oferując natywny multimodalny reasoning — model rozumuje nad tekstem, obrazami i kodem w jednym przebiegu. To odpowiedź Google na rosnące wymagania deweloperów. TL;DR: Gemini 2.5 Pro to flagowy model Google z oknem kontekstowym do 1 miliona tokenów, natywnym […]

AI 24.04.2026

GPT-5.5 od OpenAI: 5 kroków ku super aplikacji AI

OpenAI wypuściło GPT-5.5, model określany jako „nowa klasa inteligencji” i pierwszy od GPT-4.5 w pełni retrainowany model bazowy. Aktualizacja pojawia się zaledwie kilka tygodni po GPT-5.4. Tempo jest oszałamiające. TL;DR: OpenAI udostępniło GPT-5.5, pierwszy w pełni retrainowany model bazowy od GPT-4.5, z lepszą wydajnością agenticzną, mniejszą halucynacją i rozszerzonymi możliwościami programistycznymi. Model celuje w klientów […]

Security 24.04.2026

Bitwarden CLI zhakowany: 250 tysięcy pobrań złośliwego pakietu

Jak działał atak na Bitwarden CLI? Złośliwy pakiet @bitwarden/cli w wersji 2026.4.0 został opublikowany w rejestrze npm jako część kampanii łańcucha dostaw powiązanej z atakiem na Checkmarx KICS z 22 kwietnia. Zgodnie z analizą OX Security, pakiet z 250 tysiącami miesięcznych pobrań zawierał samorozprzestrzeniający się robak nazwany Shai-Hulud, który cicho wykradał poświadczenia do publicznych repozytoriów […]