Thoughts
Reading through some of my old Tweets. I used to be so casual, so light. Like a lot of my Tweets were jokes, and they were not funny and
they were not necessarily happy, but Thoughts feels a lot more serious than my Twitter did.
It’s also interesting the extent to which I can imagine the collective set of thoughts on here as a weight, because they define the entire website that I have to maintain. It would be very hard to match the levity with which I slung Tweets into the abyss, because now the abyss is an SQLite database on a VPS with 92% disk utilization and I need to figure out how to free up space.
There's a type of intelligence which is like 'problem solving' which is the ability to take what you have and come up with a solution, and
it's interesting because it's possible to have this intelligence without having an ability to understand complex things. And so you end up using MS Paint because it's simple and you can see a solution involving it.
Every so often I remember Firefox only supports 2 digits of quality values and I fricking lose it. How hard is it?
Department of Homeland Security has issued a statement that
> Investigations found Ozturk engaged in activities in support of Hamas
> a foreign terrorist organization that relishes the killing of Americans.
> Glorifying and supporting terrorists who kill Americans is grounds for visa issuance to be terminated
=> https://www.tuftsdaily.com/article/2025/03/federal-authorities-detain-tufts-student-in-somerville
The op-ed co-authored by Ozturk which caused her visa to be revoked and her to be detained and imprisoned:
> Credible accusations against Israel include accounts of deliberate starvation and indiscriminate slaughter of Palestinian civilians and plausible genocide.
=> https://www.tuftsdaily.com/article/2024/03/4ftk27sm6jkj
At this point it is no longer possible to debate or discuss this issue neutrally. From a practical standpoint, it is not possible to have a discussion when expressing a view on one side of the issue leads to arrest and detainment for *any member* of the population—because you've silenced relevant voices on only one side of the issue. Without knowing the immigration or citizenship status of anyone who remains silent on this issue at any time, I must concede that it's possible they share Ozturk's views and Ozturk's immigration status and remain silent because of the threat by the Department of Homeland Security. As soon as you have a view that is illegal to express, it's impossible to have an open conversation because it's possible that your real opinion isn't the one you're expressing.
The government is violating Ozturk's freedom of speech, not as given to her by The Constitution but as given to her by God.
I will now say what Ozturk was imprisoned for saying:
Credible accusations against Israel include accounts of deliberate starvation and indiscriminate slaughter of Palestinian civilians and plausible genocide.
Tufts University's response to the resolutions of the Tufts Community Union Senate has been wholly inadequate and dismissive of the Senate, the collective voice of the student body. I, Matthias Portzel (though I have no relation to the university), join Graduate Students for Palestine, Tufts Students for Justice in Palestine, the Tufts Faculty and Staff Coalition for Ceasefire, and Fletcher Students for Palestine in rejecting the Universities response.
We reject any attempt by the University or the Office of the President to summarily dismiss the role of the Senate and mischaracterize its resolution as divisive. The open and free debate demonstrated by the Senate process together with the serious organizing efforts of students, warrant credible self-reflection by the Office of the President and the University. We affirm the equal dignity and humanity of all people and reject the University’s mischaracterization of the Senate’s efforts.
We urge President Kumar and the Tufts administration to meaningfully engage with and actualize the resolutions passed by the Senate.
*Article about California housing development*
Comments: "the Detroit Land Bank has some amazing deals"
Am I doing okay
Impossible to say
Tray fey lay
Every hour I need you every hour I need you every hour.
As I sink down in my lonely mind, I think of life far from this time. I need to change my brain or bread. Or I’ll sink down in my own head.
I hate myself so much. SMASH doesn’t work. I hate Rust and Tauri. I think someone should stab me.
There’s an interesting mathematical paradox. If you have a 60% chance of winning and doubling your money and a 40% chance of losing everything—an odd sort of casino where the odds are in your favor, you should make money, right? Your expected winnings are positive. For any finite amount of time. But if you keep playing until you run out of money, if your only stopping condition is losing, then you’re trapped there until you lose and you’re broke.
And sometimes that what I feel like life is like no matter how good you are at making software if you keep making software until you can’t anymore then you’ll stop after something you can’t do and you’ll lose. ggs. RIP.
If I were Tim Cook I'd withdraw from the EU. It's just not worth it. Apple has a product team, they don't need the EU to be their product
team. Apple makes proprietary software and hardware. You can't just pass a law that Apple needs to provide a solution that is "equally effective as the solution available to Apple." Apple developed a proprietary *chip* from the ground up for AirPods. And the EU is like, eh, you need to make an "equally effective solution" available to every other headphone manufacturer. And they mean on iOS, and they mean an API that is equivalent. But like.
I'm just anti-authority.
I don't really follow Google news, so I didn't realize Google search was effected by the DMA. The EU is soooo angry that when you search for
a flight on Google it shows you a Google Flights result.
"Alphabet was designated as a gatekeeper for the Google search service" yeah. EU making it illegal for Google to decide what shows up in Google search results. It's crazy. It's just raw socialism. Only a very small number of companies (6 I believe) are effected, intentionally, because it's not about protecting consumers. If you wanted to protect consumers, you'd write a law that search engines have to provide a list of links and aren't allows to include "smart" result boxes. But that's not what they did. They said Google isn't allowed to provide "smart" result boxes with information from Google services. Anyone else can do it. It's about hurting and slowing down Google so that European competitors can catch up. It's about saying that Google is big enough that they are no longer legally allowed to pursue their own selfish interests, they have to pursue the interests of the government.
I'm so tired it's kind of messed up. I'm just a little sleepy boy and they keep me in this office with these bright lights.
I watched the first handful of episodes of Marvelous Mrs. Maisel today, and her and her ex-husband are both caught up in that trap of
defining themselves and their identity against an unrealistic standard. He leaves because he identifies with a dream that is unrealistic (being a successful stand up comedian even though he doesn’t have talent) and she identifies herself as having an unconditionally loving and faithful husband, even though she doesn’t. And what I’m describing generally is pride, but more specifically I’m connecting it to a feeling I had the other day that I’m attempting to describe. I felt like I couldn’t imagine myself as anyone but someone who did a, b, and c, but I didn’t have enough hours in the day to do all three. (And I don’t even remember what the things were.)
“Be perfect [mature, complete], therefore, as your heavenly Father is perfect [mature, complete].”
“test and approve what God’s will is”
“You are already clean because of the word I have spoken to you.”
I’ve thought before, maybe I didn’t post it, about how I love to use the test of “am I the type of person who does X?"
“Want?” and ”should?” questions are harder to answer, often, and can give inconsistent answers. But I have a decently strong sense of identity and I can use that carry some of the weight, if you will, of deciding my morality or my opinion.
The problem is that when I am trying to be or want to be someone that isn’t realistic it affects not just my instantaneous mood but my identity.
I was planning on speaking at an event, 6 years ago now. And if you asked me if I wanted to do it, I would have said “sure.” But I wasn’t going to do it for the fun of it. I felt like I was type of person who should speak at the event. And so when they didn’t include my speech in the final schedule for the event, I felt slighted, sure, and I was bummed, sure, but I’m sad thinking about it now 6 years later because I felt personally attacked. It was a blow to my pride and to my sense of identity.
It's hard. I need to let other people define me less, but I need to love other people more. I need to be less independent and less scared.
My own standards for what counts as embarrassing or acceptable are so much higher in a romantic setting (or around someone I'm
romantically attracted to). It's interesting to run through the comparisons.
everything in nothing
nothing in life
death and tiny emptiness
hell sits empty
filled only with ash
beauty of creation eternal fulfilled
Lewis in The Problem of Pain puts forward the theory that hell will literally, in some sense, burn souls, and that they will be reduced to a sort of soul-ash, which will last eternally but would be distinct from the healthy, eternal souls in heaven. In this sense, hell will be empty in the way that a fireplace with only ash is empty. It provides an interesting pair to the universalist assertion that hell will be empty because God won't send anyone to hell. At some point (after death), people do end up out of God's reach.
I don't think I'm cut out for the Linux life. I installed Fedora, plugged in an ethernet cable. `Network is unreachable`. I find this
unacceptable. And there's no documentation, no instructions, either because it's supposed to just work, or you're supposed to just figure it out. And I can figure it out, but I don't want to.
> Praise God from whom all blessings flow.
> Praise Him, all creatures here below.
> Praise Him above, ye heavenly host.
> Praise Father, Son and Holy Ghost.
> A-men.
-Doxology
I watch this video so often.
=> https://youtu.be/vQEK_Ie0TH8 Feinberg ROASTS MinecrAvenger's 2nd Place Run
cw language; it's a Feinberg clip
This is how I feel when reading bad takes on the internet every day.
Edit 1:53:
Another Zig programmer who is like 'why does my loop take a different number of milliseconds in debug mode. [screenshot of assembly]'
Like I'm sorry I'll fix that for you. I'll fix LLVM to make sure that the assembly is the same with or without optimizations.
Zig has two different features for this. You can `@setRuntimeSafety` or you can use built-in assembly and if that's not enough there is accepted proposal to implement `@optimizeFor` which you can implement in the language because it's open source.
Okay. "I'm surprised by how 'lazy' this assembly is for such a simple loop. 😕" If you can write better assembly. Write the better assembly. Put it in an asm block. That's why they exist in the language.
If you the LLVM backend is missing an optimization, you can reduce the LLVM IR and file an upstream bug. But they can't do that. They don't want to do that. They haven't included which of Zig's three release modes they're building in. They haven't included their target. They haven't included their backend. They haven't included their whole code. I'm pretty sure this screenshot of assembly that they're complaining about being 13 instructions is being compiled in Debug because when I put it into Godbolt I get 3 instructions. I'm crying. My mental is too fragile to deal with normal people like this.
What the hell do you want me to do.
Somebody's like "[just] compare to a hardware timer." and they're like "Yeah that's what I'm going to have to end up doing. I guess" How dumb are you. You need something to run in a predicable amount of time. Option 1: hardware timer. Option 2: complain about Zig programs running in different amounts of time with and without optimizations.
Oh my word my mental health is so bad.
I think you have cut down time between making a decision and acting on it so you get feedback.
This is radical for me because for so much of my life I've avoided acting on decisions until the last minute, to give myself time to second guess myself. Which has also been very effective for me, so I don't know.
Brain won’t let me do the muscle clench thing that helps with panic attacks because then I will be relaxed and I can’t relax because of the
horrors m The the the clock. I haven’t hung the clock I. Need to hang the clock. But first I have to move the box and the bookshelf and the stoplight and maybe buy a new then I can hang the clock on the correct part of the wall okay okay play
I feel so stressed. I’m having a panic attack because there’s too much stuff in my room. I can’t take it. I’m driving myself crazy.
One of the things that makes Zig different from Rust, D, V, C3, etc is that it has a goal of allowing better programs than C. Not just being
a better programming language.
7 songs for Apple Music to go from Hallucinogenics, Matt Maeson, to Mansion by NF.
It's honestly unusable.
One of the things about LLMs is that even when they're right, they're still wrong.
Someone's mentioned this before, but LLMs solve the X-Y problem by always giving you the solution you ask for. I asked ChatGPT if there was a way to parse JSON with comments in the Ruby standard library, and it spit out some regular expressions.
=> https://gist.github.com/MatthiasPortzel/4978c1188537d9bf280ad41a30a86b7a#file-working_package_manager-rb-L78
And I audited these. I didn't just blindly copy-paste, I tested them, went through the regular expressions character by character to make sure I understood what they were doing, etc. The regular expressions are not a hallucination. But it doesn't change the fact that Regular Expressions are the wrong approach. It treats `//` in strings as comments. The correct answer to the question is "no, don't do that."
And I have a good intuition for this stuff. I never in a million years would have said, "ah yes I am now going to parse this JSON file with regular expressions" because I understand at a deeper level that that's the wrong approach, even if it happened to work.
The problem with watching a lot of Minecraft Youtube and 0 modern mainstream media is that I am unable to recognize how much of the
HermitCraft permit office plot line is influenced by Severance.
I don't think I will ever understand the Sublime Text community's fetish for supporting Python 3.3.
It was EOL in 2017. Python 2.7 received updates more recently than Python 3.3. You could run Python 2.7 and it would be an upgrade.
It can be really hard to do something that you've never done before and that you know you're likely to mess up.
One thing I find helps is (over)estimating how many times you think you're going to fail, and then counting how many times you do. It's useful when you've failed 0 times or you've failed once and you're demotivated—you can look at your prediction and say, hey, failing is expected.
Realized I've literally never updated Rust because I installed it with `rustup` and don't think about it. Going to re-install it with
Homebrew so it gets updated with the rest of my system.
Look, to be a Zig user, you gotta be a bit of a mysogni- wait no, a misand- no androg- no a person who likes pain, a masochist.
I think I have OCD because I'm MISERABLE. Not suicidal but so unhappy and uncomfortable and I cannot stop myself. I cannot move on to
something else. I stopped enjoying myself 3 hours ago. But I'm not going to close the computer or go to bed I'm going to write a package control replacement program in Ruby. Woohoo.
I forgot Chrome doesn't horizontally scroll tabs, and they just keep getting smaller and glitchier forever. Like obviously incorrect.
FRICK! I lost so much mana gambling Tom Scott would be in an episode of Jet Lag in 2024. Off by 3 months.
Edit (12:28): Removed manifold link; gambling is lame,
My soul aches.
I feel so helpless around other people. The feeling of suggesting something or asking for something and being ignored or rejected devastates me. It's absolutely terrifying to remember that I can't control other people and I am completely at their mercy.
I would have so much more free time if I didn't feel the need to watch this 7 hour all portals run.
> Using the power of your imagination, construct a menu in your mind's eye, consisting of all the Chinese food meals you've enjoyed over
> your long lives. Then, using that mental menu, TELL ME WHAT YOU WANT TO ORDER!
This has the exact same energy as Fienberg's, 'it looks like I read really fast but actually I just take a screenshot in my mind and then read it while doing the next thing.'
The same, "that makes sense, I could do that, but why."
=> https://youtu.be/k5oL4QKb6Sk?t=98
=> https://thoughts.learnerpages.com/?show=a75da268-65cc-4bd7-882a-d42724fe4806
I've started semi-seriously brainstorming a new project. Zig's comptime ideas would be really cool with JS on the web.
I'm imagining a Zig -> JS compiler. It would be written in JS and would require a complete implementation of Zig's comptime engine. Zig's "comptime engine" roughly speaking, is implemented in the 40,000 line Sema.zig. So there's a small chance that this actually happens. I guess it could be interesting to write a JS backend for the existing Zig compiler, but that's not what I'm imagining. I'm imagining something that would also be useful as an independent implementation of Zig, on the theory that implementation would be possible by deferring much of the complexity in behavior to JS.
Also it would be really fricking funny benchmarking it against Zig itself. Like 8,000 times slower or something.
I think if I taught a programming class, I'd split it in half. First half would be "small-scale programming", leet-code type programs.
Everything in a single file. Introduce algorithms, introduce most programming concepts, functions, recursion, variables, arrays, etc. I think people scoff at this, and focus on "real code" but I suspect this is actually a great way to learn the programming language concepts.
Second half of the class would be "project programming", actually organizing and using the tools to build cool things. Maybe be a mistake.
"Are there any questions?" can be such a crutch. Confused people aren't good at asking questions.
I had one teacher who would ask, "is anybody lost?" Intro chemistry, 150+ people in the classroom. Someone would nod or raise their hand, and he'd point at them and ask "Where did I lose you?" It was unreasonably effective. You lose people in weird places, and oftentimes going back and connecting topics is more effective and more helpful than re-explaining them.
They're cooked. Firefox is cooked. I'm coming to you live from Ungoogled Chromium.
(Although I don't know if I recommend it. Will take some getting used to.)
If you want a license to my content you can
> Basically I spent like a year watching adventure time on Ketamine (usually) once a week on the weekends
> Every day is spent in constant fear that any action I commit might be considered asking for more Toki Pona videos.
Thoughts refuses to address anything that may or may not be happening regarding any videos that may or may not be about toki pona.
Automated email categories is one of those features that lives on execution. And I feel like I'm going insane (because I haven't eaten
dinner) because iOS has rolled out automated email categories despite the fact that they don't work. And emails like "[Action Required] Mandatory multi-factor authentication" are "Updates" not "Primary" so the categories feature is unusable. Because only the primary inbox can be filtered, so even if I flag an email and mark it as unread, it's gone forever unless the automated magic BS black box has decided that it's "Time Sensitive." I can recategorize the *sender* but that's useless because "Google" sends me both "New sign in from unrecognized device" and "Mandatory 2FA for access to Google Cloud Console." So my only option is turning off the categories feature for all accounts.
Anyways this will never get better because there's a super easy way to turn it off in the upper right. This honestly makes me so mad. It's just garbage product design. Why is the button to turn if off in the app? Because you know it sucks balls and everyone will want to turn it off. And no will use it and no one will spend time to make it better because no one's using it.
If you didn't ship garbage you wouldn't need 14 settings to "customize the user experience" because it would be good. It would be possible to use the app without having to go through settings. Can someone email this post to Craig.