Anthropic i firma Theorem wykorzystali Claude'a do formalnej weryfikacji istniejącego oprogramowania. W kilka tygodni model wygenerował około 180 mln linii dowodów matematycznych i przy okazji znalazł setki błędów, których nie wychwyciły zwykłe testy. Artykuł Claude udowodnił bezpieczeństwo kodu 123...
Korzystanie ze sztucznej inteligencji przy pisaniu kodu nie oznacza, że jest on bardziej bezpieczny Artykuł Bezpieczeństwo kodu generowanego przez AI: Claude Code przoduje w liczbie luk CVE pochodzi z serwisu CRN.
Badacze z Check Point Research odkryli podatności w Claude Code (Anthropic), które pozwalają atakującym na zdalne wykonanie kodu i kradzież kluczy API. Luki wykorzystują różne mechanizmy konfiguracji, w tym Hooks, serwery Model Context Protocol (MCP)...
13 września obchodzimy Dzień Programisty – święto twórców cyfrowego świata. W dobie rosnących zagrożeń, ataków na API, podatności w aplikacjach LLM i wycieków danych, bezpieczeństwo kodu jest ważniejsze niż kiedykolwiek wcześniej. Z tej okazji...
Wiedząc, że na gamescomie będę miał okazję zobaczyć kolejne fragmenty odświeżonego Gothica, nastawiałem się na różne scenariusze. Czy twórcom, nawet tylko za zamkniętymi drzwiami, udało się zaprezentować coś sprawiającego, że na remake będę czekał z...
W Polsce nikt nie bada połączeń różnych typów barier na drogach. Tymczasem te miejsca potrafią być śmiertelnie niebezpieczne. Pokazali to eksperci, którzy na torze testowym w Inowrocławiu rozbili samochód osobowy Bariery otaczają wiele polskich tras....
W świecie, w którym nowe inwestycje architektoniczne często oznaczają wyburzenia, kurz i tony gruzu, projekt Quay Quarter Tower z Sydney udowadnia, że można inaczej. Zamiast burzyć przestarzały biurowiec z lat 70., architekci postanowili tchnąć w nie...
Regularnie już czytamy o smartfonach z bateriami o pojemnościach ponad 10 000 mAh. Tymczasem Samsung dalej uparcie dostarcza flagowce, które potrafią mieć szokująco małe baterie 4300 mAh. Taki moduł spotkamy np. w standardowym Galaxy S26. Jeden z int...
To kolejny atak hakerski, który swoją kreatywnością zaskoczył nawet wieloletnich badaczy złośliwego oprogramowania. Do tej pory zasada była jasna. Wirusy, robaki i konie trojańskie znajdowały się raczej w plikach wykonywalnych (EXE, BAT, etc.) Teraz...