... but the problem is, to the people who can't already see it, I just have no idea how to relate to them at all. I mean how do you start establishing common ground with someone when they think 2 + 2 is 2, or maybe 5, or "fish biscuit", or maybe who thinks arithmetic expressions are woke? (2/2)
03.04.2025 17:51 β π 4 π 0 π¬ 2 π 0
Although I believe very deeply that 2 + 2 equals 4, I guess you don't really see me here passionately advocating about it, or out holding up signs, etc., trying to go out and reason with people about it.
I do feel like I *should*.... (1/2)
03.04.2025 17:51 β π 2 π 0 π¬ 1 π 0
Arkansas bill targets 'gender nonconforming' haircuts for kids
If passed, the bill would let parents sue anyone supporting a minor's social gender transition, from hairdressers to teachers and nonprofits.
An Arkansas bill (among its other provisions) targets *hairstylists* who give kids *non-gender-conforming haircuts*.
www.newsweek.com/arkansas-bil...
These people trying (with mounting desperation) to police gender are out of their effing minds.
25.03.2025 20:22 β π 2 π 1 π¬ 1 π 0
I have published a new blog post to explain what benefits Spring developers can expect from the next-level Spring null safety support based on JSpecify and NullAway. spring.io/blog/2025/03...
It will be available for general consumption in the upcoming Spring major version at the end of the year.
10.03.2025 17:30 β π 30 π 15 π¬ 0 π 1
fwiw, I have no problem with factual reporting that doesn't tell me how I am supposed to feel about the information. I can decide how to feel about it for myself. I'm not here to defend WaPo in general.
07.03.2025 21:37 β π 1 π 0 π¬ 0 π 0
Incidentally the case for regex is when you can do *everything* you need in just one regex with captured groups and be done with it. If it really is that simple then great. If not... don't get stupid!
06.03.2025 15:47 β π 0 π 0 π¬ 0 π 0
Example of what using one looks like in Kotlin (just a toy project I made to implement a complex board game):
github.com/MartianZoo/s...
Not sure if there's enough context to understand what you're seeing, but the amt of code I have to write is shockingly little.
06.03.2025 15:42 β π 1 π 0 π¬ 0 π 0
Dan Smith is the man on this - I am only hoping to make myself useful with the things I learned through JSpecify.
06.03.2025 15:40 β π 1 π 0 π¬ 1 π 0
Parser-combinator library. I think they have tremendous potential.
06.03.2025 15:36 β π 0 π 0 π¬ 1 π 0
Blame arrays for this one, being grammatically jumbled to begin with (`new String[a][b]` is neither little-endian nor big-endian, but goes in "inner-outer-middle" order).
03.03.2025 21:24 β π 2 π 0 π¬ 1 π 0
Thanks for the vote of confidence. :-) I've been doing my best to help!
03.03.2025 17:28 β π 2 π 0 π¬ 0 π 0
(If you hit play on that and try to imagine you're hearing it come from your daughter's room after you showed her a video on Graham's Number, it will be hilariously funny)
21.02.2025 18:29 β π 0 π 0 π¬ 0 π 0
YouTube video by Bee Smart Baby
Bee Smart Baby - Baby Math Numeracy (2000)
Going from g(0) to g(1), she basically lost it. Screamed aloud and was generally inconsolable.
When it was all over she just seemed kind of hollowed out, and a bit later I literally found her watching this video from her childhood to put herself back together:
www.youtube.com/watch?v=TGmn...
21.02.2025 18:27 β π 1 π 0 π¬ 1 π 0
For context, she's 18 and never particularly been a "math person", but does well enough with it.
By triple up-arrows she was audibly moaning.
At g(0) she had gathered all her limbs, forming her body into a tight, protective ball.
21.02.2025 18:27 β π 1 π 0 π¬ 1 π 0
YouTube video by Day9TV
Day[9] Story Time #4 - Graham's Number
I wish SO HARD I had been filming my daughter's reaction as I showed her this explanation of Graham's Number last night. It was incredible.
www.youtube.com/watch?v=1N6c...
When he got to "3 to the power of something-trillion", she laughed in genuine delight.
After that it was not funny anymore.
21.02.2025 18:27 β π 2 π 0 π¬ 1 π 0
It doesn't matter whether it was "really" a Nazi salute, or if Trump "really" would invade Greenland. That isn't even the point. They are blurring the lines. They're ensuring there won't be a *one clear moment* when they've suddenly gone too far. They're boiling us like the proverbial frog.
26.01.2025 10:37 β π 9 π 1 π¬ 0 π 0
Justice served. crazybob aka Bob Lee's killer has been convicted of murder 2nd degree, which should put him in prison for a long time. I had felt fairly confident of this outcome, but hearing the guy's attempts to claim "self-defense" made me feel almost physically ill, so I feel relieved now.
17.12.2024 20:28 β π 11 π 0 π¬ 1 π 0
I completely agree with this.
12.12.2024 22:45 β π 1 π 0 π¬ 0 π 0
I should have had it in my list, thanks.
11.12.2024 20:24 β π 1 π 0 π¬ 0 π 0
Okay, I think we can consider comparing to the literal `null` as almost like a different operator, outside the scope of what I'm really asking about.
11.12.2024 20:23 β π 1 π 0 π¬ 1 π 0
While that's true, I doubt it would be the right idea very often. Most non-enum classes that might be inclined to do that should just become value classes, and let the VM handle everything. Class feels like a relatively special example.
(I'm fuzzy on what claim I made that MT is a counter to)
11.12.2024 20:22 β π 0 π 0 π¬ 0 π 0
Hopefully all new languages get this right nowadays. Identity dependence is a bad default.
10.12.2024 18:47 β π 3 π 0 π¬ 0 π 0
"Happen to know it is firmly specified to be." :-)
I push on this because the reader of the client-side code does not necessarily have the mental database of which types this is safe for. Each javadoc lookup is a readability point deduction.
10.12.2024 18:44 β π 2 π 0 π¬ 1 π 0
This is my "when you happen to know it does the same thing as `==`" bucket.
In a certain weird sense these types are "honorary value classes", because even though they do _have_ identity, that identity has been rendered purely redundant with the state you care about. A good thing when feasible...
10.12.2024 18:17 β π 1 π 0 π¬ 1 π 0
* with a graph of mutable collections, when the topology of that graph matters
What I'm not listing is "when you happen to know it does the same thing as `==` and you just want your code to be shorter". I'm not *judging* you for doing it :-) I just can't quite classify it as "good".
Whatcha got?
10.12.2024 17:50 β π 2 π 0 π¬ 4 π 0
* on primitives
* as a short-circuit *in an implementation* of `equals`
* when you need to use the "magic sentinel instance" pattern (though you'd rather avoid it)
* special "low-level" code that is concerned with object instances *themselves* and not (like most code) what those instances represent
10.12.2024 17:49 β π 3 π 0 π¬ 2 π 0
In Java `==` is defined for every reference type, but is very often not what we want, and we sometimes have bugs until we remember to use `equals()` to determine *logical* equivalence instead.
I'm curious what are the various "good" uses for the `==` operator out there. Here are some that I know:
10.12.2024 17:49 β π 12 π 1 π¬ 3 π 1
I can say that we are working on it!
26.11.2024 16:16 β π 2 π 0 π¬ 0 π 0
hey that's my project :-)
26.11.2024 00:49 β π 3 π 0 π¬ 1 π 0
The fun running is when you're winding through the duty free shop dodging shoppers and product displays. At Orly the staff clapped and cheered for us. Based on how well-run and efficient their security and passport lines were, this must be a common occurrence for them.
21.11.2024 19:22 β π 0 π 0 π¬ 0 π 0
I do the clickety-clackety that make the computer go brrr!
@KotlinLang.org compiler developer at @JetBrains.com; all opinions are my own.
Work at JetBrains. Java Champion. Check my Java book: https://mng.bz/671p
Researcher in GitHub Next and one of the creators of GitHub Copilot. Previously built Java dev tools at Google.
Programmer, tinkerer, reader of Warhammer 40K books
Do low-level programming stuff @ Meta
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Samβs father. Sallyβs husband. Fourth generation New Yorker. Traveling eater. Amateur cook. Software engineer. Googler. Hasn't yet won a Nobel Prize.
he/him
Run Java code directly. Reuse Maven dependencies with ease. Download from http://jbang.dev/download/ or run curl -Ls http://sh.jbang.dev | bash -s - app
software engineer, dad, believer, musician, nerd
βOf course it is happening inside your head, Harry, but why on earth should that mean that it is not real?β
I like old computers, making things, science, math, and science fiction.
Currently making something new at @Nipht.io. Helped create Google Reader.
@xenomachina@oldbytes.space on the fediverse. Formerly @laurence on the birdsite.
IDIC π
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
Software engineer. Parent. Other stuff.
Effective Java author, API Designer, CMU Prof, Swell guy.
Stephen Von Worley.
Data visualization and words: http://datapointed.net
About: http://von.io
human, developer
https://1500wordmtu.com for #indieweb posts
Musician, Soundtrack vocalist, Songwriter
/** π³οΈβπ, Java, League, Coffee β he/him/his */
lbku.net
JavaFX and the JavaFX Ecosystem
Still waiting for the Great Leap Forward
πΊπ¦ she/herππΆπΆOpinions are my own
#Kotlin #Testing #womenintech
π©π»βπ» XP Backend Developer
π@bcn_eng Talks Organizer
π«Ά mentor @Step4ward_ES
π feminist
java, kotlin, rust, anime, drawing, cats