Replying to
@0xabad1dea@infosec.exchange @catsalad@infosec.exchange Artemis’s bestie is Nessie
When we get to the park and I say, “where’s Nessie?” Artemis races around looking for her
Remote
David Pollak
@dpp@mastodon.social
mastodon 4.8.0-nightly.2026-10-06Twin dad, Spice Labs, @liftweb founder, @ricnews & @bu_law alum, learned to be kinder from @archer_dog tweets are my own LLAP
319 ppm
the law cannot protect anyone unless it binds everyone, and cannot bind anyone unless it protects everyone.
0 Followers
0 Following
50 Posts
Joined April 03, 2017
GitHub:
Work:
Signal:
dpp.42
Reading the OpenAI hugging face hack information…
First, OpenAI should be prosecuted under the CFAA
Second, the hacks are mostly boring. The fact that each of the environments allowed access to credentials and/or shelling out is just horrid security.
The fact that a machine could brute force (try a bunch of different approaches in rapid succession) to obtain what should have been privileged info/access underscores that we need radically better security by default.
250 years ago today, Rhode Island (my home state) renounced allegiance to the King.
Rhode island was the first state to declare independence and was joined by 12 other colonies on July 4.
May the 4th be with you as it has been with us for 250 years
I’ve been reading 2600 since the 80s… I REALLY want to attend HOPE in person
This really angers me: https://www.worseonpurpose.com/p/your-pet-care-got-worse-on-purpose
Private equity is preying on our love for our pets by consolidating ownership of veterinary clinics and hiking prices. Our love turns into their profits.
RE: https://newsie.social/@estherschindler/116998432390530447
She ain’t Messina around…
Had a wicked interesting discussion with @shriramk@mastodon.social about LLMs, teaching programming languages, and the possibilities for open source with a real revenue model today.
Will write up some thoughts soon
Replying to
@headius@mastodon.social I don’t think it’s possible to write non-trivial code with an LLM without understanding both the code and the system architecture.
So often, LLMs write code that does a single thing but without regard for the system that thing is operating in… ensuring the code is appropriate for the system is what I focus on.
If anything, it’s forced me to be explicit about how the software is shaped in a way that was implicit for my past 48 years of writing software
Replying to
@dcuthbert @thedarktangent @defcon @wendynather are you familiar with the work @inkandswitch.com is doing around local first? They are methodically applying computer science to the very human problem of “who owns this data?”
RE: https://mstdn.social/@MaryAustinBooks/116959049411892194
I got called a once in a career crazy person yesterday… so I guess I’m living this dream…
Replying to
@danielkennedy74 @wendynather I am normally with you.
In this case, I’m not.
https://www.mchange.com/projects/c3p0/#security-note
This was one of about a dozen RCEs I found one morning with a simple prompt and about 1,000 tokens against Claude
Anything that’s tuned to find these problems is very dangerous.
DM me an email address and I’ll send you the results of the prompt
RE: https://mastodon.world/@davidho/116877633501458279
My dad was a physicist and started his career in the 1960s when the US and the USSR were in a race for scientific supremacy…
His work led to the ability to do 4nm silicon chips (what’s running in your phone)
Other work led to GPS.
The research funded in the 60s and 70s had a 50+ year benefit to the US economy.
Ceding that now (the Chinese are spending a lot on basic research) is fucking stupid
Quoting
I’ve seen worse first hand and also heard the same from colleagues. The number of students admitted to PhD programs this fall dropped 15% from the previous year.
What Trump has done to US science will impact us for at least a generation.
https://www.nytimes.com/2026/07/06/us/research-universities-fewer-phds-science.html?unlocked_article_code=1.v1A.jMwL.bRU6u09zx3tf&smid=nytcore-ios-share
Open quoted postReplying to
@elizayer @hbons give me some time. I’ve only been using LLMs to code for a few months… so far I’ve only managed to write an operating system https://codeberg.org/dpp/meows
A new scripting language https://codeberg.org/dpp/meowscript
An eBPF to FPGA converter https://codeberg.org/dpp/lycaon
And some misc utils
But this is weekend work
The short form: open source becomes domain specific languages that have skills, etc. defined for each DSL.
LLMs code in the DSL and wire the DSL defined modules together.
The key is each DSL has a formal proof of its functionality. A ProofBOM.
Use the DSL for free. Pay a license fee for the digitally signed ProofBOM
Thoughts @interfluidity@zirk.us @rstephensme@hachyderm.io @ogrady@mastodon.social
Replying to
@Natasha_Jay @catsalad there are Men at Work on the problem
Maybe Bronski Beat it
While others say Don’t you forget about me
The Attractions are Watching the Detectives
A Ha has a Take on It (me)
Replying to
@glyph@mastodon.social @justinsheehy@hachyderm.io it is a space the CASE tools, low code/no code tools should have played in
Sigh
First gosling siting of the year
Replying to
Replying to
Some of the greatest albums of all time are about 50 years old… rumors, hotel California, frampton comes alive, Aja, songs in the key of life, silk degrees, night moves…
Yay! It’s hanging on the deck weather
Replying to
@poleguy @elizayer @hbons you’re right. I don’t know enough about fpgas to go beyond “it blinks pretty lights” to “its production ready”
Part of the meta exploration has been “beyond assembling a common app (a web site) how much domain knowledge does the human need to get a good result?”
The answer seems to be I need deep domain knowledge… thus the fpga exploration… I don’t have the domain skills to make this a production reality
Replying to
RE: @cdarwin@c.im
What the living fuck is wrong with my country?
Replying to
@poleguy @elizayer @hbons I wouldn’t have started on MeowOS but for having a tool that could rapidly iterate on machine crashes and remediate the issues.
Once again the freedom to explore and the ability to say “try these three approaches and show me the performance differences” while I looked at the code complexity differences.
Replying to
@poleguy @elizayer @hbons I’ve been working on meowscript on and off for 15 years. I originally presented it as Visi at the emerging languages summit 2011 where I shared the stage with Rust and Julia (maybe it was 2012)
In a few months I was able to iterate on the prototype multiple times (eg integrating unit types).
The ability to throw away bad ideas quickly rather than sunk costing suboptimal designs has been liberating
Replying to
Replying to
@Daojoan@mastodon.social @hbons@mastodon.social I have a many thousand step morning routine… make sure all six cats get petting, then give Artemis the dog scritches, then take her for a two mile walk (lots of steps), then have coffee. Acceptable?
Replying to
@dngrs @elizayer @hbons I appreciate that you’ve reviewed the code (I say this with honesty and no sarcasm)
There is plenty wrong with it. It’s about exploring, not a final shippable OS
The OP asked where the innovation is. This is an example of an OS (it boots on real hardware) that explores MACH style message passing and Elang style supervisor hierarchies
It’s part of broader exploration into local first and end to end encrypted systems
Replying to
Replying to
@MaryAustinBooks@mstdn.social first, he meant it as a compliment. Second, he is not a booster… but is sick of the “I got a trillion dollar AI play” bros
Replying to
@5ecurityChemist@infosec.exchange @hacks4pancakes@infosec.exchange the Rhode Islander in me has snarky things to say about MA vs RI clams…
Also, Providence has low hotel rates and lots of fun stuff to do and a gay bar that’s been around since 1947 https://mirabarpvd.com/
Replying to
@QasimRashid@mastodon.social @adrianco@mastodon.social let’s not forget Thomas put Loving v Virginia on the chopping block. He literally living in Virginia with his white wife
I am at Tortilla Flats and wanted you to know.
"Another Friday at my local. Artemis is wondering where I am
Check out my photos or leave a comment at: https://app.foursquare.com/share/checkin/69e2b572467227760b95fc8e?s=ABdv1Oxjz4fvI0masr8llYPG_gY&lang=en
(Tortilla Flats 355 Hope St, Providence, RI, 02906, US)
- David
Don't have Swarm yet? You're missing out! Grab it at http://www.swarmapp.com/get now.
Replying to
@petrillic @markgritter what if I use AI assistance in creating a new language?
An important question I’m wrangling with
Replying to
@mhoye@cosocial.ca @wendynather@infosec.exchange I disagree. There are a dozen or so board members and a few activist investors who believe this.
Replying to
@soph@grrl.me a bunch of these arguments were made back in the 1970s and were resolved in the chess player cases… yes, the ROM in the chess players were subject to copyright despite being machine translations of source code.
AI output is a machine translation of prompts.
Where is the creative expression?