Autor: Geo

Proiect de cercetare al UAIC, finanțat în cadrul programului Amazon Research Awards. Proiectul de cercetare „An Interactive Proof Mode for Dafny”, coordonat de conf. univ. dr. Ștefan CIOBÂCĂ, de la Facultatea de Informatică a Universității „Alexandru Ioan Cuza” din Iași (UAIC), a obținut finanțare din partea companiei Amazon, prin programul Amazon Research Awards. În cadrul proiectului, echipa de lucru va extinde limbajul de programare Dafny, care facilitează dezvoltarea de programe verificate formal, adică programe care au o demonstrație de corectitudine verificată de calculator. De asemenea, va fi dezvoltat un nou mod de lucru experimental pentru Dafny, pentru crearea de demonstrații de…

Tragedie la Iași: Andrei și-a văzut fratele de 13 ani murind înecat, strigându-i să se salveze. O dramă se consumă de o zi și o noapte pe râul Bahlui din Iași, unde doi frați au fost luați de curenți. Apele crescute semnificativ, în urma ploilor recente, l-au înghițit pe băiatul de 13 ani, care este încă de negăsit. Fratele său mai mic, în vârstă de 12 ani, a fost salvat în ultimul moment. Familia trăiește un coșmar, mai ales că tânărul dispărut urma să-și serbeze ziua de naștere, împlinind 14 ani. „Şi a zis: Mamă, m-a prins de mână şi…

Operațiune amplă a DIICOT Bacău: Rețea de trafic de persoane, destructurată. O grupare de criminalitate organizată, specializată în trafic de persoane și minori, a fost ținta a 21 de percheziții efectuate de procurorii DIICOT Bacău în Bacău și Neamț. Acțiunea a avut loc simultan cu descinderi în Elveția, la Zurich. Liderul grupării, un suspect de 45 de ani, este acuzat că ar fi fondat o „școală” de infracțiuni, unde îi învăța pe complici cum să exploateze victimele prin aservire completă. Dosarul include și acuzații de proxenetism, lipsire de libertate și spălare de bani. Timp de șapte ani, o rețea de…

Posibile modificări fiscale de la 1 Iulie: Creșteri de TVA și taxe. Se apropie termenul limită pentru decizii fiscale dure. Luna viitoare ar putea marca intrarea în vigoare a unor măsuri de austeritate menite să oprească creșterea deficitului bugetar. Președintele Nicușor Dan a discutat cu partidele propuneri concrete: TVA de 22%, taxe sporite pe drepturile de autor, accize mai mari la benzină și motorină, dar și reduceri masive din bugetele instituțiilor statului. Negocierile sunt intense, iar impactul asupra populației și mediului de afaceri va fi semnificativ. 500.000 de români sunt direct vizaţi de taxarea suplimentară a contractelor de drepturi de…

Incident periculos în Iași: Țeavă de gaz tăiată cu flexul, risc major de explozie. Pompierii ieșeni de la Detașamentul 2 au fost solicitați să intervină de urgență pe șoseaua Iași–Voinești, numărul 9, în urma unei situații cu potențial exploziv, pentru a asigura măsurile de prevenire și protecție. Pericolul a apărut după ce o țeavă de gaz a fost secționată din greșeală cu un flex, în timpul unor lucrări. O autospecială ASAS, cu cinci pompieri, a intervenit rapid pentru a asigura zona. Pompierii au securizat zona imediat și au implementat măsuri stricte anti-incendiu, supraveghind scurgerile și înlăturând riscurile de aprindere. Citiți…

Dacă ai încercat vreodată jocul de Keno, probabil că ți-ai pus întrebarea: Există vreo strategie câștigătoare? Este un joc care se bazează în mare parte pe noroc, dar asta nu înseamnă că nu poți să îți crești șansele prin înțelegerea câtorva aspecte fundamentale. În acest articol, vom explora probabilitățile și șansele de câștig la Keno, vom demonta câteva mituri care circulă în jurul acestui joc și îți voi oferi câteva sfaturi utile pentru a juca responsabil. La final, vei avea o înțelegere mai clară despre cum funcționează jocul și cum poți să te bucuri de el fără să îți pui…

Transportul public spre Bârnova se extinde: Două trasee noi, de săptămâna viitoare. Începând de luni, 9 iunie 2025, transportul public din Iași se extinde cu două noi trasee: Traseul 201: Podu Roș – Bârnova – Todirel. Acesta va avea curse suplimentare (ranforsări) zilnic, de luni până duminică, inclusiv în zilele de sărbători legale. Traseul 204: Pietrăria – Vișan. Aceste modificări vor îmbunătăți semnificativ conectivitatea cu zona Bârnova. Citiți și VIDEO. Lucrări de întreținere a infrastructurii în zona Copou Ca o linie internă, traseul 204 va folosi microbuze pentru a facilita conexiuni rapide între sate și oraș, prin intermediul traseelor 201…

VIDEO. Lucrări de întreținere a infrastructurii în zona Copou. Pentru siguranța și confortul călătorilor, Compania de Transport Public intervine dimineața executând lucrări de întreținere a infrastructurii din apropierea liniilor de tramvai. „Frezăm zonele cu asfalt deteriorat, eliminăm fisurile și pregătim o formă geometrică regulată pentru turnarea noului asfalt. Aceste intervenții sunt necesare pentru a preveni apariția diferențelor de nivel dintre linie și carosabil, situație frecvent întâlnită din cauza contracției și dilatării infrastructurii realizate în anul 1996, care suportă zilnic trafic intens. În funcție de necesitățile punctuale, lucrările complexe se realizează noaptea, iar reparațiile rapide, inclusiv astuparea gropilor apărute lângă linie,…

ISU continuă căutările pentru fratele copilului salvat din râul Bahlui. Starea copilului salvat din Bahlui este în prezent stabilă, însă operațiunile de căutare pentru celălalt minor vor fi reluate marți dimineață. Băiețelul salvat din Bahlui de unchiul său a fost supus unor investigații amănunțite la Spitalul „Sf. Maria” din Iași. Medicii spun că starea lui e afectată, dar este monitorizat intensiv la ATI. “Copilul in vârstă de 12 ani este cu o stare generală influențată, conștient. Pacientul a fost evaluat biologic și imagistic in UPU iar în urma evaluării s-a decelat un edem cerebral post hipoxic și o bronhopneumonie de…

Percheziții ample în România: Peste 200 de descinderi în dosare de delapidare, contrabandă și furt. Luni, polițiștii și procurorii efectuează 202 percheziții domiciliare. Aceste acțiuni vizează tragerea la răspundere a celor implicați în infracțiuni și protejarea comunității de activități ilegale. „În cadrul operațiunii JUPITER, sub coordonarea Parchetului de pe lângă Înalta Curte de Casație și Justiție și Inspectoratului General al Poliției Române, se desfășoară mai multe acțiuni, la nivel național, pentru combaterea infracțiunilor economico-financiare, la regimul armelor, în domeniul transporturilor și a faptelor de natură judiciară”, informează un comunicat al Poliției Române. În dosarele penale se fac cercetări pentru delapidare, abuz…