MachineSpeak
@machinespeak.bsky.social
Engineer .. interested in "machine interpretable knowledge management", "informatic alchemy" .. and all sorts of other (mostly geeky) stuff.
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 ..
If there's a 9-iron on board, I think this is a quick flick of the wrists away from a birdie ..
May 3, 2025 at 2:07 PM
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 ..
If there's a 9-iron on board, I think this is a quick flick of the wrists away from a birdie ..
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 ?
Anyone know how Kilmar pulled it off? Did he shove his hand in a laser-printer or something? Is he a brave/mad/genius ?
May 2, 2025 at 2:41 PM
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 ?
Anyone know how Kilmar pulled it off? Did he shove his hand in a laser-printer or something? Is he a brave/mad/genius ?
Wild .. I was reading it recently, and was kind of surprised how well it spoke to present day matters
April 26, 2025 at 4:20 AM
Wild .. I was reading it recently, and was kind of surprised how well it spoke to present day matters
FWIW .. if I could lick myself, I'm not sure I'd bother with school ..
March 13, 2025 at 8:10 PM
FWIW .. if I could lick myself, I'm not sure I'd bother with school ..
IMO, this wins the internet for today
January 14, 2025 at 4:31 AM
IMO, this wins the internet for today
Of the two stances, I feel that the unbiased anti-immigrant bias occupies the higher moral ground.
December 27, 2024 at 3:46 PM
Of the two stances, I feel that the unbiased anti-immigrant bias occupies the higher moral ground.
I guess the others scratched that itch by "beating the Bishop".
December 26, 2024 at 2:30 PM
I guess the others scratched that itch by "beating the Bishop".
Thank goodness Hanover, PA pivoted to snacks .. eventually becoming the center of the snack industry universe.
December 16, 2024 at 5:02 AM
Thank goodness Hanover, PA pivoted to snacks .. eventually becoming the center of the snack industry universe.
That's one chonky lookin' sparrow hawk!
What are they eating in your neck of the woods?
What are they eating in your neck of the woods?
December 15, 2024 at 4:11 PM
That's one chonky lookin' sparrow hawk!
What are they eating in your neck of the woods?
What are they eating in your neck of the woods?
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.
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.
December 15, 2024 at 4:09 PM
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.
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.
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.
Imagine these benefits in a large system, with vastly more complex, interdependent types.
December 13, 2024 at 8:19 PM
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.
Imagine these benefits in a large system, with vastly more complex, interdependent types.
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
December 13, 2024 at 12:12 AM
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
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"
December 13, 2024 at 12:06 AM
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"
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.
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.
December 13, 2024 at 12:00 AM
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.
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.
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.
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.
December 12, 2024 at 1:27 PM
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.
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.
Awesome .. advanced math comes to the rescue in the nick of time ..
December 11, 2024 at 9:19 PM
Awesome .. advanced math comes to the rescue in the nick of time ..
In related news ..
www.livescience.com/physics-math...
www.livescience.com/physics-math...
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.
www.livescience.com
December 11, 2024 at 3:16 AM
In related news ..
www.livescience.com/physics-math...
www.livescience.com/physics-math...