harryprayiv @ harryprayiv @infosec.pub

Posts

3

Comments

15

Joined

6 mo. ago

I find that Haskell and similar purely functional languages that use category theory pair well with situations that rely on parallelism. Especially Haskell because it is immutable and lazy (or Idris or Agda with their dependent types to prevent invalid circuits perhaps).

Circuits as Bicartesian Closed Categories

Maybe someday this stuff will be approachable to Arduino level tinkerers. Until then, I like to watch this guy make magic https://youtu.be/Q8K0aeqDBiI

Thanks for the insight.

FPGA’s can do anything. Verilog is no joke. I’m excited for FPGA’s to become a bit more approachable with the advent of OpenFPGA.

I mostly agree but from the article, it’s clear that he only hatched his little stupid scheme when he got demoted.

Undoubtedly.

Still, he will go down in history both for his stupidity AND boldness.

Dude is an absolute legend!

I’m trying to do this in a really small, portable format. So while that would work well with a Pi, this needs to be able to be powered by a 9V battery. So, I really need it to be a microcontroller instead of a full-on ARM chip.

I could co conceivably do this with a PI Pico but I want to see about doing this in as compact and low power format possible.

I’m hoping so. I am resisting the urge to go to enshitti-Reddit for this question…… probably at my own expense.

I did look it over very thoroughly.

The way to skin this cat is to find a way to rewrite large banks of memory. Their library is amazing but I think writing their onboard microSD card is about as close as I could get with stock Teensy hardware.
I think I’ll see if Paul S from Teensy would chat on the phone. Edit: he pushed me to their forum. 🫤 super sweet guy!

By my estimation, what I actually need is a circuit board or a IC packed with EEPROM that can write in a continuously-cascading fashion. A very interesting puzzle that I had yet to encounter until I had this idea for sure!

I bought a cheap IC that does low quality audio but it’s just not the same. It needs to be pristine quality audio. So, I’m guessing that I’m looking for the ability to encode and decode 16bit 44.1 kHz quality audio on the fly.

Thanks! It’s funny because I’ve chosen the absolute most obscure languages and frameworks (other than postgresql). I’m seeing zero jobs available out there for them…but I just can’t bring myself to learn JS, Rust, or any other popular tech stack over Haskell and Purescript..and I’d hate to work in any other stack, TBH.

I’m basically unemployable but happy! ;)

I made a community for my “firehose” of links. Some people seem to hate it and one guy even called me a bot.

But I don’t care. It’s for me.

Maybe try that.

I’m attempting to teach myself full stack web dev using my preferred tooling (Purescript front end using Deku and Hyrule for modernized FRP, Haskell Servant back end talking to a PostgreSQL server with Nix flakes gluing at all together) by building a web app for managing cannabis dispensary inventory.

Lately, I’m finally at the point where I realize/experiment with making the app domain-agnostic. To do that, I’m attempting to extend lambdabuffers to programmatically generate my Types (and instances eventually) so I can make my whole app (front end Types, back end Types, and SQL schema) more generic in order to generate exactly the domain specific app that I currently have.

Here’s the lambdabuffer I wrote to describe my Types (for example): https://github.com/harryprayiv/cheeblr/blob/delete/backend/codegen/Inventory.lbf

And here’s my most active branch at the moment: https://github.com/harryprayiv/cheeblr/tree/delete

I also stopped working on a previous, ambitious project aimed at building a decentralized fantasy betting baseball DApp until some of the tech I’m waiting on (crypto oracles) matures enough: https://github.com/cardanonix/pelotero-engine

I welcome any and all critiques and assistance in either of these 100% FOSS projects.

Thanks for the update. I did read down the page and saw that. The dev looked really receptive, cooperative, and pro about it.

Nixpkgs has been working on packaging it for more than 6 months now. That is a damning timeframe for both Zen and nixpkgs in IMO equal parts. In Zen’s case, that means that they are packaging their app in a very unconventional way and lagging with security updates, breaking standards (which usually means they are amateurs). In nixpkgs case, that means nixpkgs needs better

    
buildMozillaMach

  

support.

I used it in an appImage and came away unimpressed. Using it in a tiling WM, I loved the minimalism….but I just wish it had better security and rendered webpages better. On Brave, websites literally look sharper than on Zen.

Edit: most of my concerns were addressed by the dev themself just down the page a bit.

sephene