@apoddubn is blocked

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @apoddubn.

  1. Math definition of the day: spectrum : (L : Lattice) → Set (PrimeFilter L), s.t. ∀x ∈ L. ∀f : PrimeFilter L. f ∈ spectrum(x) ⇔ x ∈ f

  2. Shenzhen: The Silicon Valley of Hardware via

  3. That idea you kind of believe in, what is keeping you from taking it more seriously?

  4. We distinguish between two strains of writers block: 1. The absence of ideas 2. The presence of inexpressible ideas

  5. best idea award at at for facilitating face to face meetings in using face tracking

  6. Relatable: “Feynman went to some trouble to arrange his life so that he wasn’t particularly busy—so he could just work on what he felt like”

  7. the slippery slope from useful fiction to noble lie

  8. We're just in the middle of lifting ourselves out of the stone age. There's lots of basic machinery still left to be discovered and built.

  9. old tweets are better than new tweets, but new tweets have better production value

  10. Learning jargon is an easy way for the novice to make progress and thus helps them to stay motivated.

  11. Alexander Poddubny followed , , and 208 others
    • @sigfig

      dont go to mars its bad :: she/her

    • @adrgt

      Go-go gadget-au-compilo.

  12. Tasteful composition, but on a higher level and about more important things.

  13. Integral Methods in Theorems - M. Loon

  14. wasteful competition, but on a higher level and about more important things

  15. Just asked a colleague how old he was. He said ‘23’, and after a minute or so, he corrected himself: ‘No, wait, it's 27.’

  16. "up goer five" meets "a pattern language" meets generic types

  17. Paradigm shifts are as impressive as they are only because of our tendency to get so hung up over ontology.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·