Der er en bevægelse fra Alves, men han gør jo ikke sin krop unaturlig stor. Havde han ikke ramt den med armen, havde den vel strejfet hans hofte. Ift. de lamme handsregler er det skærpende, at armen bevæges mod bolden, men alt i alt er det sgu'tte straffe for mig #FCKBIF#sldk
Partidisciplin er en svøbe. Det får folketingsmedlemmer til at bakke op om absurde forhold og synspunkter i stedet for at være mennesker, som skal overbevises om rimelighed og fornuft, før de støtter noget. Når man ser, hvordan visse partiledere bestemmer alt i deres partier, kunne vi lige så godt nøjes med kun at have dem i Folketinget og så give dem et antal stemmer til hver afstemning i Folketinget. Så kunne alle andre, der alligevel er umyndiggjort, gå hjem, og vi kunne spare skatteyderne for deres løn.
Men bebrejd ikke partilederne. Alle vil have magt. Det er menneskeligt. Bebrejd dem, der tillader det i stedet for at stå fast, når de har ret.
@leostera Having to edit dune files for build dependencies… why not just the ml/mli file? Ie « using lib »
In general just make the dune files go away as a separate file That is easy.
@ChShersh look high but a reminder that both rust and zig, two recent language, took only five years to take off.
I suspect there's a sharp diminishing mariginal return to the infra listed above, and collaboration is way easier after github is built compared to the 70s.
Expectations from a new programming language are crazy nowadays.
A new language has to
Have a formatter
Have a linter
Have a build tool
Have a package manager
Have documentation
Have project templates
Have a friendly community
Have a minimal ecosystem of CLI parsers, web servers, generic http clients
Have a fancy website
Compile fast
Run fast
Bring something new to the table
Have great error messages
Be better than OCaml
It’s almost impossible to start a new thriving language.
Is there anything more vapid, more ignorant, more downright breathtakingly stupid, than deriding the last fifty years of software engineering by saying: “All you need is functions”?
@linear It opens Authenticator (MS) on my iOS phone after 1) scanning the qr code 2) going to the next dialog. Is it authenticator messing it up somehow?
Linear now supports Passkeys - a new standard enabling secure and fast login without having to rely on passwords.
To set up Passkeys and learn about other security improvements we shipped, head over to this week's changelog.
→ linear.app/changelog/2024…
@tantaman To be fair this is not the kind of thing you have to do to "appease" the type checker, but rather to get precise type safety and completions for APIs most type systems would not support at all.
@jakob_soderberg@MadsStrange_ Har hørt om google sagen. Var det kun, at der var forskel på m/k? Kender ikke de interne detaljer. Men har vel ikke noget med Twitter at gøre.
Har du eksempler eller regler fra tidligere Twitter om at man kan blive censuret pga af at dige der er forskel på på m/k.
@frej@MadsStrange_ Fordi det insinuerer, at der er fysisk forskel på mænd og kvinder…
(Folk er blevet fyret fra Google, virksomheden for at sige noget ligeså åbenlyst).
@MadsStrange_ For ikke særlig lang tid siden ville dette tweet (x?) blive censureret…. skræmmende.
Det er jo fuldstændig ukontroversielt. Prøv at skrive det samme på Facebook og se om det får lov til at blive stående.
1/3
Dette er den vildeste nyhed, du vil læse i dag. Måske i år.
18-08-18 sendte PET (og FE) en notits til Justitsministeriet om Samsam: Deres fælles agent skulle hentes hjem fra Spanien og udsluses i DK. 13-11-18 blev en ny notits fremsendt: Hele udslusningsplanen var fjernet.
@frej Super fair pointe. Og man kan tolke Ballmers argument på mange måder her på bagkant 😊
Men den grundlæggende pointe om at Microsoft ville være det bedste fit for størstedelen af telefoner, og Apple for en niche viste sig i hvert fald at være skæv 😊
Fantastisk video til historiebøgerne!
Enten får Zuck ret og formår at forudse sin fremtidige succes i offentligheden.
Eller også har vi 2024-versionen af dengang Steve Ballmer grinte af iPhone’s pris og kaldte Microsoft’s mobilsoftware for bedre
Det er vildt, hvad der sker ovre i pensionsgiganten ATP.
Og utroligt at det ikke fylder mere i medierne. Det er dine og mine penge, det handler om.
Tusinder af almindelige pensionister lever af de penge, som vi danskere er tvunget til at spare op i den fælles sparegris, ATP. Vi er også tvunget til at betale ATPs vellønnede 'aktiehajer' til at skabe afkast på vores penge. Men fra hovedsædet i Hillerød solder de overbetalte spekulanter lønmodtagernes milliarder op.
Man er simpelthen elendig til at få pengene til at yngle.
Sidste år lavede man et afkast på sølle fem procent. Det var i et år, hvor aktiemarkedet bragede i vejret: Det amerikanske aktiemarked steg med 26 procent. De globale aktier steg med 16 procent og de danske aktier med 10 procent. En idiot som mig, der ikke rørte en finger, men bare havde pengene stående i et værdipapir, der følger aktiemarkedet generelt, lavede knap 16 procent.
Man havde groft sagt fået bedre afkast, hvis man havde sat en abe til at skyde dartpile efter aktier. Henrik Ramlau-Hansen, der er lektor ved CBS og tidligere pensionsboss, siger om afkastet til Børsen:
"Det er dårligt. Rigtig dårligt."
Men det kunne jo bare være én misser, vil nogen sige? Nej. I 2022 tabte ATP svimlende 41 procent. Det var ganske vist et skidt år for mange pensionskasser, men hvor de fleste pensionskasser har tjent det tabte ind igen, fordi de lavede gode resultater i 2023, er det på ingen måde tilfældet for ATP.
Men fristes til at spørge: Hvad bruger ATP-direktøren Martin Præstegaard egentlig sin tid på? På at blive bedre til at tjene penge? Næh. Han render rundt og lobbyer vores politikere med ideen om privatfinansieret ældrepleje og mere tvungen opsparing til alderdommen (læs: mere opsparing i ATP). Det var Præstegaard, der stod bag sommerens omdiskuterede forslag om mere privatbetalt pension.
Og hvad betaler vi danskere egentlig Martin Præstegaard for at få lov til at skylle dine og mine penge ud i toilettet? Den nette sum af omkring 590.000 kroner om måneden. Syv millioner om året. Det er som sagt nærmest ubegribeligt, at ATP solderi med dine og mine sparepenge fylder så fylder lidt i medierne.
borsen.dk/nyheder/finans…
@AndersSchaffner Android har 70% marketshare. iOS er så 10x større end de 2-3 globalt. Så ikke helt skævt. Forskellige segmenter mellem iOS ig Android selvfølgelig.
@dannyaroslavski@ThePrimeagen Fair point. TS still allows all constructs of the original language, and you can then choose some level of strictness in typescript.
The build step is only a performance problem.
@frej@ThePrimeagen > typescript removes no features of JavaScript
on this we'll disagree
while all js is valid ts, the reverse is not true
it also adds a build step, removing the refresh and go feature of js
i feel people just don't understand jsdoc vs typescript debate.
jsdoc gives me the 95% and .d.ts gives me the other 5%
1. jsdoc uses tsserver
- this means find references, go to declarations, and all other LSP commands work the same (including the refactoring and code actions)
2. same linting as typescript
- if type Foo doesn't have property bar and i try to set it, it fails
3. can use d.ts files for "super complex types"
- all the generics and magical crappy typescript programming one could ever dream of
4. i don't need to compile it
- can i get an amen?
5. can use tsc to typecheck my entire program if need be (a nice CI task)
- fail the PR where its suppose to be failed at
6. distributing your code becomes easier. its just JS. no special runtime (bun/deno). no compilation step. beauty
@dannyaroslavski@ThePrimeagen Nothing wrong with that :)
Language design choices in ocaml (and ML) is also driven by how to make a useful and efficient type system.
typescript removes no features of JavaScript, with all the compromises and peformance issues that follow.
@dannyaroslavski@ThePrimeagen The type checker for flow is written in ocaml. But it does not repurpose the type system for flow.
Rescript and reason does that.
@ThePrimeagen I also think Flow initially leveraged OCaml for its type system- and so it even used to behave better than TS's type checker in many cases.
@PovlDengsoe@PovlDengsoe I bund og grund burde offentlige IT systemers kode også være frit tilgængeligt. Selvfølgelig er der undtagelser (militæret), men absolut ikke her. Vi kan ikke engang dele hvordan vi beregner deres skat med de borgere som betaler den.
berlingske.dk/dine-penge/nye…#dkpol@PovlDengsoe kommer endelig tættere roden til problemet.
Det er absurd at modellen "tager for lang tid at trække ud". Mange kan forstå og læse kode, og det kan ikke være et problem at sende det hele. Vi ejer vel koden når det offentlige betaler.