BatmanAoD

joined 2 years ago
[–] BatmanAoD@programming.dev 1 points 3 hours ago

I'm not even saying that Google's data collection is innocuous. I'm just saying that this post is incorrect in its claim that Google is letting Gemini access your apps even if you try to turn that access off. Just because Google does some nefarious things doesn't mean you can't think critically about actual specific actions they take.

[–] BatmanAoD@programming.dev 1 points 1 day ago

Oh, that makes much more sense; thanks.

[–] BatmanAoD@programming.dev 5 points 1 day ago (1 children)

I think the point of the question is what a hypothetical ideal language for CI/CD pipelines would look like.

[–] BatmanAoD@programming.dev 2 points 1 day ago* (last edited 1 day ago) (2 children)

The post doesn't say "imperative", it just differentiates between defining pipeline steps and defining the logic within a step.

...also, TCL? I haven't used it for ops, but my memory of tcl/tk is extremely negative.

...also also: a core part of a build, CI, or, CD pipeline is almost always invoking binaries to run a command. That's why shell scripts are so ubiquitous in pipeline-logic: invoking binaries is what they're for. And it's very difficult to do that a declarative way: Make comes close, but it's difficult to track any side-effects that aren't "update these files", and a huge amount of CI/CD is no longer just "update a file".

[–] BatmanAoD@programming.dev 15 points 3 days ago (2 children)

https://askubuntu.com/q/641049

TL;DR: it's supposed to send email to an administrator, but by default on some distros (including Ubuntu), it isn't actually sent anywhere.

[–] BatmanAoD@programming.dev 11 points 4 days ago (4 children)

This misunderstands the announcement completely.

What the announcement is saying is: previously, if you wanted Gemini to have access to text and chat apps, you also needed to enable Gemini Apps Activity, i.e. the feature that saves all Gemini interactions to the cloud. Now, the settings to enable or disable app access from history tracking are fully separate, so you can have app access enabled (if you want) even if the Apps Activity feature is disabled.

[–] BatmanAoD@programming.dev 9 points 4 days ago

That doesn't have anything to do with the announcement. What the announcement is saying is: previously, if you wanted Gemini to have access to text and chat apps, you also needed to enable Gemini Apps Activity, i.e. the feature that saves all Gemini interactions to the cloud. Now, the settings to enable or disable app access from history tracking are fully separate, so you can have app access enabled (if you want) even if the Apps Activity feature is disabled.

[–] BatmanAoD@programming.dev 2 points 1 week ago (1 children)

Do you mean Dan Luu, or one of the studies reviewed in the post?

[–] BatmanAoD@programming.dev 2 points 1 week ago

Yeah, I understand that Option and Maybe aren't new, but they've only recently become popular. IIRC several of the studies use Java, which is certainly safer than C++ and is technically statically typed, but in my opinion doesn't do much to help ensure correctness compared to Rust, Swift, Kotlin, etc.

[–] BatmanAoD@programming.dev 4 points 1 week ago (5 children)

I don't know; I haven't caught up on the research over the past decade. But it's worth noting that this body of evidence is from before the surge in popularity of strongly typed languages such as Swift, Rust, and TypeScript. In particular, mainstream "statically typed" languages still had null values rather than Option or Maybe.

[–] BatmanAoD@programming.dev 6 points 1 week ago (7 children)

Note that this post is from 2014.

[–] BatmanAoD@programming.dev 10 points 1 week ago

Partly because it's from 2014, so the modern static typing renaissance was barely starting (TypeScript was only two years old; Rust hadn't hit 1.0; Swift was mere months old). And partly because true evidence-based software research is very difficult (how can you possibly measure the impact of a programming language on a large-scale project without having different teams write the same project in different languages?) and it's rarely even attempted.

69
submitted 5 months ago* (last edited 5 months ago) by BatmanAoD@programming.dev to c/programmer_humor@programming.dev
 
34
submitted 1 year ago* (last edited 1 year ago) by BatmanAoD@programming.dev to c/rust@programming.dev
 

Almost five years ago, Saoirse "boats" wrote "Notes on a smaller Rust", and a year after that, revisited the idea.

The basic idea is a language that is highly inspired by Rust but doesn't have the strict constraint of being a "systems" language in the vein of C and C++; in particular, it can have a nontrivial (or "thick") runtime and doesn't need to limit itself to "zero-cost" abstractions.

What languages are being designed that fit this description? I've seen a few scripting languages written in Rust on GitHub, but none of them have been very active. I also recently learned about Hylo, which does have some ideas that I think are promising, but it seems too syntactically alien to really be a "smaller Rust."

Edit to add: I think Graydon Hoare's post about language design choices he would have preferred for Rust also sheds some light on the kind of things a hypothetical "Rust-like but not Rust" language could do differently: https://graydon2.dreamwidth.org/307291.html

view more: next ›