Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, “move fast and break things” approaches


AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0

  • 2 Posts
  • 173 Comments
Joined 1 year ago
cake
Cake day: June 17th, 2023

help-circle


  • RISC-V is an open instruction set, which should be what the Pi foundation (if their open source mission is to be taken at face value) would be switching to if they weren’t just a way for Broadcom to push their chips on the maker community under the guise of open source.

    https://riscv.org/news/2024/01/what-is-risc-v-and-why-is-it-important/#:~:text=Unlike proprietary architectures such as,the evolving landscape of computing.

    RISC-V, an open-source instruction set architecture (ISA), has been making waves in the world of computer architecture. “RISC-V” stands for Reduced Instruction Set Computing (RISC) and the “V” represents the fifth version of the RISC architecture. Unlike proprietary architectures such as ARM and x86, RISC-V is an open standard, allowing anyone to implement it without the need for licensing fees. This openness has led to a surge in interest and adoption across various industries, making RISC-V a key player in the evolving landscape of computing. At its core, an instruction set architecture defines the interface between software and hardware, dictating how a processor executes instructions. RISC-V follows the principles of RISC, emphasizing simplicity and efficiency in instruction execution. This simplicity facilitates easier chip design, reduces complexity, and allows for more straightforward optimization of hardware and software interactions. This stands in contrast to Complex Instruction Set Computing (CISC) architectures, which have more elaborate and versatile instructions, often resulting in more complex hardware designs. The open nature of RISC-V is one of its most significant strengths. The ISA is maintained by the RISC-V Foundation, a non-profit organization that oversees its development and evolution. The RISC-V Foundation owns, maintains, and publishes the RISC-V Instruction Set Architecture (ISA), an open standard for processor design. The RISC-V Foundation was founded in 2015 and comprises more than 200 members from various sectors of the industry and academia.










  • I started a fork of Lemmy geared toward inventory called Lemventory. I’m currently attempting to achieve dev/build tooling parity in Nix before I even touch a single line of their code. But that’s just my idiosyncratic way…anyone who actually knows rust and has their tooling ready could jump in and my Nix stuff wouldn’t get in the way.

    If you’re interested, it’ll probably be a pretty simple rewrite at first. So, you could branch my fork and explore the conversions that would need to be made to enable it if you want.



  • Here’s the gist of my idea so far:

    stores (or alliances of stores in similar industries) :: instances

    inventory items :: posts

    counts :: votes

    item categories (or entire stores depend on implementation) :: communities

    moderators are only allowed to post items to their own community or instance.

    comments can still exist (perhaps as item reviews with the same upvote/downvote mechanic).

    No actual transactions would be processed over this protocol. It would be solely for inventory broadcast/aggregation (like Shopify in that it houses the inventory of many vendors except without the transaction ability built-in since pub-sub is horrible for that kind of thing).

    Edit: if you have any opinions (even “what a stupid idea!”) I’d be open to them. I haven’t even written a single line of code yet and it’s a fresh idea in my head waiting to be shot down by someone less idealistic than myself.



    • switched to a split ergonomic mechanical keyboard
    • working on a fork of Lemmy geared toward inventory called “Lemventory”
    • moderating multiple Lemmy communities that are basically ghost towns (and I don’t care)
    • got rid of my Instagram (and all centralized forms of social media except YouTube) and replaced it with Pixelfed and others
    • letting my NixOS flag fly much more regularly now
    • hexbear defederation only created a Streisand Effect and piqued my curiosity about Marxism. I’m now much better educated about it and have come to conclude that lemmy.world is basically filled with smug, tech-bro, hive-mind, blue maga, chuds that support censorship of simple ideas and subscribe to blind, disingenuous American exceptionalism that wouldn’t even stand up to the most generous critical analysis.


  • demesisx@infosec.pubtoAsklemmy@lemmy.mlWhat is the best hip hop lyric of all time?
    link
    fedilink
    English
    arrow-up
    13
    arrow-down
    1
    ·
    edit-2
    3 months ago

    The Drop [Intro] Victor, a stranger to see you Who that? Who that, who that?

    [Verse: Viktor Vaughn] If I’m not working or putting work in I’m either wheeling and dealing, or probably jerkin my— Yep—listening to nothing, taking no suggestions Or destructive criticisms, that can’t improve on perfection Rock a crowd in sections on a good night, the hoes fight Always get the dough first then everything else goes right At least that’s what they say and who the fuck is they? Make a hick say “what the hey?” brought that chick from sick bay Ensign, he shoulda asked his upperclassmen Before he bust blast em, never trust no Cardassians Captain’s log supplemental The Klingons are now aboard the Enterprise rental vessal On my cue, photon torpedo Oh and if I’m not on the block with Jorgito And so on for the street though, smoke a pound of leek though I’m jokin on the fact that hip-hop has gone freakshow Don’t let the drama get you In the only genre of music where the fans shoot the messenger Bitch niggas talk behind your back like a catcher Either M-Y-O-B or B-Y-O-stretcher In that order: man, woman, son, daughter The beat sound like they underwater, make it fun to slaughter Even if you hear some wack shit you never give a chance Some shit sound like all you could do off it is river-dance It’s not a hobby, don’t be sloppy Doing deals with these labels is likened to a botched robbery Nobody supposed to get bodied, golly! This shit is like a folly 'bout to cold flip, probably It’s not me, he got ill spills knot in Brooknam Where even though kids kill they still chill and look calm While working on new developments for the book bomb In one bad experiment, it blew and took a hooker arm (“Arm and leg”) BOW! look mom, no hand Studied black magic for years out in no man’s land It’s like a barbecue, all-swine cookout To fuck up they plans like a blind man lookout Cram to overstand it, peep it and absorb it The same way he keep all the planets in they proper orbit Norbit, y’all better off going corporate Nobody wanna hear that bullshit it’s too morbid There’s no prints, he hold the mic with a mic glove And rolls dolo from state to state like Ike Love Like on top of the world loser keep it gully Rap creeps seem they got too much juice in they belly It’s why they brung V he still hungry And spit something thick on the mic like a lungy Mind ya daughter she on line for the water To get lucky like when she find a quarter kinda sorta Remember me God, clean timbs with emery board? He only came to save the game like a memory card Ooh shrewd, a lot of crews is too rude And it’s way too many let’s not and say we do dudes He said 24-7 I be on call He use his vacation days to watch Babylon fall Numbskulls… get to stepping they dumb dull And how he rep the mic is like the weapon from Krull Cats be like “what’s wrong with your man black?” Biohazard suit and Van Grack for the anthrax Jeez and can’t get no peace Form blazin sword for the police robeast Cochise, write a rhyme like a book report And sell it to a rookie you could tell by the hook he bought You ain’t know he sell hooks and choruses? They couldn’t bang the slang if they looked in thesauruses It’s like a friendly game of dodge ball Oddball God y’all, who played the garage wall With the Stan Smith’s checkerboard lace And the brand new INF they ain’t check the boy waist You saw his face? so who next to get they neck chopped Or popped like a Beck’s top, respect the drop It’s too much wreck hops Who next to get they neck chopped Or popped like a Beck’s top, respect the drop Woopdie-do flows do fifty like a hooptie do Groupie crews try to figure out from what coop he flew They out of place, beats sounds like outer space With no time to waste he was Audi without a trace