Om dålig attityd och ett alternativ till LinkedIn
En man som uppmärksammats stort i svensk media då han driver sajten Frikopplad skapad ett program med stöd för ActivityPub som presenterades som en ersättare för LinkedIn. Han som heter Jonatan Tensetti kallade programmet för Nolto.https://fedinyheter.nyhetskartan.se/om-dalig-attityd-och-ett-alternativ-till-linkedin/
Omkring 2 000 miljarder dollar har raderats från mjukvarusektorns börsvärde det senaste året. Skälet är inte någon finanskris eller ännu en pandemi – utan för att människor som jag plötsligt kan bygga sina egna programvarulösningar med ai, skriver Ny Tekniks Peter Ottsjö.
Claude Code beskrivs av allt fler utvecklare som ett verkligt genombrott. För första gången börjar ai-agenter göra stor nytta i vardagsarbetet. Här är en djupdykning i vad Claude Code är, hur det används och hur tekniken kommer att påverka våra yrkesliv.
Jag övar på Java genom att skapa Minecraft mods! Jag följer jag en tutorial där jag ska skapa tuggummi i spelet. Inte helt lätt kan jag säga! haha
𝗪𝗮𝘁 𝗸𝗶𝗷𝗸 𝗷𝗲 𝗱𝗲𝘇𝗲 𝗸𝗲𝗿𝘀𝘁 𝗼𝗽 𝘁𝘃? 𝗗𝗶𝘁 𝘀𝘁𝗮𝗮𝘁 𝗲𝗿 𝗼𝗽 𝗱𝗲 𝗽𝗿𝗼𝗴𝗿𝗮𝗺𝗺𝗲𝗿𝗶𝗻𝗴
Traditiegetrouw is de televisieprogrammering aangepast rond de feestdagen. Zin in een speciale kerstuitzending van je favoriete programma's? Zet de volgende tijden dan alvast in je agenda.
https://www.rtl.nl/boulevard/entertainment/artikel/5544201/wat-kijken-tijdens-feestdagen-2025
Städa kod: användbar kunskap
Fredrik har läst Kent Becks bok "Tidy first?", som diskuterar hur och när man ska passa på att göra små, enkla uppstädningar i sin kod.
Ett utdrag ur Kodsnack 673, lyssna där poddar finns eller på kodsnack.se!
#podcast #tidyFirst #refactoring #programmering #kod
Trots knackig engelska, så tycker jag att detta var en bra och jordnära introduktion till beroendetyper och bevisassistenter. Hoppas dom spelar in ett (tredje) avsnitt på svenska. #programmering #beroendetyper
#FunktionellProgrammering
https://creators.spotify.com/pod/profile/christoffer-ekeroth9/episodes/11-Elisabeth-Stenholm-e38md7i
In this episode I talk to Elisabeth Stenholm about dependent types, proof assistans and homotopy type theory! If you're ready to take your type safety to the next level, then this episode is for you!We cover topics like:Homotopy type theoryProof assistantsLanguages Rocq, Lean4, Agda, IdrisProving theorems in Lean4How to get started with dependent types and proof assistantsLinksTheorems for free Propositions as typesElisabeth’s Func Prog presentation Formally verified C compiler Property-based testing in F#Building Idris in Idris Elisabeth's PhD thesis
@torb Da har jeg endelig tatt meg bry og tid til å publisere det gamle arkivet jeg hadde liggende av “Kast deg ut i tilgjengelighet”:
https://kastdegutitilgjengelighet.no/
Jeg har foreløpig kun gjort overfladiske, enkle endringer fra originalen. Det er mye som kan forbedres og oppdateres for å gjøre innholdet mer relevant, så bidrag mottas med takk. Kildekoden befinner seg her:
https://github.com/asbjornu/kastdegutitilgjengelighet.no
#NorskTut #norsk #tilgjengelighet #accessibility #WCAG #HTML #kode #programmering #programming #code #markup #semantic #semantikk
Mycket lyssningsvärd. En modern klassiker. #programmering
Peter Seibel interviews 15 of the most interesting computer programmers alive today in Coders at Work, offering a companion volume to Apress's highly acclaimed best-seller Founders at Work by Jessica Livingston. As the words "at work" suggest, Peter Seibel foc...
Anders_S
Ny Teknik
Monica
RTL Nieuws
Kodsnack
ᛋᛁᚵᛁᛋᛘᚢᚾᛑ ᚾᛁᚾᛃᛅ
Asbjørn Ulsberg
Torger Åge Sinnes