rk

Codex is written in Rust. Deno has Node compatibility, but it can be inconsistent, but is getting better fast. There are plenty of programmers, but not always enough really good ones, and Rust is not a very popular language either. Maybe people want to write it, using it for hobby projects, but there are probably only a few with commercial experience at scale. I suspect it also mattered that Astral is a Rust shop...Deno is a Rust shop too. They may not even need 75% of what Deno is trying to be. They may just need people who have experience and deep understanding with JS, Rust, and the web stuff, but you probably already know that. I am not the one who wrote OXC 🙃 To put it a bit simply: if the minimum level of what AI agents can write keeps rising, the demand for people and teams with a very high ceiling will grow dramatically.

@ribelo_ Claude Code's runtime is Bun. What is codex's runtime? Is Deno node compat yet?

Anthropic bought the Bun team to fix Claude Code, OpenAI bought the Astral team to fix Codex. There is no third AI company to buy us, we are on our own😃

@who_odsi @boshen_c It does not matter what they like. Codex has had a JS REPL tool for some time, but it still does not have a Python REPL tool. The point is not what is cool, but what is needed.

@ribelo_ @boshen_c no, they like py.

@andrew_n_carr Next move is deno to Openai.

bun to anthropic uv to openai

@bindureddy Google will win the AI race in the West, China on Earth and SpaceX in space

@Folke @marv1nnnnn1 Nobody knows anyone who has been banned. OpenAI officially supports PI and Opencode. Anthropic makes threats, but does nothing except create obstacles, which are quickly bypassed. Google are the only ones who actually ban people.

@marv1nnnnn1 I know, but it's against Anthropic's TOS, no? So they can ban your account?

I love the idea of opensource coding agents like Pi and OpenCode, and to an extent OpenClaw, but how do people actually use this with SOTA coding models without burning literally $1000 per month? Especially with multiple agents. I stick to Claude Code with my Max plan ($200) because of that. (And because it's awesome). What am I missing here?

@Jonathan_Blow it really depends on what you do. to stay sane, i write code just for myself, because i’m literally paid to use claude code and drink coffee.

This is such a *completely* different reality from where I live, at this point it's just difficult to say anything meaningful about it at all. x.com/sama/status/20…

@WielkaKsiega @WojtekKardys @RBrzoska @InPostPL Rozwiązał.

@ribelo_ @WojtekKardys @RBrzoska @InPostPL No to się zdecyduj czy rozwiązał czy nie. I wróć już do InPostu- bo trochę odszedłeś od tematu.

Rafał Brzoska @RBrzoska prezentuje nowego asystenta AI w @InPostPL Nazywa sie - Von Halsky (który ma wywąchać najlepsze oferty do zakupu). Będzie nowa aplikacja, w której będziemy kupować (bezpośrednio z apki).

Jeśli problem jest Open, znaczy, że nie znamy rozwiązania. W parent twicie masz > We are investigating a possible solution by GPT-5.4 > Pro to a problem from FrontierMath: Open Problems. > My guess is that the solution is right, but we won’t be > sure until the problem author weighs in. Thread with > the story so far… Tu masz formalizację w LEAN, co jakoby "dowodzi", że rozwiązanie jest poprawne - o ile formalizacja jest poprawna. github.com/math-inc/Front… To nie jest coś, co można sprawdzić na kalkulatorze. "Rozwiązanie" ma tydzień, formalizacja ma raptem 4 dni. Czy to przełom rozmiaru leku na raka? No nie, ale to są problemy, które nie mają rozwiązania i to, że pada ich coraz więcej, choć dalej liczymy w sztukach obala bardzo wiele mitów odnośnie AI, poczynając od tego, że "nie myślą", przez "nie są kreatywne", po "nie umieją wymyślić nic nowego". A to imho całkiem sporo, biorąc pod uwagę, że jakaś połowa ludzi żyje w przeświadczeniu, że nie umieją policzyć `r` w `strawberry`.

Czy problem został w końcu rozwiązany? Czy autor potwierdził poprawność rozwiązania? Czy coś wspólnego z tym ma oświadczenie: We also evaluated GPT-5.4 Pro on FrontierMath: Open Problems. It did not solve any problems. It made some novel observations on one problem, but of a form that the author had anticipated and characterized as relatively uninteresting ?

@WielkaKsiega @WojtekKardys @RBrzoska @InPostPL Mi płacą za bycie bucem więc weszło mi w krew. Może innym też.

Ale zamiast mierzyć się na fiuty, zadaj pytanie a ja dowiozę i poszeruję Ci odpowiedź. Zrobię to z dobrego serca i całkowicie za darmo. Zobaczymy, czy odpowiedź Cię zadowoli. A jak już pytasz, to proszę, tutaj masz przykład rozwiązania pierwszego otwartego problemu FrontierMath. chatgpt.com/share/69ae3b99… Tu masz twitta, żeby nie było, że kradnę. x.com/AcerFur/status… Tutaj masz repo Terenca Tao, wiesz, tego matematyka, co to chyba ma najlepszy PR aktualnie. Monitoruje rozwiązania problemów erdosa dowożone przez AI github.com/teorth/erdospr… Aktualnie rozwiązano 3 wcześniej nie rozwiązane nigdy wcześniej problemy, wiele rozwiązano w nowy sposób, jeszcze więcej doczekało się dokończenia rozwiązania, gdzie wcześniejsze "ludzkie" rozwiązania były niekompletne. Cieszę się, że mogłem pomóc.

Mhm. I jednocześnie nie potrafi utrzymać rozsądnego rozstrzał cenowego, a przy słuchawkach za 1000 zł proponuje coś za 200. Ok. Jest tak jak mówisz- koniec pracy nad rozwojem LLM. Wystarczy, jest wszystko doskonale, bezbłędnie, chat jest bezbłędny, rozwiązał zadanie z matematyki (strasznie chciałbym zobaczyć proces rozwiązywania), jest ekstra, kończymy projekt. Można zająć się innym.

@WielkaKsiega @WojtekKardys @RBrzoska @InPostPL Na podstawie dziesiątek recenzji, setek komentarzy i zrozumienia jak parametry i konstrukcja wpływa na brzmienie. Ludzie zazwyczaj nie rozróżniają słuchawek dynamicznych, od planarnych a przetworniki armaturowe będą im się bardziej kojarzyć nie z Phonakiem, a z Cersanitem.

@ribelo_ @WojtekKardys @RBrzoska @InPostPL I no nie, nie potrafi- niby na jakiej postawie wydaje swoje opinie o brzmieniu?

@WielkaKsiega @WojtekKardys @RBrzoska @InPostPL Nie zrozumiałeś. Jeśli piszesz do GPT 5.4 Instant, to masz odpowiedź na poziomie rozmawiania o kotach i pytania co zrobić na obiad. Szybko, tanio a nawet darmo, dla ludu Produkty enterprise to w ogóle inna klasa rozwiązań.

@ribelo_ @WojtekKardys @RBrzoska @InPostPL No nie pamiętam, 5.3? Czytałem widocznie o 5.4 i padło. Nie wiem czy to serio aż tak zmienia wydźwięk tego co napisałem.

@WielkaKsiega @WojtekKardys @RBrzoska @InPostPL Nie istnieje GPT 5.4. Nie w sensie konkretnego produktu. GPT 5.4 to worek. AI rozwiązuje problemy, o których matematycy nie śnili, ale jest zbyt głupi by porównać słuchawki. Noted. x.com/nasqret/status…

@ribelo_ @WojtekKardys @RBrzoska @InPostPL Zrobiłem test po wpisaniu tej frazy w GPT 5.4 Zabawa na 102. A jakie eksperckie opinie- jak to lepszy bas, bardziej miekki, a ten bardziej soczysty. Wszystko oczywiście w tonie ultra pewności, przekonaniu o tym że tak właśnie jest. Cudowne 🥹

@WielkaKsiega @WojtekKardys @RBrzoska @InPostPL Wow, niektórzy dalej żyją w 2023r, zazdroszczę.

Dla kogo jest ta aplikacja? Kto normalny zadaje takie trywialne pytania: poleć mi słuchawki bezprzewodowe do 100 zł które świetnie sprawdza się do biegania… I to jest jakikolwiek wybór dotyczący słuchawek? Przecież żadna ścieżka zakupowa tak nie wygląda. Poza tym każdy, kto używa LLM doskonale zdaje sobie sprawę, że on działa wtedy gdy ma zupełną dowolnosc odpowiedzi. Jeśli będzie miał porownac dane techniczne- zacznie halucynować. Nie wróżę żadnego sukcesu tej aplikacji przez kolejne 3-5 lat, czyli do momentu, gdy LLM zacznie analizować jakiekolwiek dane, zamiast zmyślać najbardziej prawdopodobna odpowiedź.

@Bartomi98894618 @MarekLangalis Na szczęście w okolicach 2008r najwięcej stracili Ci, których majątek mieli w akcjach i udziałach, czyli top 10% najbogatszych, a nie ludzie, którzy od rynków stronią i trzymają w skarpecie. A nie czekaj...

@MarekLangalis Widać po takich wpisach, że dawno nie było krachu jak w 2008. ETFy ETFy wpłacajcie bogaćcie się hej.

Cykl - bogaćcie się został zakończony, rozpisałem praktycznie jak niewielkimi kwotami można zbudować majątek głównie poprzez konsekwencję i czas - tylko tyle i aż tyle dzieli każdego z nas od tego, czy zaczynając życie jako biedak nie skończy jak ten biedak. Ja 21 lat temu podjąłem decyzję by inwestować 200 zł co miesiąc - to była moja dziesięcina, potem podniosłem do 250 zł i długo nie podnosiłem, jak i moje osobiste dochody nie rosły (na swoim pensja nie musi wynosić minimalnej 😉). Dopiero gdzieś w 2016-17 zacząłem inwestować dziesięciną całego gospodarstwa domowego (Żona ciągle kwituje to słowami - "zabieraj na te swoje akcje"). Pomimo iż dziś w 75% główną składową naszego majątku jest firma, którą budowaliśmy od samego zera, to jednak te drobne kwoty, które były inwestowane zbudowały już portfele (bo mamy je rozbite po 6 kontach, zaraz zrobimy siódme) niedostępne dla 99% (sprawdziłem) ludzi. Chciałem tylko się z Wami podzielić i dać od siebie wskazówki jak to robić, nie teoretyczną tylko praktyczną. Dużo młodych ludzi pisze o dążeniu do mitycznego FIRE (niezależność finansowa przed emeryturą), ja uczciwie mogę powiedzieć, że osiągnąłem je gdzieś tak 2-3 lata temu. Trochę w życiu zmieniłem, ale jeszcze nie tak dużo, na pewno na emeryturę się nie wybieram, bo pomysłów w głowie mnóstwo i lubię swoją pracę i ludzi, z którymi pracuję. Lubię czytać te wpisy o dążeniu do FIRE bo widzę siebie sprzed lat - kibicuję wszystkim i trzymam kciuki, bo tak się powinno budować majątek na lata, a nawet pokolenia. Pokrótce przypomnę wszystkie teksty - w wolnej chwili przejrzyjcie, zastanówcie się. Jak sami inwestujecie - to podajcie do poczytania innym. Bardzo dużo ciepłych słów do mnie piszecie prywatnie, również na mejla, niektórzy nawet dzwonią - bardzo dużo podziękowań spływa - za które również serdecznie dziękuję. Pamiętajcie tylko o jednym - rynki finansowe bywają przewrotne - fajnie się pisze o inwestowaniu i jest duże zainteresowanie, jak mamy dwa lata nieprawdopodobnej hossy na polskiej giełdzie - ale ona powoli już się kończy. Dla mnie każdy rok zakończony dwucyfrowym zwrotem portfela był powodem do radości. I powoli znowu będzie trzeba do tej myśli się przyzwyczajać. Poniżej wszystkie teksty: 1. Wstęp z zapowiedzią - x.com/MarekLangalis/… 2. 8 lekcji praktycznych jak odkładać dziesięcinę (dziesiątą część dochodu) - poczytajcie również komentarze, bo warto - x.com/MarekLangalis/… 3. Jak pokonać inflację - muszę ten tekst mocno rozbudować, bo ciągle się tej inflacji boicie x.com/MarekLangalis/… 4. Dlaczego inflacja (niska oczywiście, powiedzmy taka w celu NBP, czyli 1,5-3,5%) może być Waszym sprzymierzeńcem, a nie wrogiem - x.com/MarekLangalis/… 5. Jak płacić jak najmniejsze, albo wcale, podatki od zysków kapitałowych - koniecznie też komentarze - x.com/MarekLangalis/… 6. Najbardziej popularny tekst z tej serii i sądząc po Waszym odzewie - dużo ludzi wzięło go w praktykę 😉 - jak wykorzystać zwroty z IKZE do reinwestowania na IKE i jak zapewnić sobie gwarantowany zwrot 18% w pierwszym roku - x.com/MarekLangalis/… 7. Jak będąc przedsiębiorcą uzbierać pewne 3 mln na emeryturę z samych obligacji - x.com/MarekLangalis/… 8. Dlaczego nie warto porównywać się z innymi i patrzeć tylko na to, żeby było nam lepiej niż w przeszłości - x.com/MarekLangalis/… 9. Jak media społecznościowe wpływają na nas i obniżają nasze poczucie szczęścia i jak sobie z tym radzić, również w kontekście finansowym - x.com/MarekLangalis/… 10. Jak inwestować na 4% - x.com/MarekLangalis/… 11. Propozycja inwestowania na 6% - x.com/MarekLangalis/… 12. Indywidualni inwestorzy przegrywają z rynkiem - x.com/MarekLangalis/… 13. Profesjonalni inwestorzy też przegrywają z rynkiem - x.com/MarekLangalis/… Wnioski z powyższych dwóch wpisów - inwestujcie w rynek 👇 14. Inwestowanie na 8% - x.com/MarekLangalis/… 15. Inwestowanie na 10% - x.com/MarekLangalis/… 16. Inwestowanie na 12% - x.com/MarekLangalis/… 17. Pierwsze lektury dla zaczynających - x.com/MarekLangalis/… prosiliście o więcej, więc będzie więcej Prosiliście mnie również o rozpiskę dla czterdziestolatków, w tym tygodniu do tego przysiądę idąc razem z Wami krok w krok (no mi padło 45 w tym miesiącu, więc będę wykorzystywał całe limity, jakie się da, żeby nadgonić 😉). Daliście świetne komentarze, mnóstwo przybyło Czytelników, niektórzy opuścili widząc moje tyrady przeciwko wysokim podatkom, przede wszystkim klimatycznym, trudno. Bawiłem się paradni - karmiliście mnie swoimi obawami, rozterkami, wątpliwościami - będę starał się na nie wszystkie odpowiadać. Jak ktoś nie widział - to miłej lektury, właściwie to mi się z tych wpisów napisała druga książka, siedzi w 5tej korekcie, wyjdzie pewnie latem, bo proces wydawniczy trochę się wydłużył (tanio nie będzie, ale większość macie tu za darmochę). Sponsorem całej audycji był @LewicowyCEO, który będąc po drugiej stronie barykady, dał mi poradę podatkową, która w 2 lata oszczędziła mi, jak dobrze liczę, 450 tys. zł i nie chcąc w zamian podziękowań nic zobowiązał mnie do pomocy innym, co też uczyniłem powyższymi wpisami. Dziękuję za wspólnie spędzony czas 🤑🤑

Założenie jest takie, że tylko państwo ma odpowiednie środki, by móc tak drogą zabawę finansować i nawet jeśli jest to prawda, to warto się zastanowić skąd państwo ma te pieniążki i czy historia ich dotychczasowego wykorzystania pozwala z optymizmem patrzeć na to w jaki sposób państwo potencjalnie wyda je na AI. Już mieliśmy imformatyzację i rozwój IT polegający na finansowaniu drogich samochodów pod przykrywką tworzenia stron o kotach. Ważnym pytaniem jest jak państwo może pomóc, a poprawną odpowiedzią jak zwykle jest deregulacja i patrzenie i inna stronę. Innym pytaniem jest, czy państwo może jakoś zadośćuczynić i chyba może. Możemy wprowadzać wolny rynek sektor po sektorze. Może faktycznie sektor AI powinien być pierwszym.

Jako osoba niedojrzała odpowiem memem będącym destylatem idei innego, niedawnego noblisty: Acemoglu. Tego, że potrzebne są nam dobre (lepsze), wydajniejsze, bardziej sprawiedliwe instytucje to chyba nikt nie neguje. Pytanie *jak* i *kto* ma je zbudować? Tutaj dychotomia państwo (mądre) - rynek (dogmatyczny) jest fałszywa. Założenie o „mądrości” państwa nie wytrzymuje chociażby konfrontacji z dorobkiem teorii wyboru publicznego; ignoruje opisany przez F.A. Hayeka problem wiedzy: skąd i jak w ogóle państwo ma wiedzieć które zastosowanie AI jest „najlepsze”, jak je promować i jak przeciwdziałać złym? Z resztą sama teza, że istnieje jakieś „właściwe” zastosowanie AI wydaje mi się mocno naciągana - wg. jakich kryteriów dałoby się w ogóle obiektywnie zdefiniować coś takiego? I tutaj, w obliczu tej niepewności, kluczowy jest rynek, który umożliwia swobodne eksperymentowanie. To przedsiębiorca (i tylko on) ma narzędzia i zdolność odkrycia tych „właściwych” - bo zaspokajających realne potrzeby konsumentów - aplikacji AI. To on zamienia technologiczne „invention” w zweryfikowane rynkowo (CC: @kpawinski 😉) „innovation” realnie zwiększające i produktywność i jakość życia. Na poziomie instytucjonalnym oznacza to raczej potrzebę deregulacji - tak bardzo potrzebnej dziś Europie - oraz budowania kultury regulacyjnego i instytucjonalnego sandboxu. Takie podejście pozwala testować różne rozwiązania dopasowane do specyficznych warunków miejsca i czasu, a jednocześnie zmniejsza ryzyko regulatory capture, inwestycji w projekty polityczne czy zwykłego marnotrawstwa zasobów. Jeżeli zgadzamy się, że AI jest technologia przełomową - być może pierwszą naprawdę uniwersalną technologią ogólnego zastosowania - to tym bardziej potrzebujemy takiego epistemicznie pokornego podejścia bo centralne wybranie konkretnych „właściwych” rozwiązań będzie po prostu niemożliwe.

Wdrażając sztuczną inteligencję, powinniśmy ostatecznie skończyć z dogmatycznym liberalizmem rynkowym, a przejść do przemyślanego interwencjonizmu opartego na konkretnych politykach wspierających dyfuzję technologii. W weekend poczytałem sobie różnorakie wypowiedzi Michaela Spence'a, laureata nagrody Nobla w ekonomii z 2001 roku. Jego spojrzenie na wdrażanie AI trafia w sedno problemów, o których często tutaj dyskutujemy i odpowiada na pytanie, czy rozwój technologii AI powinniśmy zostawić wolemu rynkowi. Z jego przemyśleń płyną konkretne rekomendacje, że wsparcia w rozwoju tej technologii, a przede wszystkim w jej dyfuzji musi podjąć się państwo. 1️⃣ AI ma potencjał wygenerowania potężnego skoku produktywności w całej gospodarce. Jednak aby tak się stało, musimy uniknąć błędu poznawczego, zwanego ucieczką w stronę automatyzacji (co Erik Brynjolfsson nazywa pułapką Turinga). Skoro skuteczność AI mierzymy w odniesieniu do ludzkich wyników, naturalnym staje się założenie: gdy maszyna jest lepsza, powinna zastąpić człowieka. Stąd każda wzmianka o generatywnej AI budzi reakcję: "idą po nasze miejsca pracy". Ten bias to błąd. Najbardziej naturalnym zastosowaniem technologii AI jest model "cyfrowego asystenta". Wymaga to jednak nie tylko sprawności technologicznej, ale też dbania o nowe kompetencje pracowników i mądrej komunikacji z interesariuszami. 2️⃣ Generatywna AI to pierwsza technologia z ludzką zdolnością do operowania w wielu domenach i płynnego przełączania się między nimi na podstawie samego promptu. Może dyskutować o inflacji, pisać kod, czy rozwiązywać problemy matematyczne. Jej nadludzka wręcz zdolność rozpoznawania wzorców czyni z niej idealnego asystenta. Zamiast pełnej automatyzacji, znacznie lepszym modelem jest współpraca na linii maszyna-człowiek. Geoffrey Hinton podaje tu doskonały przykład z medycyny. Doświadczony lekarz przez całe życie leczy tysiące pacjentów. Medyczne AI może w tym czasie przeanalizować i "przyswoić" przypadki setek tysięcy z nich. Sztuczna inteligencja staje się potężnym wsparciem dla weteranów, ale co ważne przynosi jeszcze większe korzyści osobom mniej doświadczonym. Dokładnie to samo potwierdzają nasze badania w MIM Fertility. 3️⃣ To chyba najważniejsza teza Spence'a: mimo ogromnych obietnic, AI nie wywoła ogólnogospodarczego wzrostu produktywności i nie zapewni nam zrównoważonego rozwoju, jeśli jej zastosowanie pozostawimy wyłącznie siłom wolnego rynku. Potrzebujemy proaktywnego, dwutorowego podejścia instytucji i państw. Z jednej strony musimy przewidywać i zapobiegać szkodliwym skutkom tej technologii. Z drugiej - i to jest ten mądry interwencjonizm - musimy aktywnie promować te zastosowania AI, które najbardziej pomagają ludziom, napędzają gospodarkę i rozwiązują wyzwania społeczne. Oznacza to celowe zapewnianie jej powszechnej dostępności i dyfuzji. Podsumowując: to mądre ramy polityczne zadecydują o tym, czy AI stanie się motorem napędowym całej gospodarki, czy tylko przyniesie zysk nielicznym.

@verykozak @schmorgpl @KlubJagiellonsk To zdanie jest prawdziwe, choć podejrzewam, że była to nieudana próba użycia ironii.

@schmorgpl @KlubJagiellonsk Tak, tak, polscy mężczyźni są znani z tego, że poświęcają rodzinom więcej uwagi niż amerykańscy. /s

Dodatkowe 104 wolne godziny w roku przy założeniu, że nie ma się dzieci (4 dni/rok) 156 wolnych godzin ekstra w roku z dziećmi, nie licząc czasu, gdy są małe, wtedy jeszcze więcej (6,5 dnia/rok) CC: @schmorgpl @KlubJagiellonsk

@mkurman88 @BennettBuhner @thsottiaux Maybe not unlimited, but you can use it like 12h a day. One account is enough to write around 10-20k loc a day.

@BennettBuhner @thsottiaux haahaha, I saw a lot of ppl claiming that codex usage is completely unlimited. YEAH RIGHT

.@thsottiaux, I think it is about time for a usage reset, ngl.