demesisx
@demesisx@infosec.pub
Plutus, Haskell, Nix, Purescript. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, “move fast and break things” approaches
- Comment on Is anyone using PixelFed? How is your experience so far? 2 weeks ago:
the most mainstream one for the moment.
- Comment on Is anyone using PixelFed? How is your experience so far? 2 weeks ago:
It’s a ghost town (much like this comment thread). ;)
Being an early adopter can be boring sometimes.
- Comment on Nikon is acquiring US camera manufacturer RED 2 months ago:
Maybe Nikon will be able to guide them into not making dogshit cameras compared to their competitors while using snake oil sales tactics to lie to customers who are impossible to bullshit.
- Comment on Translating OpenStreetMap data to HTML5 Canvas with Rust and WebAssembly | Programming | mary.codes 2 months ago:
This is incredibly well-written and informative. 👍🏼👍🏼👍🏼👍🏼👍🏼👍🏼👍🏼
Rust ✅ WASM ✅ HTML 5 Canvas ✅
Excellent.
- Comment on US concerned NASA will be overtaken by China's space program 2 months ago:
I came here to say exactly this.
Perhaps a space race with China would rekindle the motivation for our money grubbing demagogues to actually fund it.
- Comment on Typescript 2 months ago:
I have.
I’d probably be more interested in it if I were being forced by my day job to work in the JVM. I happen to be in a situation where I am my own boss working on projects completely alone and the tech I pick comes from months of wasting time making perfect the enemy of good. I know that raises quite a few red flags but I can’t help the way that they made me. Haha 🥴
From what I’ve gathered from Joseph Gordon Bell at the (IMO best software engineering podcast ever) Co-Recursive podcast, Scala sacrifices some of the purity and safety by its dependence on the the Java cargo cult. Partly, this is also a drawback of Purescript for me (since it’s intended to compile to JavaScript) but Purescript is starting to be able to escape that fate. Also, I’m a HUGE fan of Haskell syntax.
From your perspective, what pros and cons do you see if I were comparing Scala to Purescript?
Ps. The one that is actually really making me take notice lately is OCaml for the browser.
- Comment on Typescript 2 months ago:
I don’t know category theory and I use it every single day. Suit yourself, though.
- Comment on Typescript 2 months ago:
I vastly prefer Purescript despite it being the road less traveled. Typescript is just a fake-ish type system on top of JavaScript. But Purescript goes MUCH further in the mission of purity and code safety.
- Comment on TikTok Is Destroying Itself From the Inside Out 2 months ago:
Honestly, it’s more likely that they want to ban it because it allows China to manipulate the narrative in the US in ways that only Facebook, etc were able to in years past.
I love it when free market capitalists get a taste of their own “let people vote with their wallets, regulation be damned” medicine. The young generations are being radicalized against the US’s propaganda system and there’s not a goddamned thing our piece of shit Patriot Act-signing, civil-rights-eroding propagandistic demagogues can do about it (short of an outright ban).
- Comment on Indian Government to block ProtonMail after bomb threats were sent using a ProtonMail account 2 months ago:
What goes on the minds of government officials: “Oooh! I can use this as an excuse to take away the rights of our people under the guise of security!”
- Comment on My most memorable NES games 2 months ago:
Jackal! That game was a bonding moment for my brother and I.
- Comment on Strings do too many things 2 months ago:
…and that’s why I use monadic parsers at the input boundary.
- Comment on ‘Boycott Tesla’ ads to air during Super Bowl — “Tesla dances away from liability in Autopilot crashes by pointing to a note buried deep in the owner’s manual, that says Autopilot is only safe on fr... 2 months ago:
Here’s the whole article:
A California tech entrepreneur is paying more than half a million dollars for Super Bowl ads criticizing Tesla for not disabling its Autopilot technology outside the conditions for which it was designed, a problem highlighted by a Washington Post investigation this past fall and later cited in a recall of virtually every U.S. Tesla equipped with Autopilot, around 2 million vehicles. It’s the second consecutive year Tesla critic Dan O’Dowd has run an ad campaign on television’s biggest night. He leads the Dawn Project, a group that has sought a ban on Tesla’s driver-assistance technology. The latest campaign is unequivocal: “Boycott Tesla,” it says, following footage of deadly and severe crashes involving its vehicles. One ad features footage of Teslas running over child-size mannequins, depictions that have previously led Tesla to issue a cease-and-desist letter. O’Dowd said he was compelled to bring awareness to the latest issue with what he calls “the most incompetent software I’ve ever seen” in part by The Post’s investigation. O’Dowd founded Green Hills Software, which makes operating systems for cars and airplanes. “What possible reason is there that they don’t disable Autopilot on roads that they say are not safe?” he asked of Tesla.
Tesla and its chief executive, Elon Musk, did not respond to a request for comment. Musk’s followers have accused O’Dowd of a conflict of interest because one of Green Hills Software’s customers is Mobileye, which develops driver-assistance software. O’Dowd says his motivation stems purely from concerns over Tesla’s tech. Tesla maintains that its software is intended to be used by a fully attentive driver and argues that it is “morally indefensible not to make these systems available to a wider set of consumers,” citing figures it says show a lower prevalence of crashes when its software is activated. “The people would have it banned if they only knew the truth, if they only understood what it would do,” O’Dowd said. “Well, that’s our job. The politicians aren’t going to move until the public moves.”
The two ads highlight three significant crashes alleged to have involved Autopilot. In one, a 17-year-old was severely injured when a Tesla struck him at 45 mph as he disembarked a school bus in North Carolina that had its stop sign out and warning lights flashing. “Still Tesla does nothing,” the ad concludes. “Boycott Tesla to keep your kids safe.” The ad makes reference to prior Dawn Project videos depicting the alleged failure of Teslas to react to child-size mannequins in the road — including last year’s Super Bowl commercial, which aired weeks before the North Carolina crash.
The other ad set to air during this year’s game shows the crash that killed a 50-year-old father in 2019 when his Tesla drove under a semi-truck trailer and the moment a Tesla blew through a stop sign and blinking lights on a rural Florida road as it barreled toward a parked vehicle and flung a young couple into the air, killing one of them and leaving the other severely injured — footage first published by The Post. In both cases, Autopilot was operating in locations where it was not intended to be used. “Tesla dances away from liability in Autopilot crashes by pointing to a note buried deep in the owner’s manual that says Autopilot is only safe on freeways,” the commercial opens, pointing to federal pleas to restrict it. “Shockingly, Tesla refused,” the commercial continues, leading into footage of the semi-truck crash and the crash involving the young couple. “This caused many tragic accidents when Autopilot was enabled on roads where Tesla knows it isn’t safe. Tesla must be held accountable. Boycott Tesla to keep your family safe.”
O’Dowd’s group said the ads are airing in D.C., California, Delaware and Michigan.
Musk took last year’s Super Bowl attention in stride. “This will greatly increase public awareness that a Tesla can drive itself (supervised for now)” he tweeted about last year’s ad. The company is facing concerns over stagnating revenue, mounting worries about its capacity to deliver long-promised “Full Self-Driving” technology, and Wall Street hand-wringing over the persistent distraction of its mercurial CEO. It has shed billions in value, down around 15 percent just in the past month.
Musk has asked for a larger stake in the company as a condition for “growing Tesla to be a leader in AI & robotics,” saying that without 25 percent control he “would prefer to build products outside of Tesla.” But some investors have not given the idea a warm reception. In January, a Delaware judge ruled that an unprecedented $56 billion pay package awarded to him in 2018 was unfair.
FUCK YOU, JEFF BEZOS AND THE WASHINGTON POST
- Comment on Instagram and Facebook delete the accounts of Iran’s supreme leader 3 months ago:
Putin?!? 🤣🤣🤣🤣🤣🤣🤣
You tech bro neoliberal genocide supporters are so programmed that you can’t even identify your enemies. I’m a leftist not a Trumper. 🤣.
It’s annoying when I get baited into writing a book report only to be gaslighted by absolute disingenuous trolling. Get bent, wage slave
- Comment on Instagram and Facebook delete the accounts of Iran’s supreme leader 3 months ago:
Watch the video I linked. It’s actually, IMO, a conservative list (since much of our meddling is done in the shadows).
I’m not here online to do a book report for some MIC astroturfer (or perhaps amateur basement dwelling tech bro CIA bootlicker) who can’t use Wikipedia or google.
- Comment on Instagram and Facebook delete the accounts of Iran’s supreme leader 3 months ago:
- Comment on Are there academic paradigms in web frontend dev in the same way there are FP academic paradigms? 3 months ago:
I’m glad to introduce you. :)
- Comment on Are there academic paradigms in web frontend dev in the same way there are FP academic paradigms? 3 months ago:
Thanks for that explanation. That makes sense.
I guess I should also mention IHP.
I don’t interact with npm when I use it. I use nix and nixpkgs to build it which pulls packages from a predefined, fixed package set inside of Pursuit (Purescript’s package manager that feels a whole lot like Stackage). I suppose if I wanted to use it in the real world, I’d probably have to expose myself to some npm. But, from my cursory understanding and experience, it is probably less tainted by the safety issues in the npm than straight up JavaScript. Packages in pursuit (particularly the ones exposed in the standard package set I use) tend to be super high quality like the modules you’d find in GHC.
- Comment on Are there academic paradigms in web frontend dev in the same way there are FP academic paradigms? 3 months ago:
I’m confused why everyone sleeps on Purescript. I mean, it is currently QUITE obscure… I could be wrong but I feel like Purescript has all of the same goals as Elm but better.
- Comment on Are there academic paradigms in web frontend dev in the same way there are FP academic paradigms? 3 months ago:
AFAIK, Halogen for Purescript is about as FP as it gets in the front-end world. It’s pretty complicated but Halogen takes advantage of “free monads”. Perhaps you are looking for something even more rigorous since you mentioned Idris but I figured I’d mention that one.
I’m learning it now and it has not been easy. I tried to port a simple vanilla JavaScript dynamic draggable table over to Halogen and it has not been fun at all. I got 80% of the way there then started to have to reach for FFI, unsafeCoerce, or build my own Purescript module to capture mousevents.
- Comment on Instagram and Facebook delete the accounts of Iran’s supreme leader 3 months ago:
There is no statute of limitation on installing an oppressive regime in a foreign nation, CIA bootlicker.
- Comment on J&J, Merck, and Bristol Myers Squibb spend billions more on executives and stockholders than on R&D — Senate report points to greed and ‘patent thickets’ as key reasons for high prices 3 months ago:
This info graphic illustrates perfectly how First Past the Post would play out in a country like Sweden.
- Comment on Instagram and Facebook delete the accounts of Iran’s supreme leader 3 months ago:
✊🏽
- Comment on Instagram and Facebook delete the accounts of Iran’s supreme leader 3 months ago:
Speak of the devil, here’s Netanyahu channeling the villain from Captain America: Winter Soldier in a now deleted tweet.
The weak crumble, are slaughtered and are erased from history while the strong, for good or for ill, survive. The strong are respected, and alliances are made with the strong, and in the end peace is made with the strong.
- Comment on Instagram and Facebook delete the accounts of Iran’s supreme leader 3 months ago:
Argument? What I wrote is an undisputed fact.
- Comment on Instagram and Facebook delete the accounts of Iran’s supreme leader 3 months ago:
Our CIA is to blame for sabotaging Iran’s government (by installing a dictator) which threatened our oil monopoly. Then a few decades later, we get to pretend that Iran did it to themselves.
The Middle East was an incredibly advanced and educated part of the world before our CIA and NATO allies intentionally installed dictators everywhere.
- Comment on J&J, Merck, and Bristol Myers Squibb spend billions more on executives and stockholders than on R&D — Senate report points to greed and ‘patent thickets’ as key reasons for high prices 3 months ago:
We clearly know the problem with the world of today. However, we can’t do shit about it because US democracy is an absolute sham.
Choice A: unbridled consumption
Choice B: unbridled consumption
- Comment on Just 137 crypto miners use 2.3% of total U.S. power — government now requiring commercial miners to report energy consumption 3 months ago:
This is exactly the point of proof-of-stake. You can’t prove you’ve staked some coins if you don’t actually stake them. If you’ve retained control over your tokens then they’re not staked. I’m not sure how you think it could work otherwise.
WOW. Straight up wrong.
I’m guessing you have a YUGE bag of ETH staked. 🤣
Since you’re so wrong, it’s clear that you are absolutely guessing here while anon is spitting facts, being intellectually honest about which drawbacks actually exist in the world for proof of stake. Take the L, dude. haha
- Comment on [Meta] It would be great to have the subreddit automatically link to this community 3 months ago:
Last I checked, all Lemmy links and any mention of lemmy is censored site-wide on Reddit. They going to be particularly defensive about it until they do their IPO too.
- Comment on Introducing Pkl, a programming language for configuration 3 months ago:
cough::bro, do you even NIX?::cough