#pasjonat15k #logika #matematyka #filozofia #programowanie #programista15k #it #sztucznainteligencja #czytajzwykopem

Hej,

Siedzę ostatnio mocno w logicznych (a konkretniej w zakresie logiki modalnej) i semantycznych implikacjach współczesnych metod AI, co może niektórych z Was zainteresuje. Od jakiegoś czasu pracuję nad tym, jak można wykorzystać klasyczną filozofię języka i semantykę logiki modalnej (Kripke, Putnam) w nowoczesnych systemach AI. I
  • 29
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

  • 6
@Ksiega_dusz: Oki, dzięki za feedback. Pewnie masz rację. Postaram się bardziej tłumaczyć podstawowe tematy.

W skrócie:

Sztywny desygnator to nazwa, która wskazuje na TEN SAM obiekt niezależnie od okoliczności czy zmian jego
  • Odpowiedz
@JamesJoyce: Super że publikujesz święte teksty dla nerdów. Czymś trzeba zająć swój umysł, gdy obok dziewczyna się leniwie przeciąga :D

Ale tak na poważne: powinieneś mieć jakiś swój blog, bo na Wykopie jak coś opublikujesz, to ciężko potem coś znaleźć. Polski internet jest płytki np. w porównaniu z rosyjskim, chińskim albo angielskim. Więc takie treści jakie publikujesz, spowodują podnoszenie poziomu całego polskiego internetu pod warunkiem, że będziesz miał swój adres
  • Odpowiedz
@mirko_anonim: no risk, no fun. Jedyna sensowna opcja w tym przypadku to taka, w której księgowość w twoich fabrykach jest outsourcowana do zewnętrznej firmy, wtedy outsourcowana Anetka z księgowości ma cię generalnie w dupie i nie zadaje pytań
  • Odpowiedz
@blend: No to miał kosę w pracy, a nie ma własnego gabinetu i tyle szekli. Albo wręcz przeciwnie, nikt nie dał mu tyle szekli ile chciał. Może faktycznie pasjonat hematologii. Myślisz, że nie przyjęli by go na internę do POZu? Oczywiście, że tak xD Albo do wypisywania recept.
Ty jesteś po prostu naiwny.

Meanwhile programista napisze, ze chce programować w Rust i zero ofert dla niego, a do żadnej roboty innej go
  • Odpowiedz
do przodu to mi też się wydaje dziwne


@MonsieurLaBoule: przecież niektóre korpa to nawet każą do przodu wypełniać, bo np. jest 25 a oni już chcą faktury wystawić klientom i ty musisz przewidzieć jakie zadania będziesz robił do końca miesiąca xD
  • Odpowiedz
Zapytam Was o swoją sytuację. Web Dev z Software House z 5 latami expa - mnóstwo komercyjnych projektów zrealizowanych, no ale niestety zwolnienia dotknęły i mnie. Robiłem raczej jako Full Stack, dostarczałem webowe projekty dla lokalnych przedsiębiorców od A do Z wraz z wdrożeniem. Znam dobrze JS, ekosystem React, PHP, bazy danych MySQL. Bardziej pewnie czuję się na froncie i mam też więcej lat doświadczenia w nim. Praca na froncie sprawia mi
  • 11
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

witam, mam pytanie, potrzebuje 4 roznych internetow mobilnych, tak zeby internety nigdy nie mialy tego samego ip, slyszalem cos ze niektorzy operatorzy dzialaja na zasiegu innych, nie ogarniam tego, jakich 4 operatorow wybrac na te 4 karty? a jak nie bedzie 4, to tylu ilu da sie maksymalnie #siecikomorkowe #programowanie
  • 1
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

Salesforce

Natomiast w styczniu br. szef firmy oznajmił, że Salesforce nie będzie już angażować więcej inżynierów oprogramowania w 2025 r. Co ciekawe, >wyjaśnił to znacznym wzrostem produktywności dzięki sztucznej inteligencji.


Meta

Myślę,
  • 11
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

#programowanie #programista15k #devops
Mireczki, mam problem i w sumie co probuje to nie dziala. A devopsi z------i robota w robocie. Moze ktos ma wieksze doswiadczenie z chmura.

Infra
LB AWS -> Nginx Aplikacja -> Cloudfront.

Ngnixowa aplikacja serwuje domene A, którą chcę proxować na serwer B. Jak zmieniliśmy technologie na SSG Nuxta, nagle handshake przestały przechodzić z informacją , że certa nie ma. Cert jest serwowany
  • 2
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

@katopa: niby jak jako programista masz użyć liczb?

Zrobiłem 100% zadań które miałem w sprincie?
Zmniejszyłem budżet firmy o 20k netto + VAT miesięcznie?

Jak widzę takie debilizmy "implemented XYZ and reduced incoming traffic by 21,37%" - skąd k--w wyliczenia, procenty? Czemu taki deliktwent miałby przepisać takie osiągniecie sobie? PRzecież często są taski w JIRZE które przydziela Scrum Master. Widzieliście kiedyś taką sytaucje gdzie CRUDiarz wychodzi przed szereg
  • Odpowiedz
Używa ktoś może sieciówki na realteku rtl8156 pod proxmoxem? Mam taki problem, że przy linku 2.5gbs iperf spina się na jakieś 300mbs, przy 1gbs stabilnie udaje się go zamknąć. Przy 2.5gbs kernel rzuca poniższymi błędami, kernel 6.8.12 driver r8152.

[ 238.463290] r8152-cfgselector 2-1: Failed to read 4 bytes at 0xb400/0x0133 (-71)
[ 238.579954] r8152-cfgselector 2-1: reset SuperSpeed USB device number 2 using xhci_hcd
[ 238.642721] r8152 2-1:1.0 enx1cbfcebdf6e3: Promiscuous mode enabled

quickrs
  • 22
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

@K-S-:

[ ID] Interval Transfer Bitrate Retr Cwnd
[ 5] 0.00-1.00 sec 53.4 MBytes 447 Mbits/sec 0 240 KBytes
[ 5] 1.00-2.00 sec 46.9 MBytes 393 Mbits/sec 0 240 KBytes
[ 5] 2.00-3.00 sec 0.00 Bytes 0.00 bits/sec 1
  • Odpowiedz
Ostatnio pracuję po 10h dziennie. Niektórzy mi zarzucają, że nie próbuję założyć rodziny, że liczy się dla mnie tylko kariera i konsumpcjonizm.

Prawda jest taka, że po prostu czuję się gorszy od innych w zespole i pracuję więcej ze strachu, że mnie wywalą i utknę na bezrobociu na długie miesiące/lata ¯\(ツ)/¯

#programowanie #programista15k #pracbaza #praca
  • 16
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

@steppenwolf12: a pracodawca ma wyrzuty sumienia jak wyrzuci pracownika z własnego błędu wynikającego ze słabych wnioskowań budżetu? Daj spokój trollu.
  • Odpowiedz
Cześć, mam zagwozdkę i potrzebuję porady. Od 2,5 roku pracuję jako junior .NET i aktualnie zarabiam ~60 zł netto/h (dzięki statusowi studenta). Wkrótce kończę 26 lat i przechodzę na UoP + awans na mida, ale oferta mnie zaskoczyła:
-70 zł/h brutto na UoP (~7,7k netto), czyli ~1,5k mniej niż teraz ( ͡° ʖ̯ ͡°)
-80 zł/h + VAT na B2B (~10,5-11k netto), czyli na podobnym poziomie co obecnie.
  • 14
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach