GNU Guix and the Functional Package Manager Built on Scheme
GNU Guix applied ideas from functional programming to software deployment, making package builds, profiles, upgrades, rollbacks, and system configuration explicit and reproducible.
Research-led essays, new evidence, arguments, interviews and artifact studies from a history that is still compiling. Every seeded essay ships with inline citations and a Works Cited record.
GNU Guix applied ideas from functional programming to software deployment, making package builds, profiles, upgrades, rollbacks, and system configuration explicit and reproducible.
CRAN made R extensions easy to publish, check, mirror, install, and combine, turning a young statistical language into a vast shared ecosystem of reusable methods.
CTAN transformed scattered TeX software collections into a synchronized archive network, giving the TeX community a durable place to publish, mirror, discover, and redistribute extensions.
BERT changed neural search by letting ranking models jointly read a query and candidate passage, using pretrained bidirectional language representations to judge relevance more deeply.
The Semantic Web effort extended the Web from linked documents toward linked data, using RDF graphs and OWL ontologies to give machines explicit descriptions of entities and relationships.
Cyc pursued one of AI's most ambitious symbolic projects: manually encoding the background knowledge and exceptions that people rely on without stating them.
MYCIN encoded infectious-disease expertise in rules with certainty factors, demonstrating impressive advisory performance while exposing the clinical, social, and deployment limits of expert systems.
DENDRAL showed that AI could perform useful scientific inference by combining expert chemical knowledge with systematic generation and testing of molecular structures.
WordNet reorganized English vocabulary for computers around synonym sets and semantic relations, creating a reusable lexical network for language processing and knowledge systems.
Mercator documented the crawler as a distributed systems problem: URL scheduling, duplicate detection, politeness, parsing, extensibility, and persistent state all had to work at Web scale.
Query expansion evolved from hand-built thesauri and feedback into probabilistic relevance models that estimate which words are likely to characterize the user's hidden information need.
Rocchio relevance feedback showed how a search system could move a query toward documents a user judged relevant and away from those judged nonrelevant.