MachineSpeak's Avatar

MachineSpeak

@machinespeak.bsky.social

Engineer .. interested in "machine interpretable knowledge management", "informatic alchemy" .. and all sorts of other (mostly geeky) stuff.

265 Followers  |  366 Following  |  181 Posts  |  Joined: 11.11.2024  |  2.0772

Latest posts by machinespeak.bsky.social on Bluesky

The pilot must have played this shot before, because they clearly took the lie into account ..

If there's a 9-iron on board, I think this is a quick flick of the wrists away from a birdie ..

03.05.2025 14:07 β€” πŸ‘ 2    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

I would love to get a letter neatly printed on each knuckle in Times New Roman font.

Anyone know how Kilmar pulled it off? Did he shove his hand in a laser-printer or something? Is he a brave/mad/genius ?

02.05.2025 14:41 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Wild .. I was reading it recently, and was kind of surprised how well it spoke to present day matters

26.04.2025 04:20 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Video thumbnail
29.03.2025 07:34 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

FWIW .. if I could lick myself, I'm not sure I'd bother with school ..

13.03.2025 20:10 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

IMO, this wins the internet for today

14.01.2025 04:31 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Photo of fresh snow on a patio with a single paw print and caption: A Short Story about Decisions

Photo of fresh snow on a patio with a single paw print and caption: A Short Story about Decisions

Reminder for the #writingcommunity every story has something to tell us.

25.01.2024 02:26 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Post image

I can't unsee this. 🀣

13.01.2025 13:51 β€” πŸ‘ 123    πŸ” 25    πŸ’¬ 9    πŸ“Œ 4

Of the two stances, I feel that the unbiased anti-immigrant bias occupies the higher moral ground.

27.12.2024 15:46 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image 26.12.2024 14:35 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image 26.12.2024 14:35 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I guess the others scratched that itch by "beating the Bishop".

26.12.2024 14:30 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Screenshot of "Thank You" page, after having given money to Wikipedia.

Screenshot of "Thank You" page, after having given money to Wikipedia.

Done!

26.12.2024 14:25 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Thank goodness Hanover, PA pivoted to snacks .. eventually becoming the center of the snack industry universe.

16.12.2024 05:02 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Post image

We've been blessed this winter with frequent American Kestrel sightings. They're beautiful from any angle, but I'm especially fond of capturing them in flight! πŸ₯°πŸ₯°πŸ₯° #Kestrel #CentralPark #birding

14.12.2024 15:35 β€” πŸ‘ 403    πŸ” 53    πŸ’¬ 9    πŸ“Œ 0

That's one chonky lookin' sparrow hawk!

What are they eating in your neck of the woods?

15.12.2024 16:11 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

From what I could find, their wingspan is between 20" and 24".

They're the smallest falcon in North America .. and the only one that intentionally hovers as part of their hunting strategy.

They're also, imo, the most striking looking raptor in North America .. and that's saying something.

15.12.2024 16:09 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Post image

Thank you thank you thank you
40,000 followers may not seem like much to some
But it means the world to us

We're half way to recovering our following

Join the park side at @altyellonatpark.org

13.12.2024 19:17 β€” πŸ‘ 990    πŸ” 111    πŸ’¬ 12    πŸ“Œ 3
Post image

It's deeper than that. The image below is a simple illustration of how careful use of algebraic data types, combined with static type checking, can help ensure semantic correctness while writing the code.

Imagine these benefits in a large system, with vastly more complex, interdependent types.

13.12.2024 20:19 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

3/ It takes away the biggest fear w/ refactoring, which is that structural changes cascade, and they are hard for a human to keep track of. But if structural relationships are clearly captured in the type system, the machine can easily check for consistency, and dev can work at a conceptual level

13.12.2024 00:12 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

2/ If you make the best possible use of the type system, there's a fairly close correspondence between type correctness and "semantic correctness". So you can fearlessly refactor, and let type checking do most of the heavy lifting .. once you eliminate all static type errors, it often "just works"

13.12.2024 00:06 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

1/ It has an extremely expressive type system, and static type checking.

Changing how things are structured basically involves changing types. TS's static type checking finds everything that is impacted by the change. Note that tweaking those dependent structures often has a ripple effect.

13.12.2024 00:00 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Agree .. I tend to think of refactoring as "structural rearrangement". If a lot of "parts" are "in the wrong place", the changes could be significant.

As an aside, this is where Typescript stands out from the crowd. I have done massive refactorings in TS, and gotten them right the first time.

12.12.2024 13:27 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Awesome .. advanced math comes to the rescue in the nick of time ..

11.12.2024 21:19 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Infamous 'sofa problem' that boggled mathematicians for decades may finally have a solution A math problem delineating the largest-size sofa that can fit around a corner has finally been solved, though it may not help you move.

In related news ..
www.livescience.com/physics-math...

11.12.2024 03:16 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
"Don’t Strip-Mine The Sky" "More thoughts on what Bluesky Social’s ultimate business model could look like: A modern take on Craigslist, a company that never exploited its users." "But enshittification never came for Craigslist...

A neat post in LinkedIn, by @craignewmark.bsky.social
www.linkedin.com/pulse/dont-s...

10.12.2024 03:44 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Guns don't kill people .. 3D printers printing ghost-guns kill people.

10.12.2024 02:27 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Actually, it *does* obey the RH rule ..

09.12.2024 14:17 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Ooh .. sorry .. that system disobeys the right-hand Yule ..

09.12.2024 13:52 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Yeah, I don't think that most people realize that nearly all land mammals, by mass, are either humans or something that will be eaten by a human.

Only 4% of land mammals, by mass, are wild.

70% of all birds, by mass, are poultry.

Wildlife is basically a rounding error in terms of biomass.

09.12.2024 04:26 β€” πŸ‘ 6    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

@machinespeak is following 15 prominent accounts