Technology
- Advanced Library Format, an ASIC databook
- Algebraic Logic Functional programming language
- ALF (proof assistant)
- Application layer framing
- Application Lifecycle Framework, integration framework for ALM tools
- Atomic line filter, an advanced optical filter
- ALF (theorem prover), a dependently-typed programming language/theorem prover.
- Algebraic Logic Functional programming language, a functional/logic programming language.
Read more about this topic: ALF
Famous quotes containing the word technology:
“One can prove or refute anything at all with words. Soon people will perfect language technology to such an extent that they’ll be proving with mathematical precision that twice two is seven.”
—Anton Pavlovich Chekhov (1860–1904)
“Technology is not an image of the world but a way of operating on reality. The nihilism of technology lies not only in the fact that it is the most perfect expression of the will to power ... but also in the fact that it lacks meaning.”
—Octavio Paz (b. 1914)
“Radio put technology into storytelling and made it sick. TV killed it. Then you were locked into somebody else’s sighting of that story. You no longer had the benefit of making that picture for yourself, using your imagination. Storytelling brings back that humanness that we have lost with TV. You talk to children and they don’t hear you. They are television addicts. Mamas bring them home from the hospital and drag them up in front of the set and the great stare-out begins.”
—Jackie Torrence (b. 1944)