home.social

#informatyka — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #informatyka, aggregated by home.social.

  1. Jak pokonać króla po 66 latach? Matematyczny przewrót w teorii najkrótszej ścieżki

    Za każdym razem, gdy uruchamiasz Google Maps, by znaleźć trasę do nowej kawiarni, Twój telefon wykonuje matematyczny taniec, którego kroki opracowano w 1959 roku.

    Przez ponad sześć dekad algorytm Dijkstry był niekwestionowanym władcą dróg, światłowodów i rezerwacji lotniczych. Aż do teraz, kiedy grupa naukowców z Chin udowodniła, że przez wiele lat wszyscy zadawaliśmy złe pytanie.

    Certyfikat nietykalności

    Algorytm Dijkstry to fundament informatyki. Jest tak dobry, że jeszcze w 2024 roku Robert Tarjan (legenda teorii grafów, laureat Nagrody Turinga w 1986 roku) wraz ze współpracownikami zdobył prestiżową nagrodę na konferencji FOCS za udowodnienie, że Dijkstra jest optymalny. Oznaczało to, że matematycznie nie da się znaleźć najkrótszej ścieżki szybciej. Wydawało się, że temat jest zamknięty.

    Jednak zaledwie osiem miesięcy później zespół z Uniwersytetu Tsinghua pod kierownictwem Rana Duana opublikował artykuł, który zburzył ten mur. To praca z 2025 roku, ale uznaliśmy, że temat ciekawy, w sam raz na weekend.

    Pułapka definicji: co właściwie liczymy?

    Jak to możliwe, że ktoś pobił algorytm uznany za „najlepszy z możliwych”? Okazało się, że Tarjan i cała reszta świata wpadli w pułapkę definicji.

    Dowód na optymalność Dijkstry zakładał, że algorytm musi nie tylko podać odległość, ale też wyprowadzić wszystkie punkty na trasie posortowane według dystansu. Grupa z Tsinghua zauważyła coś, co w akademickich kuluarach przyjmowano już od 1984 roku: znalezienie najkrótszej ścieżki wcale nie wymaga sortowania wszystkiego po drodze. Problem brzmi „znajdź odległość”, a nie „posortuj miasto”.

    Nowa granica prędkości

    Chiński zespół połączył stare metody (algorytm Bellmana-Forda) z nowatorskim trikiem „rekurencyjnego częściowego porządkowania”. Zamiast sprawdzać każdą uliczkę po kolei, zaczęli grupować węzły i badać tylko ich „reprezentantów”. Wynik to nowa złożoność obliczeniowa. To pierwszy taki wyłom w „suficie” wydajności wyznaczania trasy od dekad.

    Warto jednak postawić tu ważną gwiazdkę: to odkrycie to przede wszystkim trzęsienie ziemi w teorii algorytmów. W świecie rzeczywistym – tym, w którym działają serwery Google czy systemy routingowe (bo nie tylko o nawigację tu chodzi, także wyznaczanie tras pakietów danych i wiele więcej) – od dawna rzadko używa się „czystego” Dijkstry. Inżynierowie stosują tam heurystyki (jak A*; jeden z najpopularniejszych algorytmów heurystycznych wyszukiwania ścieżki w grafie, stosowany powszechnie w nawigacji GPS, ale też np. w sztucznej inteligencji w grach wideo), hierarchie grafów i zaawansowany precomputing, które w praktycznych zastosowaniach i tak wykraczają poza ramy tego odkrycia. Chiński zespół udowodnił jednak coś ważniejszego: matematyczny mur, który uważaliśmy za nieprzekraczalny, właśnie runął.

    Lekcja dla nas wszystkich

    Ta historia to coś więcej niż ciekawostka dla programistów. To mocna lekcja o tym, jak ramy, w których osadzamy problem, stają się naszymi ograniczeniami. Dijkstra był najlepszy w rozwiązywaniu zadania „najkrótsza ścieżka z posortowanym wynikiem”. Świat potrzebował po prostu „najkrótszej ścieżki”.

    Traktowaliśmy te dwa problemy jako jedność przez dekady tylko dlatego, że nikt nie zapytał: „czy to sortowanie jest nam w ogóle potrzebne?”. Najbardziej ugruntowany algorytm świata został pokonany nie przez potężniejszy procesor, ale przez kogoś, kto zakwestionował samą definicję limitu.

    Największa mapa Wszechświata gotowa. Właśnie zaczyna się trzęsienie ziemi w świecie fizyki

    #algorytmy #Dijkstra #googleMaps #iMagazineTech #informatyka #Nauka #nawigacja #teoriaGrafów #TsinghuaUniversity
  2. Oferujemy:
    - elastyczny grafik – bez problemu połączysz naukę z pracą u nas
    - realne zadania – rozwiązujesz biznesowe potrzeby klientów
    - świetna atmosfera – komfortowe warunki pracy, wspierający zespół (mamy doborowe towarzystwo, co widać na zdjęciach)
    - perspektywy – dla najlepszych przewidujemy możliwość stałej współpracy

    Aplikować można przez mail [email protected]. Więcej: wildasoftware.pl.

    Zapraszamy!

    (3/3)

    #PraktykiIT #Poznań #PolitechnikaPoznańska #Informatyka #KarieraIT

  3. Oferujemy:
    - elastyczny grafik – bez problemu połączysz naukę z pracą u nas
    - realne zadania – rozwiązujesz biznesowe potrzeby klientów
    - świetna atmosfera – komfortowe warunki pracy, wspierający zespół (mamy doborowe towarzystwo, co widać na zdjęciach)
    - perspektywy – dla najlepszych przewidujemy możliwość stałej współpracy

    Aplikować można przez mail [email protected]. Więcej: wildasoftware.pl.

    Zapraszamy!

    (3/3)

    #PraktykiIT #Poznań #PolitechnikaPoznańska #Informatyka #KarieraIT

  4. Oferujemy:
    - elastyczny grafik – bez problemu połączysz naukę z pracą u nas
    - realne zadania – rozwiązujesz biznesowe potrzeby klientów
    - świetna atmosfera – komfortowe warunki pracy, wspierający zespół (mamy doborowe towarzystwo, co widać na zdjęciach)
    - perspektywy – dla najlepszych przewidujemy możliwość stałej współpracy

    Aplikować można przez mail [email protected]. Więcej: wildasoftware.pl.

    Zapraszamy!

    (3/3)

    #PraktykiIT #Poznań #PolitechnikaPoznańska #Informatyka #KarieraIT

  5. Oferujemy:
    - elastyczny grafik – bez problemu połączysz naukę z pracą u nas
    - realne zadania – rozwiązujesz biznesowe potrzeby klientów
    - świetna atmosfera – komfortowe warunki pracy, wspierający zespół (mamy doborowe towarzystwo, co widać na zdjęciach)
    - perspektywy – dla najlepszych przewidujemy możliwość stałej współpracy

    Aplikować można przez mail [email protected]. Więcej: wildasoftware.pl.

    Zapraszamy!

    (3/3)

    #PraktykiIT #Poznań #PolitechnikaPoznańska #Informatyka #KarieraIT

  6. Będziesz też wykorzystywał nasz autorski projekcie #Feedybacky, odkrywając, dlaczego jest lepszy od Jiry, a nawet jeśli nie jest, to i tak jest.

    Poznasz know-how, tworzenie systemów IT od kuchni i będziesz miał(a) szansę współtworzyć kod ramię w ramię z doświadczonymi programistami, którzy mogą udzielić cennych rad.

    (2/3)

    #programowanie #PraktykiIT #Poznań #PolitechnikaPoznańska #Informatyka #KarieraIT

  7. Będziesz też wykorzystywał nasz autorski projekcie #Feedybacky, odkrywając, dlaczego jest lepszy od Jiry, a nawet jeśli nie jest, to i tak jest.

    Poznasz know-how, tworzenie systemów IT od kuchni i będziesz miał(a) szansę współtworzyć kod ramię w ramię z doświadczonymi programistami, którzy mogą udzielić cennych rad.

    (2/3)

    #programowanie #PraktykiIT #Poznań #PolitechnikaPoznańska #Informatyka #KarieraIT

  8. Będziesz też wykorzystywał nasz autorski projekcie #Feedybacky, odkrywając, dlaczego jest lepszy od Jiry, a nawet jeśli nie jest, to i tak jest.

    Poznasz know-how, tworzenie systemów IT od kuchni i będziesz miał(a) szansę współtworzyć kod ramię w ramię z doświadczonymi programistami, którzy mogą udzielić cennych rad.

    (2/3)

    #programowanie #PraktykiIT #Poznań #PolitechnikaPoznańska #Informatyka #KarieraIT

  9. Będziesz też wykorzystywał nasz autorski projekcie #Feedybacky, odkrywając, dlaczego jest lepszy od Jiry, a nawet jeśli nie jest, to i tak jest.

    Poznasz know-how, tworzenie systemów IT od kuchni i będziesz miał(a) szansę współtworzyć kod ramię w ramię z doświadczonymi programistami, którzy mogą udzielić cennych rad.

    (2/3)

    #programowanie #PraktykiIT #Poznań #PolitechnikaPoznańska #Informatyka #KarieraIT

  10. Nieśmiało chcemy ogłosić, że ponieważ na uczelniach zaczyna się okres praktyk studenckich, to serdecznie zapraszamy do miejsca, gdzie można poczynić pierwszy krok w swojej karierze IT. Czyli do nas, do Wilda Software.

    Tworząc aplikacje webowe oraz hybrydowe popracujesz w:

    - backendzie: #PHP (#Laravel oraz Yii 2.0)
    - frontendzie: #Angular (i JavaScript)
    - bazach danych: #MySQL, #PostgreSQL

    (1/3)

    #programowanie #PraktykiIT #Poznań #PolitechnikaPoznańska #Informatyka #KarieraIT

  11. Nieśmiało chcemy ogłosić, że ponieważ na uczelniach zaczyna się okres praktyk studenckich, to serdecznie zapraszamy do miejsca, gdzie można poczynić pierwszy krok w swojej karierze IT. Czyli do nas, do Wilda Software.

    Tworząc aplikacje webowe oraz hybrydowe popracujesz w:

    - backendzie: #PHP (#Laravel oraz Yii 2.0)
    - frontendzie: #Angular (i JavaScript)
    - bazach danych: #MySQL, #PostgreSQL

    (1/X)

    #programowanie #PraktykiIT #Poznań #PolitechnikaPoznańska #Informatyka #KarieraIT

  12. Nieśmiało chcemy ogłosić, że ponieważ na uczelniach zaczyna się okres praktyk studenckich, to serdecznie zapraszamy do miejsca, gdzie można poczynić pierwszy krok w swojej karierze IT. Czyli do nas, do Wilda Software.

    Tworząc aplikacje webowe oraz hybrydowe popracujesz w:

    - backendzie: #PHP (#Laravel oraz Yii 2.0)
    - frontendzie: #Angular (i JavaScript)
    - bazach danych: #MySQL, #PostgreSQL

    (1/3)

    #programowanie #PraktykiIT #Poznań #PolitechnikaPoznańska #Informatyka #KarieraIT

  13. Nieśmiało chcemy ogłosić, że ponieważ na uczelniach zaczyna się okres praktyk studenckich, to serdecznie zapraszamy do miejsca, gdzie można poczynić pierwszy krok w swojej karierze IT. Czyli do nas, do Wilda Software.

    Tworząc aplikacje webowe oraz hybrydowe popracujesz w:

    - backendzie: #PHP (#Laravel oraz Yii 2.0)
    - frontendzie: #Angular (i JavaScript)
    - bazach danych: #MySQL, #PostgreSQL

    (1/3)

    #programowanie #PraktykiIT #Poznań #PolitechnikaPoznańska #Informatyka #KarieraIT

  14. Nieśmiało chcemy ogłosić, że ponieważ na uczelniach zaczyna się okres praktyk studenckich, to serdecznie zapraszamy do miejsca, gdzie można poczynić pierwszy krok w swojej karierze IT. Czyli do nas, do Wilda Software.

    Tworząc aplikacje webowe oraz hybrydowe popracujesz w:

    - backendzie: #PHP (#Laravel oraz Yii 2.0)
    - frontendzie: #Angular (i JavaScript)
    - bazach danych: #MySQL, #PostgreSQL

    (1/3)

    #programowanie #PraktykiIT #Poznań #PolitechnikaPoznańska #Informatyka #KarieraIT

  15. Znalezienie dobrych list blokad dla serwerów DNS bywa problematyczne - często są nieaktualne albo pełne fałszywych trafień.

    Dlatego powstał generator list blokad, który umożliwia łatwe dopasowanie listy do własnych potrzeb. Listy są regularnie aktualizowane, a projekt jest w pełni open source.

    Generator: sefinek.net/blocklist-generator

    Strona: blocklist.sefinek.net

    GitHub: github.com/sefinek/Sefinek-Blo

    #dns #informatyka #pihole #adguard #sieć #network #serwer #ochrona #bezpieczeństwo

  16. Znalezienie dobrych list blokad dla serwerów DNS bywa problematyczne - często są nieaktualne albo pełne fałszywych trafień.

    Dlatego powstał generator list blokad, który umożliwia łatwe dopasowanie listy do własnych potrzeb. Listy są regularnie aktualizowane, a projekt jest w pełni open source.

    Generator: sefinek.net/blocklist-generator
    Strona: blocklist.sefinek.net
    GitHub: github.com/sefinek/Sefinek-Blo

    #dns #informatyka #pihole #adguard #sieć #network #serwer #ochrona #bezpieczeństwo

  17. Może obecnie #COBOL nie jest już tak żywym tematem w rozmowach informatyków jak kiedyś, ale nadal jest to technologia, która teoretycznie jest wymarła, ale w praktyce... ciągle trzeba ją utrzymywać. A czasem opowiadać sobie o niej niestworzone historie. Jak to z nim jest?

    #programowanie #informatyka

    codeaura.ai/why-cobol-code-sti

  18. Jeśli kogoś to interesuje, to odpaliłem swój blog osobisty, po polsku. Będą tam pojawiać się wpisy raczej technologiczne, informatyczne. Zacząłem od wpisu, który już kiedyś opublikowałem za pomocą #Hedgedoc jednak jest tu w nieco zaktualizowanej formie.

    blog.cichy1173.eu/news/linux-s

    Jeśli ktoś chciałby być na bieżąco, to jest RSS :-). Pracuję też nad kolejnymi wpisami, które pojawią się niedługo!

    #blog #informatyka

  19. Gdy w 1947 wraz z zespołem pracowała na komputerze Mark II w Harvardzie, odkryto, że do środka dostała się ćma, która wpływała na działanie maszyny. To wówczas pierwszy raz użyła określenia "bug" na błąd w komputerze, a proces naprawy - debuggingiem.

    (2/2)

    #historia #informatyka

  20. Jeden z naszych Mikołajów wrzucił dzisiaj zdjęcie owada, który... utknął za matrycą monitora. Jak do tego doszło, to - wzorem Zenka Martyniuka - nie wiemy, ale przypomniało nam to, skąd się wziął termin "debugging". Wiecie?

    Kontradmirał Grace Hopper po odbyciu służby wojskowej stała się jedną z największych postaci wczesnej informatyki. (1/2)

    #historia #informatyka

  21. Zacząłem uczyć się pisać w LaTeXie, i odmieniło to moje życie na tyle że, aż chce mi się pisać sprawozdania.
    Wszystko samo się robi, nic się nie rozjeżdża, obrazki nie wylatują w kosmos przy przesunięciu innego. Wszelkie listy numerują się jak ja chcę, a nie jak im samym się uroi.
    Czemu na tego LaTeXa wcześniej nie wpadłem? Tyle nerwów bym sobie zaoszczędził, tyle przeklinania worda i writtera, i zaklinania go by umieścił obrazek w miejscu w którym chcę.
    #LaTeX #informatyka #pisanie

  22. Pierwszy na świecie robot humanoidalny, który ma układ mięśniowo-szkieletowy został opracowany przez wrocławską firmę Clone Robotics.
    Clone Alpha to robot domowy, którego celem ma być wykonywanie różnych zadań w domu. Maszyna ma powstać początkowo w liczbie 276 sztuk.

    #humanoid #robot #PolskiRobotHumanoidalny #nauka #technologia #mechanika #informatyka #PolskaMyślTechniczna

    youtube.com/watch?v=yPyXuLVYN5Q

  23. 📣 Polska Izba Informatyki i Telekomunikacji Patronem Honorowym 19 Sesji Linuksowej! 📣

    Z dumą informujemy, że Polska Izba Informatyki i Telekomunikacji objęła patronatem honorowym tegoroczne wydarzenie.

    PIIT od ponad 30 lat działa na rzecz rozwoju branży teleinformatycznej w Polsce, reprezentując interesy firm IT i telekomunikacyjnych oraz wspierając inicjatywy promujące nowoczesne technologie, otwarte oprogramowanie i cyfrową transformację.

  24. 📣 Polska Izba Informatyki i Telekomunikacji Patronem Honorowym 19 Sesji Linuksowej! 📣

    Z dumą informujemy, że Polska Izba Informatyki i Telekomunikacji objęła patronatem honorowym tegoroczne wydarzenie.

    PIIT od ponad 30 lat działa na rzecz rozwoju branży teleinformatycznej w Polsce, reprezentując interesy firm IT i telekomunikacyjnych oraz wspierając inicjatywy promujące nowoczesne technologie, otwarte oprogramowanie i cyfrową transformację.

    #PIIT #Informatyka #OpenSource #Linux

  25. Czy żyjemy w symulacji komputerowej? 🤔 Serwis Gizmodo zapytał ekspertów z dziedziny informatyki, filozofii, psychologii społecznej i neuronauki. Oto, co mieli do powiedzenia:

    🧐 Niektórzy twierdzą, że jeśli zaawansowane cywilizacje tworzą symulacje, to istnieje większe prawdopodobieństwo, że jesteśmy w jednej z nich, niż w "bazowej" rzeczywistości.
    🧐 Inni wskazują na możliwość istnienia "błędów" w symulacji, ale też na to, że zaawansowana symulacja mogłaby takie błędy usuwać.
    🧐 Pojawia się też argument, że symulacje mogą być różnego rodzaju - z istotami świadomymi swojego statusu lub nie.
    🧐 Niektórzy eksperci uważają, że poszukiwanie dowodów na symulację (np. poprzez badanie promieniowania kosmicznego) jest niebezpieczne i może prowadzić do wyłączenia symulacji.
    🧐 Inni skupiają się na informacyjnej naturze wszechświata i porównują naszą egzystencję do postaci w grze wideo.
    🧐 Są też tacy, którzy uważają hipotezę symulacji za zbyt mglistą i nienaukową, dopóki nie zostanie sprecyzowane, co rozumiemy przez "symulację komputerową".

    Do przeczytania: gizmodo.com/how-do-we-know-wer
    #symulacja #rzeczywistość #filozofia #informatyka #nauka

  26. Z wielką radością przekonałem się, że Delta wciąż żyje!
    #matematyka #fizyka #astronomia #informatyka #NaukiŚcisłe #popularyzacja

    "Delta" to miesięcznik upowszechniający nauki ścisłe, przede wszystkim matematykę, fizykę, astronomię i informatykę. Jesteśmy wydawani przez Uniwersytet Warszawski przy współpracy towarzystw naukowych: Polskiego Towarzystwa Matematycznego, Polskiego Towarzystwa Fizycznego, Polskiego Towarzystwa Astronomicznego i Polskiego Towarzystwa Informatycznego.


    Delta - Strona główna

  27. **Grace Hopper** była pierwszą kobietą w historii USA, która obroniła doktorat z matematyki na Uniwersytecie Yale. Była też twórczynią rewolucyjnego FLOW-MATIC, języka programowania. Ta oto pani pracowała przy komputerze Harvard Mark II w 1947 roku, jedna z pierwszych programistek, znalazła błąd, powstały na skutek złego funkcjonowania jakiegoś przekaźnika. Odkryła, że omyłka powstała dlatego, że dostało się tam jakieś żyjątko. ( był to najczęstszy spotykany błąd, kiedy używano tego typu elementów). Usunęła owada i przykleiła go taśmą do dziennika …
    Wydarzenie było tak ciekawe, że odtąd każdy błąd informatyczny kojarzy się z nazwą bug (ang. Pluskwa) i terminem debugging.
    #ciekawostki #informatyka #bug

  28. Po miesiącach nieaktywności blogowej, lądujemy dzisiaj z nowym tekstem. Nie będą one jeszcze regularne, ale od czegoś trzeba zacząć.

    A dzisiaj przyjrzymy sie słowu "maska", które w informatyce jest używane zaskakująco często. Nawet trochę za często, bo często przyjmuje zupełnie abstrakcyjne znaczenia. Sprawdźcie jakie.

    #maska #informatyka #mask

    wildasoftware.pl/post/czym-jes

  29. Linux na studiach? To możliwe! Postanowiłem zebrać swoje doświadczenia w jeden artykuł i Wam go przedstawić.

    #linux #studia #informatyka #polska #lublin

    hedgedoc.cichy1173.eu/s/qZNQy3

  30. Kiedys bylo "kazdy moze byc programista i zarabiac 15k miesiecznie"

    Dzisiaj "kazdy moze byc prompt engineerem" xD Ciekawe kiedy to ebnie ;)

    theverge.com/2024/5/8/24151847

    #IT #informatyka #AI #LLM SztucznaInteligencja

  31. Jak pewnie część z was wie, dokonuję cyklicznego przeglądu biblioteczki i co jakiś czas wystawiam jakieś #ksiazki za niewielkie pieniądze. Najwcześniej to coś z #reportaż lub #informatyka.

    Zachęcam do przejrzenia, być może znajdziecie coś, co was zainteresuje:
    vinted.pl/member/103213301-smo

    Ps boościki mile widziane!

  32. Autopromocja

    Gdyby ktoś szukał korków z informatyki na poziomie podstawowym to się polecam.

    Również szkolenia z Microsoft 365 wchodzą w grę.

    e-korepetycje.net/amelciaao/in

    #korepetycje #korki #informatyka

  33. Epitafium informatyka

    Choć miał zasób wiedzy spory
    Pokonały go errory.

    #epitafium #Epitafia #liryka #informatyka #programowanie

    Jeśli marzysz o pięknym epitafium na grobie swoim lub swoich bliskich napisz w komentarzu, komu ma
    być poświęcone kolejne.

  34. A Wam kiedy ostatnio Prezydent Stanów Zjednoczonych zostawił wiadomość w poczcie głosowej?
    Bo mnie wczoraj:
    anglista.edu.pl/?p=5946

    #studenci #informatyka
    #Kraków