Oh nooooo, Lindsey Halligan, this is not how any of this works
(15 screens into a Signal exchange) www.lawfaremedia.org/article/anna...
@dunhamsteve.bsky.social
father, computer programmer, hobbyist computer scientist, he/him. Currently dabbling in dependent type theory. @dunhamsteve@mathstodon.xyz
Oh nooooo, Lindsey Halligan, this is not how any of this works
(15 screens into a Signal exchange) www.lawfaremedia.org/article/anna...
graphite drawing on vellum of a sink with eyes
bub?
15.09.2025 05:24 β π 194 π 26 π¬ 1 π 1Just gonna repost this for no reason at all.
07.09.2025 18:22 β π 12 π 6 π¬ 0 π 0National Guard is now tasked with picking up garbage in DC
26.08.2025 22:22 β π 9539 π 2623 π¬ 1729 π 2385Pink knitted pig on wood floor
I knitted a pig (very new hobby). There is a certain freedom in not expecting to be good at what you're doing. I also wrote a language, inspired by Idris, to see if I could. Maybe someday I'll give drawing a try.
17.08.2025 21:36 β π 1 π 0 π¬ 1 π 0This is pretty much a prΓ©cis of my lecture to software engineering students.
12.08.2025 21:43 β π 47 π 5 π¬ 0 π 0Summer Undergraduate Internship - reposts welcome!
Are you a senior undergrad, interested in Programming Languages? Do you want to visit Canada for a paid 12-week internship?
drawing of a whale with an armpit fold
morning
31.07.2025 03:53 β π 121 π 16 π¬ 4 π 0i got to make these cutie bat friends for the nytimes for kids section of the new york times this sunday.
27.07.2025 12:53 β π 249 π 33 π¬ 2 π 0When I was little, the U.S. military came to our home at gunpoint and took me and my family away. We were imprisoned for years in barbed wire camps simply because we were Japanese American. I have spent my life telling that story, hoping it would never be repeated.
21.07.2025 17:20 β π 69004 π 21101 π¬ 1601 π 753You should get one of those amps that go to 11: m.youtube.com/watch?v=4xgx...
21.07.2025 14:31 β π 1 π 0 π¬ 0 π 0Happy to have my biases confirmed in this way ...
11.07.2025 07:36 β π 14 π 6 π¬ 0 π 0Caption: Our team is working on these unsolved mathematical problems, but also pitching them as a trilogy of action movies starring Matt Damon Images: Posters for the three movies The Riemann Hypothesis starring Matt Damon (image of Matt running heroically surrounded by elements of a formula) The Yang-Mills problem starring Matt Damon (image of Matt fearlessly jumping a motorbike surrounded by eparts of a quantum equation) The Goldbach Conjecture starring Matt Damon (image of Matt falling bravely from a building surrounded by numbers and symbols.
My cartoon for this week's @newscientist.com #science #mattdamon
02.07.2025 14:21 β π 909 π 240 π¬ 19 π 11I work as an elder and hospice caregiver, which I am oddly passionate about. I can love on them shamelessly and no one complains about my codependence. It's a win-win situation. Many of my caregiving colleagues complain about the repetitive questions and, sometimes reactions, of the elderly, especially when those patients happen to read the newspaper, especially with the current downward spiral of our country β as if these people haven't lived through enough horror... I love my dementia peeps, but sometimes wonder if there's a Guinness Book World Record for how many times an hour a dementia patient can repeat the same question β it's got to be in the hundreds. At least with small children, they ask different questions. Dementia patients will get stuck on one short question and ask it until you can interrupt their train(carousel) of thought and successfully redirect their attention. That carousel is pretty manic sometimes. A couple days ago, I picked up my mail from the post office and drove over to the nursing home to take (let's call her "Miss Daisy") Miss Daisy out for a drive. Before we took off on our road trip, to the end of The Road and back, in our landlocked little town (Juneau, Alaska), I set my copy of The Onion down in front of her. Over our two-hour excursion, tiny Miss Daisy read that front page at least a dozen times and each time she would snicker, giggle, and guffaw, then put it down on the dash board and, a minute later, discover it anew. I think it was the best afternoon of my life. We don't often hear them laugh and when they do, it's the sweetest thing you've ever heard. ... Thank you, thank you, thank you, for the really important work all of you do. You make the world a better place.
I got permission to share this, and I'm extremely grateful for that.
The Onion got this letter from one of our subscribers in Alaska. She works with dementia patients and decided to leave a copy in the car for each one.
This email made my year. Read it and you'll see what I mean. People are good.
Google search for βall you can eat buffet near meβ Al Overview To find an all-you-can-eat buffet near you, you can use online search engines like Google or Yelp, specifying "all you can eat buffet near me". These searches will typically provide a list of nearby restaurants offering buffet-style dining, including their addresses, contact information, and customer reviews. You can also refine your
The singularity is awesome
28.06.2025 17:18 β π 21041 π 4408 π¬ 280 π 303They're now using LLMs to generate the lessons, so I'm no longer interested in trying it. (I don't want to waste my time on something that is potentially inaccurate.) blog.duolingo.com/large-langua...
24.06.2025 01:58 β π 0 π 0 π¬ 1 π 0A "flying spaghetti monster" from the Fremont solstice parade. Large ball of what looks like spaghetti with two meatballs attached and helpers with pool noodles to reach out to bystanders.
Meanwhile parades in seattle be like:
16.06.2025 00:32 β π 1 π 0 π¬ 1 π 0Omg it's a wee bunny having a little strawberry snack!!
I wish I was a wee bunny having a little strawberry snack.
I went through most of the lectures and had fun playing with ask. Thanks for sharing both ask and the videos.
30.05.2025 03:12 β π 1 π 0 π¬ 0 π 0This is not the future that 15 year old me imagined back in 1985.
Somehow being logged out of oneβs toothbrush hits me as incredibly dystopian.
Here you go - owls in towels: owlsintowels.org
27.05.2025 03:00 β π 4 π 2 π¬ 0 π 2Two raccoons are seen rummaging through an open trash can in a grassy area. Their tails and backs are visible as they search for food.
A squirrel is perched menacingly on top of a black garbage can on a street. A parked car is visible in the background.
Our new neighbors threw their takeout containers in the trash, and the raccoons dug in and got the good bits. The squirrels had a feast for days on what was left. When they rolled the can to the curb, the alpha squirrel turned aggressive and tried to stop the garbage men from taking its pantry away.
10.05.2025 00:14 β π 20 π 3 π¬ 2 π 0Quite the payoff
05.05.2025 00:27 β π 5590 π 2040 π¬ 81 π 166if you know a lot of stuff i think it is your moral duty to be kind and excited when people learn stuff for the first time. the world is full of stuff we don't know about, don't be mean
27.04.2025 02:19 β π 9253 π 1628 π¬ 145 π 119A pink construction paper envelope with childrenβs handwriting that reads βTo: Bus driver From: Meβ
Among my regular passengers on the 44 are two young boys who ride with their grandma from California and 6th Ave all the way to Silver and Palou. The older brother is possibly a 2nd grader. Last night as they were getting off my bus, he handed me this hand made envelope.
24.04.2025 19:26 β π 2501 π 441 π¬ 40 π 117So someone who studies type theory is typical?
18.04.2025 17:42 β π 0 π 0 π¬ 1 π 0Chart showing Tariffs including Norfolk Island, Tuvalu and Heard and McDonald Islands
Norfolk Island is an Australia Territory (population 1748), and Heard and McDonald Islands are literally volcanoes near the Antarctic with NO population.
Talk about padding out your homework.
I agree - I wouldn't want to do this in a language that lacks algebraic data types and pattern matching. But it is interesting that `esbuild` also chose to use Go (after attempting Rust): news.ycombinator.com/item?id=2233...
11.03.2025 23:49 β π 5 π 0 π¬ 0 π 0My five year old: βI never get popcorn! I think itβs not popcorn season yet. When is popcorn season?β
02.03.2025 03:55 β π 0 π 0 π¬ 0 π 0here's one from 2022 the #stinkeggs song with the velvet voice of @tinybabbyboy.bsky.social and piano accompaniment by @sarahlynneguthrie.bsky.social
28.02.2025 00:44 β π 58 π 5 π¬ 5 π 0