Skip Navigation
Jump
What is your favourite open source software that you discovered in the past year, that you can no longer live without?
  • it's the sort of tool that is really just fundamental now and should be ubiquitous and promoted and taught and talked about every where there is knowledge work. Even more so as there's a great open source version of the tool.

    13
  • Jump
    Trams are expensive here
  • Oh yea, I hear you.

    What your point does though is open up the discussion about whether enforcement makes financial sense in isolation. And once you open that door, the whole becomes uncomfortable for a lot of people who are stuck in a simple black-and-white justice mentality, where "do what you're supposed, pay what they charge, or be punished" is all there is to making the world work well. You know, "law and order" types.

    You're trying to talk about incentives. For many though that's a very dangerous slippery slope. So I'm trying to get a head of that and wonder if the end of that slippery slop is actually a demonstrably good thing.

    2
  • Jump
    Trams are expensive here
  • I remember hearing rumours during the role out that tech employees were found asking for help on forums in ways that weren’t promising for the health and talent of the people building it.

    But yea, it’s the embarrassment of this sort of stuff that must be masking the real financials of PT and how viable a free system would be.

    6
  • Jump
    Trams are expensive here
  • Yea I’ve kept track of how often I’ve encountered inspectors, and most of the time it’d be worth it to not get the ticket or not tap on. Sometimes though I’ve noticed an increase in the number of inspectors that would definitely shift the equation. Also train stations with gates complicate the matter.

    I don’t know if it’s out there, but I’d personally like to know how the finances come out for making PT free. You obviously lose revenue, but also all the overhead of paying for inspectors and for all of the ticketing infrastructure. I also wonder if the part that makes the finances work is all the fines collected, which would be pretty fucking shithouse if true.

    3
  • Jump
    Is Bluesky (going to be) as community-run as Mastodon?
  • The catch is that the whole system is effectively centralised on BlueSky backend services (basically the relay). So while the protocol may be standardised and open, and interpreted with decentralised components, they’ll control the core service. Which means they can unilaterally decide to introduce profitable things like ads and charging for features.

    The promise of the system though is that it provides for various levels of independence that can all connect to each other, so people with different needs and capabilities can all find their spot in the ecosystem. Whether that happens is a big question. Generally I’d say I’m optimistic about the ideas and architecture, but unsure about whether the community around it will get it to what I think it should be.

    14
  • Jump
    The most watched Netflix shows in their first 91 days
  • I don’t recall seeing ads in Netflix

    Didn’t they start an ads tier ages ago?

    And yea I wasn’t commenting on the shows, just that I’d been away from Netflix for so long I haven’t even had a chance to see any of these.

    1
  • Jump
    The most watched Netflix shows in their first 91 days
  • It's funny how long I've been off of netflix ... I haven't seen any of these (even despite wanting to watch Stranger Things S4 just to finish it).

    Something about netflix just burned me. I tried subscribing again after they introduced ads and the amount clunkiness and incompatibility they'd introduced through that basically burned me for good. I subscribe to some things here and there but I'd lost track of how much netflix is basically off of my radar.

    15
  • Jump
    cohost to shut down at end of 2024
  • Suspicion is totally fair re BlueSky IMO. The system they’ve design seems to me (and others AFAICT) to have the potential to include interconnected components or sections with various degrees of independence.

    The elephant in the room, which I point out on BlueSky whenever I can, is that no one seems to really be trying to build the hard parts of that out. Which is a shame because it could be interesting.

    EG, there’s a chance that a hybridised system running both BlueSky’s protocol and the fediverse’s could be viable and quite useful. Add to that the integration with some E2EE, and it finally feels like an actual attempt at building something new for the modern internet.

    Fortunately there is some noise around these ideas, so hopefully their system can outlast their finances. But yea, a rug pull is definitely not out of the question.

    2
  • Jump
    uv under discussion on Mastodon
  • Oh I’m with you there! And otherwise totally understandable.

    1
  • Jump
    Neil Gaiman Offers To Step Back From ‘Good Omens’ Season 3
  • I'm not close to Gaiman or the fandom or the story, at all ... but I did manage to pickup on some of the whisper network through mastodon, where I read a couple of posts or blog posts by people who seemed to be close to the fandom and even be friends with him (in one case). The vibe was very much he's likely a womanising guy and has been his whole life and likely has standards "below" what most would consider normal. There also seemed to be a bit of introspection about how much the fandom around him was kinda culty and that that clearly enabled whatever he did, as a common enough pattern seemed to be that someone would go through something unseemly, but because it was Gaiman and all their friends were fans, they presumed it was them or their fault and never wanted to open up about it.

    Like I said though, this is essentially gossip, so don't take it seriously or anything (also I don't have any links or anything).

    1
  • Jump
    uv under discussion on Mastodon
  • I think for python tooling the choice is Python Vs Rust. C isn’t in the mix either.

    That seems fair. Though I recall Mumba making headway (at least in the anaconda / conda space) and it is a C++ project. AFAIU, their underlying internals have now been folded into conda, which would mean a fairly popular, and arguably successful portion of the tooling ecosystem (I tended to reach for conda and recommend the same to many) is reliant on a C++ foundation.

    On the whole, I imagine this is a good thing as the biggest issue Conda had was performance when trying to resolve packaging environments and versions.

    So, including C++ as part of C (which is probably fair for the purposes of this discussion), I don't think C is out of the mix either. Should there ever be a push to fold something into core python, using C would probably come back into the picture too.


    I think there’s a survivor bias going on here.

    Your survivorship bias point on rust makes a lot of sense ... there's certainly some push back against its evangelists and that's fair (as someone who's learnt the language a bit). Though I think it's fair to point out the success stories are "survivorship" stories worth noting.

    But it seems we probably come back to whether fundamental tooling should be done in python or a more performant stack. And I think we just disagree here. I want the tooling to "just work" and work well and personally don't hold nearly as much interest in being able to contribute to it as I do any other python project. If that can be done in python, all the better, but I'm personally not convinced (my experience with conda, while it was a pure python project, is informative for me here)

    Personally I think python should have paid more attention to both built-in tooling (again, I think it's important to point out how much of this is simply Guido's "I don't want to do that" that probably wouldn't be tolerated these days) and built-in options for more performance (by maybe taking pypy and JIT-ing more seriously).

    Maybe the GIL-less work and more performant python tricks coming down the line will make your argument more compelling to people like me.

    (Thanks very much for the chat BTW, I personally appreciate your perspective as much as I'm arguing with you)

    2
  • Jump
    uv under discussion on Mastodon
  • Yep! And likely the lesson to take from it for Python in general. The general utility of a singular foundation that the rest of the ecosystem can be built out from.

    Even that it’s compiled is kinda beside the point. There could have been a single Python tool written in Python and bundled with its own Python runtime. But Guido never wanted to do projects and package management and so it’s been left as the one battery definitely not included.

    5
  • Jump
    uv under discussion on Mastodon
  • I feel like this is conflating two questions now.

    1. Whether to use a non-Python language where appropriate
    2. Whether to use rust over C, which is already heavily used and fundamental in the ecosystem (I think we can put cython and Fortran to the side)

    I think these questions are mostly independent.

    If the chief criterion is accessibility to the Python user base, issue 2 isn’t a problem IMO. One could argue, as does @eraclito@feddit.it in this thread, that in fact rust provides benefits along these lines that C doesn’t. Rust being influenced by Python adds weight to that. Either way though, people like and want to program in rust and have provided marked success so far in the Python ecosystem (as eraclito cites). It’s still a new-ish language, but if the core issue is C v Rust, it’s probably best to address it on those terms.

    6
  • Jump
    Population density in 900+ urban areas across the world
  • Huh. I hadn’t really thought about it before, but it would seem to indicate that size and density are mostly independent parameters of a city.

    8
  • Jump
    The Failed Migration of Academic Twitter
  • If there is a platform that does it better, I bet people will start to notice.

    Yea ... I suspect it's a protocol problem more than any one platform, because there's just too much flexibility in the protocol and so any inter-platform transfer is necessarily noisy. Multiplied by the number of platforms, and you get quite a bit of noise.

    To your point though, a new platform that kinda does it all on its own could likely take off quite well and then set a new de facto standard around how to do things. Bonfire seemed to be that, and may still be. AFAIU, they're trying to solve performance issues right now before properly opening up.

    2
  • Jump
    uv under discussion on Mastodon
  • Fair, but at some point the "dream" breaks down. Python itself is written in C and plenty of packages, some vital, rely on C or Cython (or fortran) and rust now more and more. So why not the tooling that's used all the time and doing some hard work and often in build/testing cycles?

    If Guido had packaging and project management included in the standard library from ages ago, with parts written in C, no one would bat an eye lid whether users could contribute to that part of the system. Instead, they'd celebrate the "batteries included", "ease of use" and "zen"-like achievements of the language.

    Somewhere in Simon's blog post he links to a blog post by Armin on this point, which is that the aim is to "win", to make a singular tool that is better than all the others and which becomes the standard that everyone uses so that the language can move on from this era of chaos. With that motive, the ability for everyday users to contribute is no longer a priority.

    9
  • Jump
    The Failed Migration of Academic Twitter
  • Definitely interesting idea (I hadn't really quite seen it formalised like this)! I've kinda had vague similar-ish thoughts along these lines too.

    Any chance you'd be willing to go into any more detail, or point to specifics? I'm not familiar with what's going on over on bestiver or programming.dev in the way of service-type things.

    4
  • Jump
    cohost to shut down at end of 2024
  • Just feels like every attempt at alternative social media is dying as the internet shrinks to a few corporate websites that control everything.

    Yea ... it's sort of a lens for me as I view/critique the actions and decisions of people building alt-social ... this stuff is hard and fragile but also important ... so not fucking around with it kinda matters (to me at least).

    The hate toward BlueSky from mastodon/AP people, for example, is misguided I think. The, IMO, general lack of concern for inter-platform interop across the fediverse bothers me too, where I ask whether a platform is being a good "fediverse citizen". And some of the "cultural purity through vigilance" culture out of the mastodon/microblogging crowd is, IMO, short sighted.

    A common thread being a readiness for negative behaviour and effects rather than building and supporting.

    6
  • Jump
    The Failed Migration of Academic Twitter
  • As in a new one would be necessary to do the sorts of things I'm suggesting ... or the current moment requires a sort of rebranding and pivot that is best served by a new platform?

    1
  • How are people feeling about it? I was disappointed by season 1, but happy to keep watching as I'm a die hard fan from childhood.

    Season 2 had me excited at first ...

    spoilers (and ranting)

    The first two-three episodes at least had me even a little pumped.

    The dark wizard in the east very much signals to me that the stranger could be a blue wizard, along with the dark wizard, which is honestly very cool and a nice way to split the difference around Tolkien's "speculation" on what happened to them.

    Getting more complex Sauron manipulation and moving the plot along too seemed nice.

    But after episode 4, I don't know. I came away from it thinking it might have been the worst tv episode I've watched since Picard S2, which was very strange given how much interesting shit they did. Ents, Bombadil, Wizards, Hobbit origins (actually I don't care for the amount of hobbit stuff in the show at all).

    But there was something just boring about it all for me.

    The only way I can explain what I think I'm seeing, and why it's fundamentally flawed, is that the writers/directors want to take Tolkien seriously and even feel rather pressured to do so ... and so in many ways they're actually writing/filming that sense of seriousness rather than a well thought out adaptation style.

    The clue for me is how the whole show is at once strangely grounded and somehow "elevated" at the same time. The elves, such as Galadriel and Elrond, are kinda normal people doing normal things a lot of the time (compare LoTR trilogy Galadriel basically being mind-crushing and haunting most of the time) ... but talk as though they're reading directly from the bible or Silmarillion. Same for Halbrand/Annatar/Sauron. The construction of the rings is a clue into this I think, where they've attempted to portray it as powerful and important, but there's absolutely no sense of how in the world they're magical, no indication that there's some special elven craft behind them. Just "add mithril and get powerful rings".

    Bombadil's dialogue seemed the same to me. Talking about being the eldest as though he's talking about what happened last week. Now in that character this sort of approach makes the most sense. But even so, there didn't seem to be any joy, jolly or aloofness about the character to signal how old he must be to be casual about witnessing the beginning of time. And there's always the concern the show should have for making us the viewer feel what's happening on screen ... and I don't think we felt Bombadil's mysteriousness much at all. Compare with, in the LoTR books, Tolkien using a wonderful way of showing that ... the one ring had no affect no him whatsoever to the point that he could see Frodo while he was wearing it.

    The only breath of fresh air so far has been the dark wizard, which clearly takes cues from Saruman. It's probably been the only sense stylistically I've gotten that we're in a lost age of a fantasy world.

    One take I had from season 1 was that RoP's biggest problem might be that it's being made after Game of Thrones not before it. That GoTs is absolutely the wrong influence for a show like this and yet is likely to have one due to its pervasive success. And I feel like I may have been right about that. The Tolkien world and GoT "politics and intrigue" are not compatible. Moreover, I suspect the GoT style may have run its course somewhat. A show like RoP was a chance to try something interestingly mystical and I don't think the creators were up to the challenge, perhaps not at all.

    8
    www.newsweek.com Russia just found huge oil reserves in Antarctica

    The reserves uncovered contain around 511 billion barrels worth of oil.

    While territorial claims are and will likely be heated, what struck me is that the area is right near the Drake Passage, in the Weddell Sea (which is fundamental to the world's ocean currents AFAIU).

    I don't know how oil drilling in the antarctic could affect the passage, but still, I'm not sure I would trust human oil hunger with a 10ft pole on that one.

    Also interestingly, the discovery was made by Russia, which is a somewhat ominous clue about where the current "multi-polar" world and climate change are heading. Antarctica, being an actual continent that thrived with life up until only about 10-30 M yrs ago, is almost certainly full of resources.

    67

    It's funny, at time of posting, many of the YT comments are very nostalgic about how much has happened in this 8 year period ... and I can't lie, I feel it too god damn it.

    5

    Seems like fertile ground for coming up with something fun and interesting ... a whole shadow universe that barely touches ours ... but I don't think I've ever seen it.

    24

    Rant …

    spoiler

    I’m talking about Ash/Rook, obviously.

    Just saw the film recently, and while it’s a bit of a love it or hate it film I think, the Rook character is I think objectively egregious.

    The idea is good, IMO, in a number of ways, and I can understand that the film makers felt like it was all done with love and affection for Holm and the character. As a viewer, not necessarily onboard with how many cues the film was taking from the franchise, I noticed the silhouette of Rook pretty quickly and was quite happy/hyped to see where it would go.

    But OMG the execution is unforgivable! And I feel like this is just so much of what’s wrong with Hollywood and VFX, and also indicates that some execs were definitely intervening in this film. Somewhat fortunately for the film, it had a low budget (AFAICT, by Wikipedia) and is making a profit.

    But it’s no excuse to slap some bad CGI onto shots that were not designed for bad CGI. Close ups on the uncanny valley! Come on! AFAICT, bad CGI is often the result of a complete disconnect between the director and the VFX crew, in part because the VFX industry is kept at arms length from the film industry, despite (it because of) its massive importance.

    That CGI is not something you do a close up on. No remotely decent director would have done that knowing the CGI looked like that. This is likely bad studio management creating an unworkable situation.

    What could have worked much better IMO is don’t have the synth functioning well. Have its facial expressions and movements completely artificial and mechanical. Rely on the likeness of Holm and the AI voice (which did and generally do work well). Could have been done just with a well directed animatronic coupled with some basic CGI to enrich some textures and details. Instead we got a dumb “we’ll do it in post” and tortured some poor editor into cutting those shots together.

    For many the film was a mixed bag. For me too. But this somehow prevents me from embracing it because I just don’t trust the people who made it.

    … End rant.

    16

    A nice and fair comparison I thought. The main difference, it seems, was the styles of the two films, where a bunch of stylistic choices rather disparate from whether CGI was used or not separate the two.

    My take after seeing furiosa was that it's biggest flaw was that its makers struggled with the expectations of Fury Road and I think these stylistic differences kinda support that, where I'd guess they felt like they had to go with a different look and not simply repeat Fury Road's aesthetic when in the end there may not have been much of a coherent artistic purpose behind those changes.

    0

    New genre just dropped!

    I've liked some of the other things this guy has done, but didn't get into this track at first. As I kept watching though, I got more and more into it and am certain I'd be down for an album of this stuff.

    4

    Yes, I'm slow, sorry!

    Now this may very well be excessive expectations. I had heard a few people say it's this year's Andor. IE, you should just watch it even if it's not the sort of thing you think you'd be into. Also, I've never played the games

    I've just finished the first 2 episodes, and, for me, it's not bad, it's a kinda interesting world ... but there's a distinctly empty feeling and awkwardness to the show for me. Sometimes scenes feel like they're either filling time or still trying to find their rhythm. I'm not sure any of the dialogue has caught my ear (at all). I'm not sure I've picked up on any interesting stakes or mysteries. And I've often wondered about the directing (where I can't help but wonder if Jonathan Nolan's directing is more about trying to compete with his brother).

    The soft tipping point for me was the Knight's fight with the Ghoul (episode 2) ... it just felt pointless and childish. The whole scene seemed to strangely lack any gravity or impetus. And I find myself ~2.5 hrs in and not caring about anything that's happening. It's a post nuclear apocalypse world, with some mutants, a naive bunker person, and a manipulative corporation or two doing sneaky shit ...

    ... dunno ... what am I missing? Should I just keep watching?

    29

    Watching this, and seeing more of these types of interviews from Corridor Crew, it struck me that it's filling the void left by death of DVDs/BluRays and their special features.

    0
    blog.sylver.dev Build your own SQLite, Part 1: Listing tables

    As developers, we use databases all the time. But how do they work? In this series, we'll try to answer that question by building our own SQLite-compatible database from scratch. Source code examples will be provided in Rust, but you are encouraged t...

    2

    Intro

    Having read through the macros section of "The Book" (Chapter 19.6), I thought I would try to hack together a simple idea using macros as a way to get a proper feel for them.

    The chapter was a little light, and declarative macros (using macro_rules!), which is what I'll be using below, seemed like a potentially very nice feature of the language ... the sort of thing that really makes the language malleable. Indeed, in poking around I've realised, perhaps naively, that macros are a pretty common tool for rust devs (or at least more common than I knew).

    I'll rant for a bit first, which those new to rust macros may find interesting or informative (it's kinda a little tutorial) ... to see the implementation, go to "Implementation (without using a macro)" heading and what follows below.

    Using a macro

    Well, "declarative macros" (with macro_rules!) were pretty useful I found and easy to get going with (such that it makes perfect sense that they're used more frequently than I thought).

    • It's basically pattern matching on arbitrary code and then emitting new code through a templating-like mechanism (pretty intuitive).
    • The type system and rust-analyzer LSP understand what you're emitting perfectly well in my experience. It really felt properly native to rust.

    The Elements of writing patterns with "Declarative macros"

    Use macro_rules! to declare a new macro

    Yep, it's also a macro!

    Create a structure just like a match expression

    • Except the pattern will match on the code provided to the new macro
    • ... And uses special syntax for matching on generic parts or fragments of the code
    • ... And it returns new code (not an expression or value).

    Write a pattern as just rust code with "generic code fragment" elements

    • You write the code you're going to match on, but for the parts that you want to capture as they will vary from call to call, you specify variables (or more technically, "metavariables").
      • You can think of these as the "arguments" of the macro. As they're the parts that are operated on while the rest is literally just static text/code.
    • These variables will have a name and a type.
    • The name as prefixed with a dollar sign $ like so: $GENERIC_CODE.
    • And it's type follows a colon as in ordinary rust: $GENERIC_CODE:expr
      • These types are actually syntax specifiers. They specify what part of rust syntax will appear in the fragment.
      • Presumably, they link right back into the rust parser and are part of how these macros integrate pretty seamlessly with the type system and borrow checker or compiler.
      • Here's a decent list from rust-by-example (you can get a full list in the rust reference on macro "metavariables"):
        • block
        • expr is used for expressions
        • ident is used for variable/function names
        • item
        • literal is used for literal constants
        • pat (pattern)
        • path
        • stmt (statement)
        • tt (token tree)
        • ty (type)
        • vis (visibility qualifier)

    So a basic pattern that matches on any struct while capturing the struct's name, its only field's name, and its type would be:

    rust macro_rules! my_new_macro { ( struct $name:ident { $field:ident: $field_type:ty } ) }

    Now, $name, $field and $field_type will be captured for any single-field struct (and, presumably, the validity of the syntax enforced by the "fragment specifiers").

    Capture any repeated patterns with + or *

    • Yea, just like regex
    • Wrap the repeated pattern in $( ... )
    • Place whatever separating code that will occur between the repeats after the wrapping parentheses:
      • EG, a separating comma: $( ... ),
    • Place the repetition counter/operator after the separator: $( ... ),+

    Example

    So, to capture multiple fields in a struct (expanding from the example above):

    rust macro_rules! my_new_macro { ( struct $name:ident { $field:ident: $field_type:ty, $( $ff:ident : $ff_type: ty),* } ) }

    • This will capture the first field and then any additional fields.
      • The way you use these repeats mirrors the way they're captured: they all get used in the same way and rust will simply repeat the new code for each repeated captured.

    Writing the emitted or new code

    Use => as with match expressions

    • Actually, it's => { ... }, IE with braces (not sure why)

    Write the new emitted code

    • All the new code is simply written between the braces
    • Captured "variables" or "metavariables" can be used just as they were captured: $GENERIC_CODE.
    • Except types aren't needed here
    • Captured repeats are expressed within wrapped parentheses just as they were captured: $( ... ),*, including the separator (which can be different from the one used in the capture).
      • The code inside the parentheses can differ from that captured (that's the point after all), but at least one of the variables from the captured fragment has to appear in the emitted fragment so that rust knows which set of repeats to use.
      • A useful feature here is that the repeats can be used multiple times, in different ways in different parts of the emitted code (the example at the end will demonstrate this).

    Example

    For example, we could convert the struct to an enum where each field became a variant with an enclosed value of the same type as the struct:

    rust macro_rules! my_new_macro { ( struct $name:ident { $field:ident: $field_type:ty, $( $ff:ident : $ff_type: ty),* } ) => { enum $name { $field($field_type), $( $ff($ff_type) ),* } } }

    With the above macro defined ... this code ...

    rust my_new_macro! { struct Test { a: i32, b: String, c: Vec<String> } }

    ... will emit this code ...

    rust enum Test { a(i32), b(String), c(Vec<String>) }

    Application: "The code" before making it more efficient with a macro

    Basically ... a simple system for custom types to represent physical units.

    The Concept (and a rant)

    A basic pattern I've sometimes implemented on my own (without bothering with dependencies that is) is creating some basic representation of physical units in the type system. Things like meters or centimetres and degrees or radians etc.

    If your code relies on such and performs conversions at any point, it is way too easy to fuck up, and therefore worth, IMO, creating some safety around. NASA provides an obvious warning. As does, IMO, common sense and experience: most scientists and physical engineers learn the importance of "dimensional analysis" of their calculations.

    In fact, it's the sort of thing that should arguably be built into any language that takes types seriously (like eg rust). I feel like there could be an argument that it'd be as reasonable as the numeric abstractions we've worked into programming??

    At the bottom I'll link whatever crates I found for doing a better job of this in rust (one of which seemed particularly interesting).

    Implementation (without using a macro)

    The essential design is (again, this is basic):

    • A single type for a particular dimension (eg time or length)
    • Method(s) for converting between units of that dimension
    • Ideally, flags or constants of some sort for the units (thinking of enum variants here)
      • These could be methods too

    ```rust #[derive(Debug)] pub enum TimeUnits {s, ms, us, }

    #[derive(Debug)] pub struct Time { pub value: f64, pub unit: TimeUnits, }

    impl Time { pub fn new<T: Into<f64>>(value: T, unit: TimeUnits) -> Self { Self {value: value.into(), unit} }

    fn unit_conv_val(unit: &TimeUnits) -> f64 { match unit { TimeUnits::s => 1.0, TimeUnits::ms => 0.001, TimeUnits::us => 0.000001, } }

    fn conversion_factor(&self, unit_b: &TimeUnits) -> f64 { Self::unit_conv_val(&self.unit) / Self::unit_conv_val(unit_b) }

    pub fn convert(&self, unit: TimeUnits) -> Self { Self { value: (self.value * self.conversion_factor(&unit)), unit } } } ```

    So, we've got:

    • An enum TimeUnits representing the various units of time we'll be using
    • A struct Time that will be any given value of "time" expressed in any given unit
    • With methods for converting from any units to any other unit, the heart of which being a match expression on the new unit that hardcodes the conversions (relative to base unit of seconds ... see the conversion_factor() method which generalises the conversion values).

    Note: I'm using T: Into<f64> for the new() method and f64 for Time.value as that is the easiest way I know to accept either integers or floats as values. It works because i32 (and most other numerics) can be converted lossless-ly to f64.

    Obviously you can go further than this. But the essential point is that each unit needs to be a new type with all the desired functionality implemented manually or through some handy use of blanket trait implementations

    Defining a macro instead

    For something pretty basic, the above is an annoying amount of boilerplate!! May as well rely on a dependency!?

    Well, we can write the boilerplate once in a macro and then only provide the informative parts!

    In the case of the above, the only parts that matter are:

    • The name of the type/struct
    • The name of the units enum type we'll use (as they'll flag units throughout the codebase)
    • The names of the units we'll use and their value relative to the base unit.

    IE, for the above, we only need to write something like:

    rust struct Time { value: f64, unit: TimeUnits, s: 1.0, ms: 0.001, us: 0.000001 }

    Note: this isn't valid rust! But that doesn't matter, so long as we can write a pattern that matches it and emit valid rust from the macro, it's all good! (Which means we can write our own little DSLs with native macros!!)

    To capture this, all we need are what we've already done above: capture the first two fields and their types, then capture the remaining "field names" and their values in a repeating pattern.

    Implementation of the macro

    The pattern

    rust macro_rules! unit_gen { ( struct $name:ident { $v:ident: f64, $u:ident: $u_enum:ident, $( $un:ident : $value:expr ),+ } ) }

    • Note the repeating fragment doesn't provide a type for the field, but instead captures and expression expr after it, despite being invalid rust.

    The Full Macro

    ```rust macro_rules! unit_gen { ( struct $name:ident { $v:ident: f64, $u:ident: $u_enum:ident, $( $un:ident : $value:expr ),+ } ) => { #[derive(Debug)] pub struct $name { pub $v: f64, pub $u: $u_enum, } impl $name { fn unit_conv_val(unit: &$u_enum) -> f64 { match unit { $( $u_enum::$un => $value ),+ } } fn conversion_factor(&self, unit_b: &$u_enum) -> f64 { Self::unit_conv_val(&self.$u) / Self::unit_conv_val(unit_b) } pub fn convert(&self, unit: $u_enum) -> Self { Self { value: (self.value * self.conversion_factor(&unit)), unit } } } #[derive(Debug)] pub enum $u_enum { $( $un ),+ } } }

    ```

    Note the repeating capture is used twice here in different ways.

    • The capture is: $( $un:ident : $value:expr ),+

    And in the emitted code:

    • It is used in the unit_conv_val method as: $( $u_enum::$un => $value ),+
      • Here the ident $un is being used as the variant of the enum that is defined later in the emitted code
      • Where $u_enum is also used without issue, as the name/type of the enum, despite not being part of the repeated capture but another variable captured outside of the repeated fragments.
    • It is then used in the definition of the variants of the enum: $( $un ),+
      • Here, only one of the captured variables is used, which is perfectly fine.

    Usage

    Now all of the boilerplate above is unnecessary, and we can just write:

    rust unit_gen!{ struct Time { value: f64, unit: TimeUnits, s: 1.0, ms: 0.001, us: 0.000001 } }

    Usage from main.rs:

    ```rust use units::Time; use units::TimeUnits::{s, ms, us};

    fn main() {

    let x = Time{value: 1.0, unit: s}; let y = x.convert(us);

    println!("{:?}", x); println!("{:?}", x); } ```

    Output:

    rust Time { value: 1.0, unit: s } Time { value: 1000000.0, unit: us }

    • Note how the struct and enum created by the emitted code is properly available from the module as though it were written manually or directly.
    • In fact, my LSP (rust-analyzer) was able to autocomplete these immediately once the macro was written and called.

    Crates for unit systems

    I did a brief search for actual units systems and found the following

    dimnesioned

    dimensioned documentation

    • Easily the most interesting to me (from my quick glance), as it seems to have created the most native and complete representation of physical units in the type system
    • It creates, through types, a 7-dimensional space, one for each SI base unit
    • This allows all possible units to be represented as a reduction to a point in this space.
      • EG, if the dimensions are [seconds, meters, kgs, amperes, kelvins, moles, candelas], then the Newton, m.kg / s^2 would be [-2, 1, 1, 0, 0, 0, 0].
    • This allows all units to be mapped directly to this consistent representation (interesting!!), and all operations to then be done easily and systematically.

    Unfortunately, I'm not sure if the repository is still maintained.

    uom

    uom documentation

    • This might actually be good too, I just haven't looked into it much
    • It also seems to be currently maintained

    F#

    Interestingly, F# actually has a system built in!

    14

    I looked around and struggled to find out what it does?

    My guess would be that it notifies you of when new posts are made to communities you subscribe to. But that sounds like a lot, so I'm really not sure.

    Otherwise, is it me or does the wording here not speak for itself?

    20
    https:// www.bain.com /insights/ai-survey-four-themes-emerging/

    Report showing the shift in AI sentiment in the industry. Relatively in depth and probably coming from a pro-AI bias (I haven’t read the whole thing).

    Last graph at the bottom was what I was linked to. Clearly shows a corner turning where those closer to the actual “product” are now sceptical while management (the last category in the chart) are more committed.

    0

    Generally, the lens I've come to criticise any/all fediverse projects is how well they foster community building. One reason why I like and "advocate" for the lemmy/threadiverse side of things is precisely because of this and how the centrality of the community/sub/group is a good way of organising social media (IMO).

    Also, because of that, I recently came to be skeptical of the effects that the "All" feed can have. I didn't even realise that people relied mostly on the All feed until recently.

    I think I've reached the point now of being against it (at least tentatively). I know, it's a staple and there's no way it's going away. And I know it's useful.

    But thinking about the feature set, through the community building lens, I think it'd be fair to say that things are out of balance: they don't promote community building enough while also providing the All feed which dissolves community building.

    Not really a criticism of the developers ... AFAIU, the All feed is easier to implement than any other community building feature ... and it's expected from reddit (though it isn't normal on forums AFAICT, which is maybe worth considering for anyone happy to reassess what about reddit is retained and what isn't).

    But still, I can imagine a platform that is more focused on communities:

    • Community explorer tool built in.
      • Could even be a substitute for an All feed ... where you can browse through various communities you don't know about and see what they've posted recently
    • Multi-communities (long time coming by now for many I'd say)
      • Could even be part of the community explorer tool where you can create on-the-fly multi-communities to see their posts in a temporary feed
    • Private and local only communities (already here on lemmy and coming for private communities)
    • Post visibility options for Public communities (IE, posts that opt-in private)
    • More flexible notifications for various things/events that happen within a community
    • Wikis
    • Chat interface
      • I'm thinking this is pretty viable given that Lemmy used to use a web-socket auto-updating design ... add that to the flat chat view and you've got a chat room. There are resource issues, so limiting them to one per community or 6hrs per week per community or something would probably be necessary.

    A possibly interesting and frustrating aspect of all of these suggestions/ideas above is I can see their federation being problematic or difficult ... which raises the issue of whether there's serious tension between platform design and protocol capabilities.

    18

    There are also some gems in there about how old and constant underplaying the amount of VFX in a film is.

    From the video, Stand By Me had a VFX shot (the train bridge scene, of course) but no one was allowed to talk about that. And of course The Fugitive train crash scene had to have "real trains" even though it's all mostly miniatures.

    7
    pony.social Björkus "No time_t to Die" Dorkus (@thephd@pony.social)

    A lot of people think I'm being sarcastic here, which is fair because I only went toe-to-toe against people on Twitter and didn't do much here, so I'll state my full opinion below anyhow: I would agree with anyone about not wanting to replace C (or C++). But, C has been alive for 50 years (or just ...

    The post mentions data or research on how rust usage in is resulting in fewer errors in comparison to C. Anyone aware of good sources for that?

    8

    Lets try this experiment

    Start watching Big Trouble in Little China at 7pm, Central Time, USA (as precisely as you can) ... and come here for live posts as you watch!

    This is ~24 hours from the time of this post

    Here's a timeanddate.com link to the timezone(s) involved.

    ---

    @AVincentInSpace@pawb.social jas volunteered to run a live watch on cytube the day afterward (approx 7pm Monday). Posts and links should be coming (and see comments below on the idea).

    9

    Lets try this experiment

    Start watching Big Trouble in Little China at 7pm, Central European Summer Time (as precisely as you can) ... and come here for live posts as you watch!

    This is ~17 hours from the time of this post

    Here's a timeanddate.com link to the timezone(s) involved.

    1

    Lets try this experiment

    Start watching Big Trouble in Little China at 7pm, Australian Eastern Standard Time (as precisely as you can) ... and come here for live posts as you watch!

    This is ~9 hours from the time of this post

    Here's a timeanddate.com link to the timezone(s) involved.

    ---

    A little short notice, it's more of an experiment this time. I've got my DVD and will most likely pop in.

    3

    A supplement to typical tutorials that caters to C programmers interested in learning how to be unsafe upfront.

    Seems good from a quick skim. Also seems that the final lesson is that starting on the safe/happy path in rust doesn’t have to cost performance if you know what you’re doing.

    0