Tag: TypeSystems

  • Tematy, o których teraz się mówi No390

    Sony ponownie usuwa kupione filmy z kont użytkowników • Microsoft Comic Chat trafia do świata open source • Decoy Font krój pisma mylący modele AI • Satelita pogodowy GOES-19 przeszedł w tryb Safe Hold • Dlaczego ML i OCaml świetnie nadają się do tworzenia kompilatorów 1998…

  • Tematy, o których teraz się mówi No382

    Jak tworzę obrazy z efektem ditheringu • Język programowania Temper • Jak oduczyć Claudea używania zwrotu load-bearing • Czy zbyt wiele myślenia powierzamy AI? • SP obniża rating Oracle do BBB- zaledwie stopień ponad poziomem spekulacyjnym…

  • Tematy, o których teraz się mówi No380

    Niezwykła magia alfabetu Morsea, który nadal łączy ludzi na całym świecie • Linux 0.11 napisany na nowo w idiomatycznym Rust i uruchamiany w QEMU • Berkshire stawia na gotówkę: 397 mld dolarów ostrożności wobec rozgrzanego rynku • DOM-docx zamiana HTML w natywne, edytowalne dokumenty Word • Odtworzona starożytna rzymska gra planszowa dzięki AI…

  • Tematy, o których teraz się mówi No227

    Penpot otwartoźródłowa alternatywa dla Figmy • Electron vs. Tauri nowa era lekkich aplikacji desktopowych • Lowtype eleganckie typy w Ruby • fail2ban RCE krytyczna luka zdalnego wykonania kodu • Tell HN: Szczęśliwego Dnia Dziękczynienia…