• 31 Posts
  • 15 Comments
Joined 4 years ago
cake
Cake day: April 27th, 2023

help-circle

  • grundlovens §77

    Hvis du læser kommentaren på folketingets hjemmeside:

    Censurforbuddet betyder, at politiet først kan skride ind mod et blad eller en bog, når den er udkommet. Myndighederne kan ikke forlange at gennemse et manuskript på forhånd. Censurforbuddet betyder, at politiet først kan skride ind mod et blad eller en bog, når den er udkommet. Myndighederne kan ikke forlange at gennemse et manuskript på forhånd.

    Som grundloven bliver forstået betyder det altså at der ikke må censureres på udtalelser før de ligesom når offentligheden og en dommer derefter mener det skal censureres - og det er jo faktisk præcis derfor Polymarket her blev lovliggjort igen, for der var ikke en dommer der havde sagt det endnu.

    Men den paragraf betyder altså ikke at der ikke er nogen konsekvenser for udtalelser.



  • Jeg bryder mig heller ikke om censur, det tror jeg ikke nogen gør. Men jeg tror også det er mere nuanceret end at man bare kan sige at alt censur er dårligt. Så sort og hvidt er der ikke noget der er. Jeg synes ikke det er realistisk at vi bare skal tolerere alt der findes på internettet. Børneporno er et eksempel selvfølgelig, men der findes andre legitime grunde til censur (selvom det er rigtigt at det er blevet brugt til nogle ting det måske ikke skulle bruges til).

    Jeg er helt enig med dig i at løsningen ikke er særlig effektiv og mest af alt bare er symbolsk. Men symbolik er af og til også nok. Et skilt der siger “adgang forbudt” virker i de fleste tilfælde for det er faktisk de færreste der har lyst til at være kriminelle.






  • Spillemyndigheden mente omvendt, at det var i offentlighedens og forbrugernes interesse hurtigst muligt at få blokeret siden, men nu har Østre Landsret besluttet, at man alligevel burde have partshørt Polymarket.

    Derfor har den sendt sagen tilbage til Retten på Frederiksberg, som så på ny skal behandle sagen og tage stilling til, om Polymarket skal blokeres igen eller ej.

    Så det er ikke sådan at det er lovliggjort, men det er heller ikke blevet dømt ulovligt endnu. Man blokerer bare ikke før beslutningen er taget, hvilket vel er fair nok.













  • I agree that dependencies and package management is a real problem in programming nowadays, but it is not a problem unique to Rust. In fact, I struggle to name a single popular language nowadays that doesn’t have the exact same problems.

    It’s not so much “But that’s not how you build stable software.” It’s more like “But that’s not how you build software [at all today].” Modern software is powered by loads of shared packages, that’s just how all modern languages work. This is equally true for Rust and Python.

    Rust still has the edge here btw. Rust libraries (crates) are often very high quality with very good documentation. The language again helps here a lot, by providing extensive tooling for automatic documentation generation. Documentation in other languages are is far less helpful or poorly written. This is also again something that helps an AI write better code (just as it helps humans write better code).

    The packaging also helps elevate Rust to a high-level language, because you can build easily usable abstractions in packages that can be used in simple programs. All the complexity can be hidden away in a crate and suddenly Rust feels more like Python. I think that’s actually a good thing from package managers.


  • Right now everyone is asking their AI agents to rewrite programs in Rust or C or assembly. This is fun, but it’s not a serious attempt at optimization.

    C or assembly seems pointless and only for performance. But the reason people (re) write programs in Rust is because Rust as a language has a lot of guardrails that help make a program more stable, more correct. That reliability is the real reason for Rust. The performance is just a cherry on top.

    This is actually exactly what you want in a language for AI. This is anecdotal from my side, but in my experience, an AI writing Rust will write far less sloppy crap than an AI writing Python.

    Most of the argument against Rust has historically been that prototyping is slow and the language is a bother to write because the compiler makes it hard. But this only holds if humans are the bottleneck for writing the code! Rust therefore has all of the benefits but basically none of the downsides when having an AI write it.