Naukowcy z Google DeepMind opublikowali wyniki projektu AlphaProof Nexus systemu agentów AI, które generują formalne dowody matematyczne w języku Lean i automatycznie je weryfikują.
z
Prezydent Piekar Śląskich chwali się, że w urzędzie nie zamontuje fotokabin które pozwolą petentom szybko i tanio zrobić zdjęcie do dokumentów, bo lokalny rynek fotografów straciłby źródło dochodów. I jeszcze jest z tego dumna.
zJeden człowiek wymyślił przyszedł państwowy orlen i k---a skopiował korzystając z przewag jakie ma wynikających z rożnych praw do rozproszonych gruntów w tym własności.
A tak to ja nie znam przykładu by coś prywatnego działało gorzej niż państwowe.
"Zakopiański magistrat nie będzie dokonywał transkrypcji zagranicznych aktów małżeństw osób tej samej płci - poinformował burmistrz Łukasz Filipowicz. Jego zdaniem, mimo nowych przepisów dotyczących wzorów dokumentów stanu cywilnego, polska konstytucja nie pozwala na uznanie takich związków."
z
Dogmat o braku dwóch milionów mieszkań w Polsce właśnie upada. Zamiast nieskończonego popytu na horyzoncie widać gigantyczną falę pustostanów wywołaną wymieraniem powojennego wyżu demograficznego. Kurczący się deficyt lokalowy wywróci rynkowe zasady, kończąc erę mieszkań jako lokaty kapitału.
z
Niemiecki sąd przyznał rację konsumentom w głośnej sprawie dotyczącej zmniejszenia tabliczki czekolady. Producent czekolady Milka amerykański koncern Mondelēz International został oskarżony o wprowadzanie klientów w błąd poprzez zmniejszenie wagi popularnej tabliczki Alpenmilch z 100 do 90 gramów
zjeżeli ludzie przestaną to wytykać, to na pewno nigdy nic się w tej kwestii nie poprawi
Rynek pracy starzeje się szybciej, niż wielu pracodawców chce to dostrzec. Choć osoby 50+ już dziś stanowią nawet jedną trzecią aktywnych zawodowo Polaków, wielu z nich mimo doświadczenia i kompetencji zderza się z milczeniem po wysłaniu CV.
zMoi podwykonawcy mieli na stanie zarowno gosci +50 jak i mlodszych w okolicach 20-25 lat.
Mazowieccy funkcjonariusze Krajowej Administracji Skarbowej w akcji. Podczas działań służb udało się wykryć przekręt, który mógł kosztować Skarb Państwa aż 17 mln zł. Chodziło o sieć firm, które rozliczały fikcyjne faktury. Ich wartość sięgnęła aż 91 mln zł
z
W skrócie: Pacjentce wycięli jelito i będzie musiała przypinać worek do stomi całe życie. Lekarz przepisał 24 worki miesiąc a jakiś gryzipiórek uciął refundację do 10 i zasugerował "mycie worków" Federalne zalecenie to 60 na miesiąc a ten przypadek nie jest odosobniony to raczej schemat działania.
z
Wyjątkowe odkrycie podczas prac przy lotnisku Cuxhaven w Nordholz na terenie Niemiec, natrafiono na działo pancerne StuG III G a w ziemi mają znajdować się cztery kolejne maszyny i samolot!
zNa stronie można sprawdzić, które miasta leżą na tym samym równoleżniku oraz odpowiednim równoleżniku po przeciwnej stronie hemisfery.
z
Emerytów mundurowych jest już w Polsce niemal tyle samo, ile wynosi liczebność polskiej armii. Wielu funkcjonariuszy kończy pracę grubo przed "50", a ich świadczenia są czasami wyższe niż pensja.
z
Korporacyjne pomysły na wykańczanie drobnych handlarzy.
z
Parlament Europejski uchylił we wtorek immunitet europosłom: Danielowi Obajtkowi, Patrykowi Jakiemu, Grzegorzowi Braunowi i Tomaszowi Buczkowi.
z
Został oskarżony o napady na kilkadziesiąt osób, pięć z jego ofiar zmarło. Już raz wyszedł z więzienia w 2008, ale po kolejnym ataku trafił znów za kratki. Teraz nikogo nie zaatakuje, prawda?
z
To scenariusz, który wkrótce może ziścić się także w wielu europejskich państwach. W Uzbekistanie postawiono na obrót bezgotówkowy. Regulacja, która weszła w życie z początkiem kwietnia 2026 roku na razie stwarza więcej problemów niż korzyści dla obywateli. Chodzi nie tylko o stratę czasu w kolejkac
zPrzeszli na handel bezgotówkowy więc brakło gotówki? xD
Czy chodzi raczej o to, że zaczęto płacić pracownikom przelewami zamiast w gotówce i na to część osób nie była przygotowana?
Najpopularniejsza według mojej ankiety na mirko dystrybucja Ubuntu 26.04 LTS 'Resolute Raccoon' jest dostępna do pobrania. Kernel 7.0, GNOME 50, Wayland, nowy monitor zasobów i inne.
z
Maszyny zaczynają zastępować ludzi, ale nie odprowadzają składek. Musimy to zmienić mówi Arkadiusz Sikora.
zSkończy się tak, że nieopodatkowane roboty w Azji będą produkowały wszystko ;)
Urząd Ochrony Konkurencji i Konsumentów przyjrzał się praktykom stosowanym przez polski oddział Live Nation. Prezes nałożył na firmę karę finansową w wysokości ponad 15 milionów złotych.
z
Słynny Dom Chłopaków w Broniszewicach - miejsce, które od 75 lat jest prawdziwym DOMEM dla chłopców i dorosłych mężczyzn z najcięższymi niepełnosprawnościami od przyszłego roku nie będzie mógł przyjmować nowych dzieci.
z
@FLAC: bo przewiduje. Tylko że w przypadku dowodzenia twierdzeń takie przewidywanie jest dużo prostsze, bo masz formalną metodę weryfikacji, czy przewidziany token pasuje, czy nie. Paradoksalnie, AI powinno być obecnie zaprzęgane właśnie do takich zadań –