@Scmbradley@mathstodon.xyz
@Scmbradley@mathstodon.xyz avatar

Scmbradley

@Scmbradley@mathstodon.xyz

Boring tech guy. Former professional philosopher.

Unremarkable cis-het middle-class able-bodied white guy. He/Him.

This toot will self destruct in one month.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

Scmbradley, to random
@Scmbradley@mathstodon.xyz avatar

The more I learn about programming languages, the more I realise that TeX was not a good first language.

It is a very weird language that permits some extremely illegal programming crimes

Scmbradley, to random
@Scmbradley@mathstodon.xyz avatar

Oh noo. Somebody's going to remake Groundhog Day and it's going to be real bad. I can just feel it. It'll happen. That's where we're at as a culture.

Scmbradley, to random
@Scmbradley@mathstodon.xyz avatar

I think there'd be a lot of use for a website that just displayed the word "DON'T" in an absolutely huge font. Imagine all the circumstances when you'd want to direct someone to it.

Scmbradley,
@Scmbradley@mathstodon.xyz avatar

I made a prototype: https://scmb.xyz/dont.html

I also made NOPE: https://scmb.xyz/nope.html

Scmbradley, to random
@Scmbradley@mathstodon.xyz avatar

I feel like I see people like @grimalkina and @gvwilson posting interesting stuff about research into what makes for good software dev organisations. But I'd also be interested in evidence based advice about what I, as an individual, can do to improve my own effectiveness in a development context... Or is the idea that the group level effects are going to be significantly bigger than most things an individual can do?

mcc, to random
@mcc@mastodon.social avatar
Scmbradley,
@Scmbradley@mathstodon.xyz avatar

@mcc noo don't go down this rabbit hole. I used to work in an area close enough to sleeping beauty problem that I have seen a lot of talks about it. And I honestly don't see why so much time is devoted to it. This and the Newcombe problem. Ugh.

Scmbradley,
@Scmbradley@mathstodon.xyz avatar

@mcc there's a paper by (I think?) ET Jaynes called The Well Posed Problem that makes exactly that point for the case of Bertrand's Paradox. I think you're right that it applies more broadly.

Scmbradley,
@Scmbradley@mathstodon.xyz avatar

@mcc Bertrand's Paradox, not Russell's paradox. After a french guy called Joseph Bertrand. It's about picking a random element of an uncountable set. I think Russell's paradox is actually much deeper than most of these probability puzzles.

the_etrain, to random
@the_etrain@beige.party avatar

Gladiator / Predator crossover movie. Get on it, Hollywood. Maybe, Predator vs. 300. I know you're out of ideas, so just do both.

Scmbradley,
@Scmbradley@mathstodon.xyz avatar

@the_etrain Alien Vs Erin Brokovich

raphaelmorgan, to random
@raphaelmorgan@disabled.social avatar

LB reminds me of when housing sent over a guy to fix our dishwasher that clearly hasn't been cleaned in years, and he lectured me on how you're supposed to not just rinse but wash the dishes before putting them in the dishwasher

Scmbradley,
@Scmbradley@mathstodon.xyz avatar

@raphaelmorgan I think it is actually counterproductive to wash dishes before you put them in the dishwasher, because it becomes hard to tell whether a full dishwasher needs turning on or emptying.

CatherineFlick, to random
@CatherineFlick@mastodon.me.uk avatar

Almost time to go sneak in and out of the kids' bedrooms to do the whole santa thing

Scmbradley,
@Scmbradley@mathstodon.xyz avatar

@CatherineFlick my son is nearly 4 and this is the first year I'm doing it. I'm so excited.

mcc, to random
@mcc@mastodon.social avatar

A thing I believe firmly (though I know I cannot justify it) is that the hotel in David Hilbert's "Hilbert's Hotel" thought experiment, and the hotel in Jean-Paul Sartre's "No Exit", are the same hotel

Scmbradley,
@Scmbradley@mathstodon.xyz avatar

@mcc hell is countably many other people

RickiTarr, to random
@RickiTarr@beige.party avatar

It's been a minute since I've done a music question, so here goes:

Who is an artist/band that you're annoyed you like?

Scmbradley,
@Scmbradley@mathstodon.xyz avatar

@RickiTarr mindless self indulgence. I used to listen to them a fair bit, and then one day I thought "I wonder why they've not put out a record in a while, I'll just look them up on Wikipedia. Oh. Oh no..."

Scmbradley, to random
@Scmbradley@mathstodon.xyz avatar

I need recommendations for books critical of AI and ML but that aren't AI doomerism. Suitable for a generalist audience. (something I can gift my dad for Christmas)

Scmbradley, to random
@Scmbradley@mathstodon.xyz avatar

Hands up who recognises whistlers mother only because of its role in the Mister Bean movie. 🤚

Scmbradley, to random
@Scmbradley@mathstodon.xyz avatar

OK, today's took a long time, but mostly because the specification of part two is kind of unclear. I wrote two solutions that gave wrong answers but seemed consistent with the description. One of them even gave the right solution to the sample input.

https://codeberg.org/scmbradley/AdventOfCode/src/branch/main/haskell/2023/aoc-2023-01.hs

Scmbradley, to random
@Scmbradley@mathstodon.xyz avatar

Are we done with superhero movies yet? Can the next trend be, uh, low key murder mystery noir movies or something?

Scmbradley, to random
@Scmbradley@mathstodon.xyz avatar

Looking for interesting examples of gamifying aspects of learning programming. (Turing Complete, Bitburners, Screeps, etc).

Any pointers?

Scmbradley, to random
@Scmbradley@mathstodon.xyz avatar

It's 2023. How the fuck is compose key (or something like it) not part of windows? Like, my options for typing accented characters are still "open up character map, copy and paste" or "learn unicode shortcuts".

Say what you like about the weird blind spots of Linux development, but compose key is a super useful elegant solution to a general problem.

Oh it gets better. Win+. brings up a dialogue box that makes it really easy to insert GIFs and emojis into my text BUT NOT ACCENTED CHARACTERS. Incredible work, guys. You built a solution to a problem nobody had, and you failed to solve the problem that was right fucking next door.

Scmbradley, to random
@Scmbradley@mathstodon.xyz avatar

What design decisions are behind SQL queries being written in the order they are? Because it's not the execution order, and it doesn't feel particularly logical to me. Like I often write the FROM first and then after go back and fill in the SELECT part...

Scmbradley, to random
@Scmbradley@mathstodon.xyz avatar

I've had an idea for an extremely dumb thing I could do.

And unlike many of my extremely stupid ideas, this one should take me about fifteen minutes to do. So as soon as The Boy is in bed, imma do a stupid. Watch this space.

TheBreadmonkey, to random
@TheBreadmonkey@beige.party avatar

Wife has made a wild claim that; unless you blend the ingredients, vegetables in stock are a vegetable stew rather than a soup. That can't be right, can it? What's a chunky soup then? Minestrone is soup and that's not blended. What is happening?

Scmbradley,
@Scmbradley@mathstodon.xyz avatar

@TheBreadmonkey reject the soup stew binary

unormal, to random
@unormal@mastodon.social avatar

Oh damn Jehovah is literally just a latinization of Yahweh with a little transliterative drift

Scmbradley,
@Scmbradley@mathstodon.xyz avatar

@0xabad1dea @unormal french

mcc, to random
@mcc@mastodon.social avatar

For the last year I've been semi-daily posting "What I'm Listening To Today" links in this thread:

https://mastodon.social/@mcc/108199886340178151

The thread is now so long it is increasingly breaking Mastodon, so I am making a new thread, starting here.

To recap, here's the entirety of the year-one thread in the most impractical possible format: A YouTube playlist containing 246 songs and running for just over 47 hours:

https://www.youtube.com/playlist?list=PLLIjft6ja7DP_GwDs3XuTbiFmHYTwJWa7

Scmbradley,
@Scmbradley@mathstodon.xyz avatar

@mcc this one really reads like what an ai trained on your "what I'm listening to today" posts would write.

Edent, to random
@Edent@mastodon.social avatar

Here's an interesting medical privacy issue.

The NHS have sent me a letter. It is printed / folded in such a way that anyone seeing the unopened envelope can see what it is about. That could be the postie, family, guest, etc.

This is why it is important to test your processes end to end, QA your final product, and try to anticipate what might go wrong.

Scmbradley,
@Scmbradley@mathstodon.xyz avatar

@Edent windowed envelopes just seem like a privacy nightmare, why do we bother.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • megavids
  • thenastyranch
  • magazineikmin
  • everett
  • InstantRegret
  • rosin
  • Youngstown
  • slotface
  • love
  • khanakhh
  • kavyap
  • tacticalgear
  • GTA5RPClips
  • DreamBathrooms
  • provamag3
  • modclub
  • mdbf
  • normalnudes
  • Durango
  • ethstaker
  • osvaldo12
  • cubers
  • ngwrru68w68
  • tester
  • anitta
  • cisconetworking
  • Leos
  • JUstTest
  • All magazines
    •