FlashFeed

💻
💻 Technologia

ZkGolf: LLM generuje obwody kryptograficzne weryfikowane formalnie w Lean

Projekt ZkGolf bada wykorzystanie dużych modeli językowych (LLM) do automatycznego pisania obwodów zero-knowledge proof na podstawie formalnych specyfikacji. Zespół zaczął od SHA-256: specyfikację napisano w języku Lean, a model Claude Opus 4.7 wygenerował obwód R1CS w kilka godzin. Podejście pozwala zastąpić żmudną optymalizację ręczną weryfikowalnym procesem opartym na AI, co może przyspieszyć tworzenie produkcyjnych systemów ZKP.

Czy LLM-y powinny zastąpić programistów przy tworzeniu obwodów kryptograficznych?

Hacker News · 3h temu · Źródło ↗

Komentarze

Brak komentarzy

🚗
🚗 Motoryzacja
🚗 Motoryzacja

Russell przed Grand Prix Wielkiej Brytanii: Mercedes ma wyzwanie do pokonania

George Russell z Mercedesa odniósł się do swoich oczekiwań przed Grand Prix Wielkiej Brytanii na Silverstone, przyznając, że zespół stoi przed wyzwaniami w kontekście rozgrzewającej się walki o tytuł mistrzowski. Szczegółów technicznych swoich obaw Russell nie sprecyzował.

Czy Mercedes jest w stanie wygrać Grand Prix Wielkiej Brytanii w tym sezonie?

Formula 1 · 9min temu · Źródło ↗

Komentarze

Brak komentarzy

📈
📈 Biznes
📈 Biznes

Goldman Sachs i Morgan Stanley dołożą do "Kont Trumpa" pracowników

Goldman Sachs i Morgan Stanley dołączyły do rosnącej listy firm oferujących pracownikom dopłaty do tzw. Kont Trumpa (Trump Accounts) — nowego rodzaju kont oszczędnościowych. Programy dopasowania składek pracodawcy stają się coraz popularniejsze wśród dużych korporacji w USA.

Czy firmy powinny oferować dopłaty do Kont Trumpa dla swoich pracowników?

CNBC · 10min temu · Źródło ↗

Komentarze

Brak komentarzy

🪙
Japoński gigant finansowy SBI zamyka kopalnię bitcoina
🪙 Krypto
🪙 Krypto

Japoński gigant finansowy SBI zamyka kopalnię bitcoina

SBI Crypto, spółka zależna japońskiego giganta finansowego SBI Holdings, ogłosiła zamknięcie swojej działalności w zakresie wydobycia bitcoina. Firma jest kolejnym podmiotem, który rezygnuje z kopania kryptowalut. Nie podano szczegółowych przyczyn tej decyzji.

Czy rezygnacja dużych firm z kopania bitcoina to zły sygnał dla rynku krypto?

Decrypt · 11min temu · Źródło ↗

Komentarze

Brak komentarzy

🌍
Cud w Wenezueli: przeżył 8 dni pod gruzami i prosił, by nie mówić żonie
🌍 Świat
🌍 Świat

Cud w Wenezueli: przeżył 8 dni pod gruzami i prosił, by nie mówić żonie

Hernan Alberto Gil Flores, 43-letni ochroniarz z Wenezueli, przeżył osiem dni pod gruzami centrum handlowego, które zawaliło się w wyniku trzęsienia ziemi. Gdy ratownicy go znaleźli, poprosił, by nie informowali żony, że żyje — na wypadek, gdyby mu się nie udało. Mężczyznę wydobyto z piwnicy budynku.

RMF24 · 12min temu · Źródło ↗

Komentarze

Brak komentarzy

⚡

Załóż darmowe konto i dopasuj newsy pod siebie

Feed skrojony pod Twoje zainteresowania — zapisuj artykuły i miej je pod ręką na każdym urządzeniu.

Załóż darmowe konto
🪖
🪖 Militaria
🪖 Militaria

US Navy zakończyła modernizację dwóch niszczycieli Arleigh Burke do wersji Mod. 2.0

Amerykańska marynarka wojenna zakończyła głęboką modernizację dwóch niszczycieli rakietowych typu Arleigh Burke Flight IIA, podnosząc je do standardu Mod. 2.0. Ulepszenia obejmują systemy bojowe i wyposażenie okrętów. To kolejny krok w długoterminowym programie unowocześniania floty US Navy.

Czy USA powinny przyspieszać modernizację swojej floty wojennej?

Konflikty.pl · 13min temu · Źródło ↗

Komentarze

Brak komentarzy

⚽
Trener Wilków Krosno: "Siła wyższa sprawia, że przegrywamy" po porażce ze Stalą Rzeszów
⚽ Sport
⚽ Sport

Trener Wilków Krosno: "Siła wyższa sprawia, że przegrywamy" po porażce ze Stalą Rzeszów

Cellfast Wilki Krosno, aspirujące do finału Metalkas 2. Ekstraligi żużlowej, zajmują ostatnie miejsce w tabeli po porażce ze Stalą Rzeszów. Zawodnik Robert Chmiel po meczu stwierdził: „Nie wierzę w przesądy, ale siła wyższa sprawia, że przegrywamy". Klub przeżywa poważny kryzys sportowy.

Czy Wilki Krosno mają jeszcze szansę uniknąć ostatniego miejsca w lidze?

WP SportoweFakty · 14min temu · Źródło ↗

Komentarze

Brak komentarzy

Trener Chicago Fire uspokaja Annę Lewandowską: "Poczuje się tu jak w domu"
🔥 Na czasie ⚽ Sport

Trener Chicago Fire uspokaja Annę Lewandowską: "Poczuje się tu jak w domu"

Anna Lewandowska po ogłoszeniu transferu Roberta Lewandowskiego do Chicago Fire MLS przyznała w mediach społecznościowych, że boi się przeprowadzki do USA. Trener klubu, w rozmowie opublikowanej przez Kanał Sportowy, zadeklarował, że klub zadba nie tylko o samego piłkarza, ale też o jego rodzinę, by Lewandowska czuła się w Chicago jak w domu. Transfer Lewandowskiego do MLS jest jednym z największych w historii tej ligi.

🔥 28 reakcji
Zobacz artykuł
🎬
Weird Al Yankovic mógłby być idealną twarzą kampanii AI — sam tak uważa
🎬 Rozrywka
🎬 Rozrywka

Weird Al Yankovic mógłby być idealną twarzą kampanii AI — sam tak uważa

Weird Al Yankovic stwierdził, że byłby idealnym i najzabawniejszym "twarzą kampanii" na rzecz sztucznej inteligencji. Artysta znany z muzycznych parodii odniósł się do rosnącej roli AI w przemyśle rozrywkowym, nawiązując do swojego hasła "Dare to Be Stupid".

Czy artyści tacy jak Weird Al powinni wspierać wykorzystanie AI w muzyce?

Gizmodo · 14min temu · Źródło ↗

Komentarze

Brak komentarzy

💻
💻 Technologia
💻 Technologia

Plex wprowadza abonament 5-letni za 250 dol. — tyle samo kosztował kiedyś dożywotni dostęp

Platforma do streamingu mediów Plex wprowadziła nowy abonament 5-Year Plex Pass w cenie 250 dolarów, co daje średnio nieco ponad 4 dolary miesięcznie. Tego samego dnia cena dożywotniego dostępu Lifetime Pass wzrosła z 250 do 750 dolarów. Nowy plan to alternatywa dla tych, którzy nie zdążyli kupić tańszej wersji dożywotniej.

Czy nowy abonament 5-letni Plexa za 250 dol. to dobra alternatywa dla dożywotniego dostępu?

Android Authority · 17min temu · Źródło ↗

Komentarze

Brak komentarzy

🎮
Koei Tecmo pokazuje animację otwarcia gry Attack on Titan 3 — premiera zimą
🎮 Gry
🎮 Gry

Koei Tecmo pokazuje animację otwarcia gry Attack on Titan 3 — premiera zimą

Koei Tecmo ujawniło animację otwierającą grę Attack on Titan 3, przygotowaną przez studio MAPPA. Gra, zapowiedziana podczas Summer Game Fest 2026, ma obejmować całą fabułę mangi i ukaże się zimą tego roku. Twórcy udostępnili też wiele nowych informacji o produkcji.

Czy Attack on Titan 3 może być najlepszą adaptacją tej mangi w historii gier?

Polygon · 19min temu · Źródło ↗

Komentarze

Brak komentarzy

💬

Podoba Ci się FlashFeed?

Jedno tapnięcie — pomóż nam ulepszać FlashFeed.

🏛️
🏛️ Polityka
🏛️ Polityka

Trump bogaci się w drugiej kadencji — według własnych ujawnień finansowych

Nowe ujawnienia finansowe Donalda Trumpa pokazują, że prezydent znacznie wzbogacił się w trakcie drugiej kadencji. Autor tekstu wskazuje, że wzrost majątku Trumpa wiąże się z korupcją wokół sprawowanego urzędu, podczas gdy sytuacja finansowa większości Amerykanów nie poprawia się.

Czy prezydent USA powinien być zobowiązany do zbycia swoich aktywów biznesowych przed objęciem urzędu?

Rolling Stone · 19min temu · Źródło ↗

Komentarze

Brak komentarzy

🇵🇱
Mieszkańcy bloku na Ursynowie dostali nakaz natychmiastowej ewakuacji
🇵🇱 Polska
🇵🇱 Polska

Mieszkańcy bloku na Ursynowie dostali nakaz natychmiastowej ewakuacji

Mieszkańcy jednego z bloków na warszawskim Ursynowie przez wiele miesięcy bezskutecznie prosili o remont, a zarządca zapewniał ich, że budynek jest bezpieczny. Z dnia na dzień otrzymali nakaz natychmiastowego opuszczenia lokali. Sprawę nagłośnił program "Uwaga!" TVN.

Czy zarządcy budynków powinni ponosić odpowiedzialność karną za ukrywanie zagrożeń?

TVN24 · 21min temu · Źródło ↗

Komentarze

Brak komentarzy

💡
WHO ogłasza koniec epidemii hantawirusa po wybuchu na statku MV Hondius
💡 Ciekawostki
💡 Ciekawostki

WHO ogłasza koniec epidemii hantawirusa po wybuchu na statku MV Hondius

Światowa Organizacja Zdrowia ogłosiła zakończenie epidemii hantawirusa, który w kwietniu zaatakował pasażerów i załogę holenderskiego statku wycieczkowego MV Hondius. W sumie odnotowano 13 przypadków zakażenia, trzy osoby zmarły. Ostatni kontakt z osobą zakażoną zakończył kwarantannę, dał wynik ujemny i wrócił do domu – poinformował dyrektor generalny WHO Tedros Adhanom Ghebreyesus.

Czy WHO właściwie zarządziła epidemią hantawirusa na statku?

Live Science · 24min temu · Źródło ↗

Komentarze

Brak komentarzy

🍳
🍳 Kulinaria
🍳 Kulinaria

Jak zrobić idealne mrożone koktajle w stylu plażowego baru

Mrożone koktajle to latem hit każdego baru plażowego – kluczem do sukcesu jest odpowiednia proporcja lodu, alkoholu i soku oraz właściwy blender. Zbyt dużo lodu rozcieńczy smak, za mało sprawi, że drink będzie wodnisty po rozmrożeniu. Limonkowy margarita czy daiquiri truskawkowe najlepiej wychodzą przy użyciu zamrożonych owoców zamiast kostek lodu.

Czy mrożone koktajle z zamrożonymi owocami smakują lepiej niż z lodem?

Bon Appétit · 24min temu · Źródło ↗

Komentarze

Brak komentarzy

✈️
Zrób zdjęcie kuchenki przed wyjazdem, by nie martwić się na urlopie
✈️ Podróże
✈️ Podróże

Zrób zdjęcie kuchenki przed wyjazdem, by nie martwić się na urlopie

Coraz więcej osób fotografuje telefonem kuchenkę, okna i zakręcone kurki tuż przed wyjściem z domu. Jedno zdjęcie eliminuje niepewność podczas urlopu i pozwala uniknąć natrętnych myśli o tym, czy wszystko zostało wyłączone. To prosty nawyk, który pomaga cieszyć się wakacjami bez zbędnego stresu.

Czy fotografowanie kuchenki przed wyjazdem to dobry sposób na zmniejszenie stresu urlopowego?

WP Kobieta · 35min temu · Źródło ↗

Komentarze

Brak komentarzy

🏥
NFZ wyda 9,25 mld zł na lipcowe podwyżki dla personelu medycznego
🏥 Zdrowie
🏥 Zdrowie

NFZ wyda 9,25 mld zł na lipcowe podwyżki dla personelu medycznego

Minister zdrowia Jolanta Sobierańska-Grenda zatwierdziła rekomendację prezesa AOTMiT dotyczącą sfinansowania lipcowych podwyżek dla personelu medycznego. Narodowy Fundusz Zdrowia przeznaczy na ten cel dodatkowe 9,25 mld zł w ciągu najbliższego roku. To kolejny krok w polityce wzrostu wynagrodzeń w ochronie zdrowia.

Czy 9,25 mld zł to wystarczające wsparcie dla podwyżek w ochronie zdrowia?

Bankier.pl · 36min temu · Źródło ↗

Komentarze

1 w dyskusji

🔬
Transmisja misji Artemis II pobiła rekord oglądalności NASA — 149 mln wyświetleń
🔬 Nauka
🔬 Nauka

Transmisja misji Artemis II pobiła rekord oglądalności NASA — 149 mln wyświetleń

Transmisja na żywo misji Artemis II pobiła wszystkie dotychczasowe rekordy oglądalności NASA — zebrano łącznie ponad 149,4 mln wyświetleń na platformach agencji. Szczyt jednoczesnych widzów wyniósł 3,66 mln, wliczając w to 411 tys. widzów na X i innych platformach. Misja obejmowała start, przelot wokół Księżyca i wodowanie kapsuły Orion.

Czy NASA powinna przeznaczać więcej środków na transmisje i komunikację z opinią publiczną?

NASA Breaking News · 37min temu · Źródło ↗

Komentarze

Brak komentarzy

💄
Horoskop dzienny wróżki Diany na piątek
💄 Kobieta
💄 Kobieta

Horoskop dzienny wróżki Diany na piątek

Wróżka Diana przygotowała horoskop dzienny na piątek. Radzi, by w relacjach prywatnych skorzystać z wyjątkowej szansy na pomyślne rozwiązanie spraw i uwierzyć, że szczęście jest w zasięgu. Zaleca odwołanie się do mądrości przodków i podążanie najkrótszą drogą do celu.

Interia Kobieta · 39min temu · Źródło ↗

Komentarze

Brak komentarzy

📚
Nowe oficjalne wydanie "Władcy Pierścieni" ukaże się jeszcze w tym roku
📚 Książki
📚 Książki

Nowe oficjalne wydanie "Władcy Pierścieni" ukaże się jeszcze w tym roku

Fani "Władcy Pierścieni" mają powody do radości: jeszcze w 2026 roku ukaże się nowe oficjalne wydanie serii. Oprócz tego w listopadzie na Prime Video wróci trzeci sezon "Rings of Power", a w kinach pojawi się film "The Hunt for Gollum". Amazon planuje łącznie pięć sezonów swojego serialu, którego pierwsze dwa kosztowały ponad miliard dolarów.

Czy nowe adaptacje "Władcy Pierścieni" są wierne duchowi książek Tolkiena?

Collider · 55min temu · Źródło ↗

Komentarze

Brak komentarzy

🎬
🎬 Rozrywka
🎬 Rozrywka

Ślub Taylor Swift i Travisa Kelce'a: lista gości, NDA i panika wśród celebrytów

Taylor Swift i Travis Kelce mają wziąć ślub w piątek w Madison Square Garden w Nowym Jorku. Na uroczystość zaproszono około 1000 gości, a zaproszeni muszą podpisać umowy o zachowaniu poufności (NDA). Wśród celebrytów w Hollywood, Nowym Jorku i Nashville panuje duże poruszenie z powodu braku szczegółów dotyczących imprezy.

Czy ślub Taylor Swift i Travisa Kelce'a powinien pozostać prywatną imprezą?

Variety · 15min temu · Źródło ↗

Komentarze

Brak komentarzy

🪖
Ukraina prosi 40 państw o pilne dostarczenie pocisków Patriot z ich zapasów
🪖 Militaria
🪖 Militaria

Ukraina prosi 40 państw o pilne dostarczenie pocisków Patriot z ich zapasów

Ukraiński minister obrony Mychajło Fedorow zwrócił się do około 40 państw partnerskich z prośbą o natychmiastowe przekazanie Ukrainie pocisków do systemów obrony powietrznej Patriot. Mają one pochodzić z istniejących zapasów sojuszników, które następnie zostaną uzupełnione w ramach kontraktów na przyszłe dostawy przeznaczone dla Ukrainy.

Czy sojusznicy powinni natychmiast przekazać Ukrainie pociski Patriot ze swoich zapasów?

Bankier.pl · 17min temu · Źródło ↗

Komentarze

Brak komentarzy