This is quite useful if you have fixpoints or HoTT.
This is quite useful if you have fixpoints or HoTT.
(amirite)
(amirite)
In this part, I give three more real-world examples of applying Semigroup while exploring why Associativity truly matters in detail.
chshersh.com/blog/2024-12...
In this part, I give three more real-world examples of applying Semigroup while exploring why Associativity truly matters in detail.
chshersh.com/blog/2024-12...
1. Parse, Don’t Validate
2. Make Illegal States Unrepresentable
3. Errors as values
4. Functional Core, Imperative Shell
5. Smart Constructor
Repeat daily in front of a mirror for 2 minutes.
1. Parse, Don’t Validate
2. Make Illegal States Unrepresentable
3. Errors as values
4. Functional Core, Imperative Shell
5. Smart Constructor
Repeat daily in front of a mirror for 2 minutes.
🦊 Mammals: bsky.app/profile/did:...
🦉 Birds: bsky.app/profile/did:...
🦑 Marine Life: bsky.app/profile/did:...
🐍 Herps: bsky.app/profile/did:...
🐯 Zoosky: bsky.app/profile/did:...
🐋🦭 Marine Mammalogy: bsky.app/profile/did:...
🦇🔊 Bioacoustics: bsky.app/profile/did:...
DynaMo: In-Domain Dynamics Pretraining for Visuo-Motor Control @jeffacce.bsky.social @lerrelpinto.com
DynaMo: In-Domain Dynamics Pretraining for Visuo-Motor Control @jeffacce.bsky.social @lerrelpinto.com
This is a result of incredible effort by Stef Meliss (first author). Congrats!!
This is a result of incredible effort by Stef Meliss (first author). Congrats!!
youtu.be/oJsj5vWmD3c
youtu.be/oJsj5vWmD3c
www.cell.com/current-biol...
www.cell.com/current-biol...
@viktorkewenig.bsky.social shows that, while concepts generally encode habitual experiences, the underlying neurobiological organisation is not fixed but depends dynamically on available contextual information. 👏🍾🐐
elifesciences.org/articles/91522
@viktorkewenig.bsky.social shows that, while concepts generally encode habitual experiences, the underlying neurobiological organisation is not fixed but depends dynamically on available contextual information. 👏🍾🐐
elifesciences.org/articles/91522
www.pnas.org/doi/10.1073/...
www.pnas.org/doi/10.1073/...
www.nature.com/articles/s41...
www.nature.com/articles/s41...
Excitingly, they picked up the Voyager 1 signal.
Voyager 1 is ~25 billion km away! (~4 x Pluto distance)
www.camras.nl/en/blog/2024...
🔭📡🧪
Excitingly, they picked up the Voyager 1 signal.
Voyager 1 is ~25 billion km away! (~4 x Pluto distance)
www.camras.nl/en/blog/2024...
🔭📡🧪