Sign in

Walerie

@okwalerie.bsky.social
98 followers 138 following 50 posts

certafide & bonefied. Making DistinctionBench, which tests for representation-invariant structure abstraction; and House of Bao, a mobile abacus for algebra. github.com/okwalerie

PostsRepliesMedia
Walerie @okwalerie.bsky.social · 24/09/2026
When no one was looking, Walerie spawned forty agents. She spawned 40 agents. That's as many as four tens. And that's terrible.
010
Reposted by Walerie
Shawn Simister @narphorium.com · 18/09/2026
Jev can't reason. So I built an interpreter that reasons for it. It runs a logic language where the facts and rules are plain English.
71149
Reposted by Walerie
dan @danabra.mov · 18/09/2026
i spent all of my free time for a month on this. it's done. so i wrote about it.
overreacted.io
How I Vibed a Proof of Conway’s Conjecture — overreacted
You can just prove things, apparently.
1123725
Reposted by Walerie
Tom McCoy @rtommccoy.bsky.social · 01/09/2026
🤖🧠NEW PAPER🧠🤖 (The result of an 8-year project!) LLMs seem very different from symbolic systems. Yet LLMs excel in symbolic domains (e.g., language/code/math). How do they do it? Our finding: LLM representations have implicit symbolic structure! Link in thread ⬇️ 1/n
Overview of the paper. 
Title: The Emergent Symbolic Structure of Artificial Neural Networks
Authors: Tom McCoy, Paul Soulos, Tal Linzen, Paul Smolensky
Left: Neural networks encode information in vectors (there is then an image of a vector), yet they excel at tasks long thought to require symbolic structure (there is then an image of a symbolic representation, specifically a syntax tree). How do LLMs do it?
Right: We find that LLM representations can be closely approximated with symbolic structures. This approximation lets us edit the structure of an LLM’s output by editing the structure of its internal representations, as shown. There is then an image of two edits to LLMs. In the first one, the original input is 3 + 6 * 8, with an answer of 51. But if we swap the positions of the 3 and the 6, the output becomes 30. In the second one, the original input is a Python command repeating the list [Z, U] three times, producing [Z, U, Z, U, Z, U]. But if we edit the input in a way that adds a Q at the end of the input, the output becomes [Z, U, Q, Z, U, Q, Z, U, Q].
431988
Walerie @okwalerie.bsky.social · 31/08/2026
The Unary Logic book has arrived -- now with 100% more Walerie!!
030
Walerie @okwalerie.bsky.social · 10/08/2026
Any UK oomfies wanna hang out this and/or next week? I'm in Cambridge this week and free schedule next week Let us touch computers together
010
Walerie @okwalerie.bsky.social · 13/07/2026
Snake's Ambition, by Michel de Rooij (1999 found at: x.com/i/status/207...
020
Walerie @okwalerie.bsky.social · 09/07/2026
Anyone born after 07 can't game... all they know is doordash, grok is this true, doomscroon, gangnam style, and lootbox
000
Reposted by Walerie
Ted Underwood @tedunderwood.com · 30/06/2026
Pretty good guidance in this viz. My shorthand would be: "if it matters who is speaking, and whose perspective or idiom is being represented, then be very cautious."
Alt text: A hand-drawn style chart titled “What should we let AI write?” maps writing tasks along two axes: left to right moves from mechanical to ideas-led genres, and bottom to top increases AI involvement. A legend marks green as “Yes,” yellow as “Edge case,” and red as “No.” Most of the lower area is green, suggesting AI is acceptable for tasks like proofreading, fact-checking, research, brainstorming, red-teaming, light edits, and some polishing. The upper-right area is red, suggesting AI should not substantially write more ideas-led work such as op-eds, political speeches, and novels, especially as one-shot or heavily AI-driven drafting. A yellow transition band runs diagonally through the middle, marking ambiguous cases like notes-to-draft or AI polish for business memos, academic papers, news analysis, and reports. Categories along the bottom include admin email, terms and conditions, data summary, lit review, business memo, academic paper, news analysis, think-tank report, op-ed, political speech, and novel. The right side lists increasing AI involvement from “AI proofread” at the bottom to “One-shot AI” at the top.
129812
Reposted by Walerie
Ryan Moulton @moultano.bsky.social · 19/06/2026
I spent the last month obsessed with finding colors that can't be displayed on a conventional screen. This is what I found. moultano.wordpress.com/2026/06/19/w...
moultano.wordpress.com
Where to Find the Colors Your Screen Can’t Show You
An atlas of the vibrance of the real world
471130381
Reposted by Walerie
Zach Weinersmith @zachweinersmith.bsky.social · 27/05/2026
Not sure if this is a hot take, but the apparently frequent cheating or borderline cheating with Ai in University seems to me less about Ai and more about how sick the system has gotten. Compare for example to learning from a teacher to graft trees. In that case, cheating would be absurd. Why?
1119931
Walerie @okwalerie.bsky.social · 28/05/2026
i became the joker when I went to a nice south indian restaurant with friends and they all got individual entrees. bruh.
010
Walerie @okwalerie.bsky.social · 15/05/2026
things are often chopped and cooked before they're served and ate
wikipedia entry for Faggot (food)
040
Walerie @okwalerie.bsky.social · 11/05/2026
One girls ropefuel is another's hopefuel
010
Reposted by Walerie
poll.blue @poll.blue · 02/05/2026
Poll results after 24 hours: Are you afraid of women / are you a bird 1️⃣ Yes / I am a bird 🟦🟦🟦⬜️⬜️⬜️⬜️⬜️⬜️⬜️ (6) 2️⃣ No / I am a bird 🟦⬜️⬜️⬜️⬜️⬜️⬜️⬜️⬜️⬜️ (2) 3️⃣ Yes / not a birdie 🟦🟦🟦⬜️⬜️⬜️⬜️⬜️⬜️⬜️ (6) 4️⃣ No / not a birdie 🟦🟦⬜️⬜️⬜️⬜️⬜️⬜️⬜️⬜️ (4)
031
Walerie @okwalerie.bsky.social · 01/05/2026
i suspect there's >2 people out there using ai to narrate amongus replays with light's anime voice for their automated youtube channels
010
Walerie @okwalerie.bsky.social · 01/05/2026
OK scholars, Give me ONE (1) reason why we shan't apply motor learning principles to the practice of mental motions. The future is muscle mages. 💪🧙🪄 💪🧙🪄💪🧙🪄
110
Reposted by Walerie
Walerie @okwalerie.bsky.social · 01/05/2026
Are you afraid of women / are you a bird 1️⃣ Yes / I am a bird 2️⃣ No / I am a bird 3️⃣ Yes / not a birdie 4️⃣ No / not a birdie 📊 Show results
262
Walerie @okwalerie.bsky.social · 01/05/2026
Are you afraid of women / are you a bird 1️⃣ Yes / I am a bird 2️⃣ No / I am a bird 3️⃣ Yes / not a birdie 4️⃣ No / not a birdie 📊 Show results
262
Reposted by Walerie
mr. TIM @timkellogg.me · 11/01/2026
Viable Systems This is wildly different from all other "how to build an agent" articles. I've spent the last 7 days stretching my brain around the VSM (Viable System Model) and how it provides a reliable theoretical basis for building agents. Or is it AI parenting? timkellogg.me/blog/2026/01...
timkellogg.me
Viable Systems: How To Build a Fully Autonomous Agent
8553
Walerie @okwalerie.bsky.social · 30/04/2026
Years ago I used to chronically snooze my morning alarm, and over time had to make it louder and more distressing. Eventually I pavlov'd myself into getting stressed by the first 0.1s of the alarm!! Don't do this! Just use an (online) radio alarm. Gentle variety helps a lot here!
020
Walerie @okwalerie.bsky.social · 29/04/2026
This is very fun audio story, and it feels like everyone involved had a lot of fun making it. Give it a listen y'all
171
Walerie @okwalerie.bsky.social · 17/04/2026
This is the ideal realm of forms. You may not like it, but this is what peak abstraction looks like.
Diagrammatic representations of the form of XOR in Laws of Form's calculus of indications. Colours represent identical relative structure according to the representations' relations.
left to right, top to bottom: path, block, enclosure, paren, map (centered), map (top-down), tree, graph, room.
071
Reposted by Walerie
Worms & Bones @homemadehorrors.bsky.social · 24/01/2026
A friend described this guy as 'the magical animal that picks you' and, yeah. They're gonna help you go on a journey. #art #artdoll #handmade #furryart
A teal peryton art doll rears up on its hind legs. Its made of soft teal and cream furs, with a set of white and blue feathered wings fanned sideways. Its antlers are blue tipped, clear in the middle and spruce green at the bottoms.
3369106
Reposted by Walerie
Spooky Key 🎃 🗝🦊✅ @keytryer.net · 04/10/2025
Going to be ultra candid here, I think that OpenAI has perfected the art of pushing massive societal change and using that to their advantage. I happen to think this one is cool, but there was a plan to all this.
2211
Reposted by Walerie
Astra ⎔ @astrra.space · 12/09/2025
Can't make it. Shit's stuck. Outta my way son! HOME STUCK! HOME STUCK! PLEASE! I BEG YOU! We're dead. You're a genuine dick sucker.
3201
Reposted by Walerie
nolen @itseieio.bsky.social · 22/01/2025
i have been asked "what are cool tech/art/games spaces in NYC" a lot; today I made a big triangle (and a blog) to answer that question lmk what i've missed!! (all the places are great, placement on triangle is just my impression of vibes) blog with details: eieio.games/blog/the-nyc...
A triangle with art, tech, and games on the points. Tech-aligned items include fractal tech, south park commons, the recurse center, and hex house. art-aligned items include NYU ITP, society for poetic computation, and hex house. Game-aligned items include wonderville, NYU gamecenter, and GUMBO. Wordhack is located in the center and is aligned with all three.
99016
Reposted by Walerie
The Adventures of the Fox in the Fedora @foxinthefedora.com · 28/07/2025
THE ADVENTURES OF THE FOX IN THE FEDORA Season 3 comes to a conclusion in this episode! "Is That Your Final Wish?" (Info in 🧵/5) #audiodrama #FedoraFoxAdventures open.spotify.com/episode/5YtG...
open.spotify.com
Ep. 32 - Is That Your Final Wish?
The Adventures of the Fox in the Fedora · Episode
24225
Walerie @okwalerie.bsky.social · 03/06/2025
@baddreemurr.bsky.social hey, your twitter account (@pekollama0) sent me a weird DM involving a fake-looking twitter support email + discord contact request. figured i'd flag it in case you weren’t the one sending it.
000
Reposted by Walerie
Zoognosis with Joy! @zoognosisjoy.bsky.social · 12/04/2025
We're never getting the Winds of Winter
On the author list: George R. R. Martin.
151
Reposted by Walerie
~caramel @handle.invalid · 30/01/2025
In today's experiments, I got a Fediverse instance running on an rDNS domain with TLS! Check out my explanation below! 0.0.0.1.4.7.4.0.1.a.2.ip6.arpa/@caramel/sta... This was inspired of course by 1.6.0.0.8.0.0.b.e.d.0.a.2.ip6.arpa/@domi, who did the same and broke many laws of... networking??
0.0.0.1.4.7.4.0.1.a.2.ip6.arpa
Post by caramel, @caramel@0.0.0.1.4.7.4.0.1.a.2.ip6.arpa
So, after about a few hours of troubleshooting, I managed to recreate @domi@1.6.0.0.8.0.0.b.e.d.0.a.2.ip6.arpa 's feat of hosting a fediverse instance on an rDNS domain. The simplest part is the DNS i...
053
Reposted by Walerie
The Adventures of the Fox in the Fedora @foxinthefedora.com · 02/11/2024
Hot on the trail of his stolen magical artifacts, treasure hunting thief Fox teams with rival treasure hunter Cassie Rascal (@miapassarella.bsky.social), as well as old and new friends alike to thwart a multiversal death cult and an ancient evil, all while an old foe resurfaces. 🧵1/5
310856
Reposted by Walerie
The Adventures of the Fox in the Fedora @foxinthefedora.com · 06/11/2024
0248
Reposted by Walerie
kc green @kcg.bsky.social · 12/12/2023
found the original layered file and this is what it looks like without my line-art or white spaces
271288316
Reposted by Walerie
The Adventures of the Fox in the Fedora @foxinthefedora.com · 06/12/2023
Well, if all goes according to plan, we'll have our finale episode for Season 2 on Monday! Either way, check out the previous Season 2 episodes on podcasting/music/audio sites everywhere to get ready for the big finish! It's been a long road. open.spotify.com/show/6SFQPOz...
open.spotify.com
The Adventures of the Fox in the Fedora
Listen to The Adventures of the Fox in the Fedora on Spotify. Magic! Mystery! Danger! Adventure! It's around every corner! Join multiverse-traveling street thief/treasure hunter Fox (yes! A fox who wa...
1135
Reposted by Walerie
jess rauchberg @jessrauchberg.bsky.social · 30/11/2023
no bro you don't get it... that's my emotional support citation
28720
Walerie @okwalerie.bsky.social · 23/11/2023
Once I author these packages for prolog, clingo, penrose, azure markdown, org-mode htmx publishing backend, and my iconic arithmetic DSL it's over for u bitchez #emacs #prolog #sillymaxxing
010
Reposted by Walerie
The Adventures of the Fox in the Fedora @foxinthefedora.com · 22/11/2023
Thankful for the great increase in listenership this season. It may not look like all that much, but I'm proud of it. As we get ready to drop our final two episodes of the season (12/4 and 12/11), we appreciate you all for tuning in. We hope you enjoy what comes next!
2118
Walerie @okwalerie.bsky.social · 16/11/2023
@hypnotistval.bsky.social yeehaw
020
Walerie @okwalerie.bsky.social · 16/11/2023
Post post post post post Hotter than a frickin roast Try to make the most
120
Walerie @okwalerie.bsky.social · 16/11/2023
Welcome to my web page
040