A lot of what we do day to day has arbitrary bits to it. This, I've tried to explain to you, is deep and not arbitrary. We are discovering things rather than inventing things. Clearly that has to have implications everywhere and there's a growing movement that says, "look, the ways of thought applied in computing - the things that you guys are all good at - give us new insights into how information is structured."
And structuring of information is not going to just be important for understanding how computers should be designed. It can also be important for understanding how the universe works. So this idea of using ideas, of how information is structured, to examine many, many different fields goes by the name of informatics.
Strange Loop Conference | "Propositions as Types" by Philip WadlerJosh Beckman
- Post-Apocalyptic [or bad] software is hard to modify because it doe...from lethain.com
- **the numbers always add up**, which isn’t true on the business or ...from Irrational Exuberance
- software engineering is the science and art of designing and making...from Confreaks
- The empirical process model provides and exercises control through ...from Confreaks
- When fewer than 5,000 programmers existed, they built [Lisp](https:...from Taylor Troesh
- Deep and shallow modules: The best modules are deep: they allow a ...from John Ousterhout
- The code that gets written is the code that’s easier to write. An...from Fernando Borretti
- All you crazy MFs are completely overlooking the fact that software...from Steve Yegge