content: curated resources for every topic (spec 002)

_data/en-US/academics/computer-science-theory/blogs-and-sites.yaml

@@ -1,4 +1,24 @@
-# Placeholder - Add resources here
-- name: "Example Resource"
-  url: "https://example.com"
-  description: "Add a description here."
+- name: "Computational Complexity Blog"
+  url: "https://blog.computationalcomplexity.org/"
+  description: "Influential academic blog written by Lance Fortnow and Bill Gasarch exploring complexity theory, algorithms, and theory life."
+  type: "blog"
+  access: "free"
+
+- name: "Windows on Theory"
+  url: "https://windowsontheory.org/"
+  description: "Collaborative research blog by theoretical computer scientists discussing algorithms, complexity, cryptography, and open problems."
+  type: "blog"
+  access: "free"
+
+- name: "Theoretical Computer Science Stack Exchange"
+  url: "https://cstheory.stackexchange.com/"
+  description: "Question and answer community for researchers, academics, and graduate students in theoretical computer science."
+  type: "community"
+  access: "free"
+  organization: "Stack Exchange"
+
+- name: "In Theory"
+  url: "https://lucatrevisan.wordpress.com/"
+  description: "Theoretical computer science blog maintained by the late Luca Trevisan, covering complexity theory, randomness, and spectral graph theory."
+  type: "blog"
+  access: "free"

_data/en-US/academics/computer-science-theory/databases.yaml

@@ -1,4 +1,27 @@
-# Placeholder - Add resources here
-- name: "Example Resource"
-  url: "https://example.com"
-  description: "Add a description here."
+- name: "Complexity Zoo"
+  url: "https://complexityzoo.net/Complexity_Zoo"
+  description: "Comprehensive wiki cataloging computational complexity classes and their structural relationships."
+  type: "database"
+  access: "free"
+  organization: "Complexity Zoo"
+
+- name: "dblp Computer Science Bibliography"
+  url: "https://dblp.org/"
+  description: "Extensive open bibliographic database indexing major conferences and journals across computer science and theoretical computing."
+  type: "database"
+  access: "free"
+  organization: "Schloss Dagstuhl"
+
+- name: "Cryptology ePrint Archive"
+  url: "https://eprint.iacr.org/"
+  description: "Scientific repository for rapid dissemination of preprints and technical reports in cryptology and theoretical cryptographic foundations."
+  type: "database"
+  access: "free"
+  organization: "International Association for Cryptologic Research"
+
+- name: "Quantum Algorithm Zoo"
+  url: "https://quantumalgorithmzoo.org/"
+  description: "Comprehensive catalog of quantum algorithms with speedup factors over classical counterparts and bibliographic citations."
+  type: "database"
+  access: "free"
+  organization: "Stephen Jordan"

_data/en-US/academics/computer-science-theory/events-and-conferences.yaml

@@ -1,4 +1,20 @@
-# Placeholder - Add resources here
-- name: "Example Resource"
-  url: "https://example.com"
-  description: "Add a description here."
+- name: "ACM Symposium on Theory of Computing (STOC)"
+  url: "https://www.sigact.org/"
+  description: "Flagship annual international symposium sponsored by ACM SIGACT covering all foundational areas of theoretical computer science."
+  type: "conference"
+  access: "free"
+  organization: "ACM SIGACT"
+
+- name: "Computational Complexity Conference (CCC)"
+  url: "https://computationalcomplexity.org/"
+  description: "Annual academic conference organized by the Computational Complexity Foundation dedicated to computational complexity."
+  type: "conference"
+  access: "free"
+  organization: "Computational Complexity Foundation"
+
+- name: "International Colloquium on Automata, Languages and Programming (ICALP)"
+  url: "https://eatcs.org/"
+  description: "Main annual conference of the European Association for Theoretical Computer Science, covering algorithms, complexity, and logic."
+  type: "conference"
+  access: "free"
+  organization: "European Association for Theoretical Computer Science"

_data/en-US/academics/computer-science-theory/learn.yaml

@@ -1,4 +1,27 @@
-# Placeholder - Add resources here
-- name: "Example Resource"
-  url: "https://example.com"
-  description: "Add a description here."
+- name: "Design and Analysis of Algorithms (MIT OpenCourseWare)"
+  url: "https://ocw.mit.edu/courses/6-046j-design-and-analysis-of-algorithms-spring-2015/"
+  description: "Advanced undergraduate course covering design and analysis paradigms, randomized algorithms, amortized analysis, and graph algorithms."
+  type: "course"
+  access: "free"
+  organization: "MIT"
+
+- name: "Algorithms by Jeff Erickson"
+  url: "https://jeffe.cs.illinois.edu/teaching/algorithms/"
+  description: "Free, open-access textbook covering recursion, dynamic programming, randomized algorithms, graph algorithms, and NP-hardness."
+  type: "textbook"
+  access: "free"
+  organization: "University of Illinois Urbana-Champaign"
+
+- name: "Computational Complexity: A Modern Approach"
+  url: "https://theory.cs.princeton.edu/complexity/book.pdf"
+  description: "Comprehensive graduate-level textbook on computational complexity theory by Sanjeev Arora and Boaz Barak."
+  type: "textbook"
+  access: "free"
+  organization: "Princeton University"
+
+- name: "Algorithms, Part I"
+  url: "https://www.coursera.org/learn/algorithms-part1"
+  description: "Fundamental course on essential algorithms and data structures taught by Robert Sedgewick and Kevin Wayne."
+  type: "course"
+  access: "free"
+  organization: "Princeton University"

_data/en-US/academics/computer-science-theory/publications.yaml

@@ -1,4 +1,27 @@
-# Placeholder - Add resources here
-- name: "Example Resource"
-  url: "https://example.com"
-  description: "Add a description here."
+- name: "Theory of Computing"
+  url: "https://theoryofcomputing.org/"
+  description: "Diamond open-access scientific journal publishing high-quality research papers across theoretical computer science."
+  type: "journal"
+  access: "free"
+  organization: "Theory of Computing"
+
+- name: "ACM Transactions on Computation Theory"
+  url: "https://dl.acm.org/journal/toct"
+  description: "Peer-reviewed journal publishing research on computational complexity, algorithmic foundations, cryptography, and randomness."
+  type: "journal"
+  access: "freemium"
+  organization: "Association for Computing Machinery"
+
+- name: "Algorithmica"
+  url: "https://link.springer.com/journal/453"
+  description: "International journal devoted to the design and analysis of algorithms in computing and discrete applied mathematics."
+  type: "journal"
+  access: "freemium"
+  organization: "Springer"
+
+- name: "Electronic Colloquium on Computational Complexity"
+  url: "https://eccc.weizmann.ac.il/"
+  description: "Archival forum and screened scientific preprint archive dedicated to computational complexity theory."
+  type: "reference"
+  access: "free"
+  organization: "Weizmann Institute of Science"

_data/en-US/academics/computer-science-theory/tools.yaml

@@ -1,4 +1,34 @@
-# Placeholder - Add resources here
-- name: "Example Resource"
-  url: "https://example.com"
-  description: "Add a description here."
+- name: "Z3 Theorem Prover"
+  url: "https://z3prover.github.io/api/html/index.html"
+  description: "High-performance satisfiability modulo theories (SMT) solver developed by Microsoft Research for software verification and analysis."
+  type: "tool"
+  access: "free"
+  organization: "Microsoft Research"
+
+- name: "Coq Proof Assistant"
+  url: "https://coq.inria.fr/"
+  description: "Formal proof management system that provides a formal language to write mathematical definitions, algorithms, and theorems together with an environment for semi-interactive development of machine-checked proofs."
+  type: "tool"
+  access: "free"
+  organization: "Inria"
+
+- name: "Lean Prover"
+  url: "https://lean-lang.org/"
+  description: "Interactive theorem prover and pure functional programming language based on the calculus of constructions."
+  type: "tool"
+  access: "free"
+  organization: "Lean Community"
+
+- name: "JFLAP"
+  url: "https://www.jflap.org/"
+  description: "Educational software for experimenting with formal languages and automata theory, including finite state machines, pushdown automata, and Turing machines."
+  type: "tool"
+  access: "free"
+  organization: "Duke University"
+
+- name: "SPIN Model Checker"
+  url: "https://spinroot.com/"
+  description: "Popular open-source software verification tool for the formal verification of multi-threaded software and distributed algorithms."
+  type: "tool"
+  access: "free"
+  organization: "Bell Labs"

_data/en-US/academics/engineering/blogs-and-sites.yaml

@@ -1,4 +1,18 @@
-# Placeholder - Add resources here
-- name: "Example Resource"
-  url: "https://example.com"
-  description: "Add a description here."
+- name: "MIT Technology Review"
+  url: "https://www.technologyreview.com/"
+  description: "Independent media publication from MIT providing journalism and analysis on emerging engineering technologies and commercial innovations."
+  type: "blog"
+  access: "freemium"
+  organization: "MIT"
+
+- name: "Hackaday"
+  url: "https://hackaday.com/"
+  description: "Collaborative engineering community blog featuring hardware hacking, circuit design, reverse engineering, and embedded firmware projects."
+  type: "blog"
+  access: "free"
+
+- name: "Engineering.com"
+  url: "https://www.engineering.com/"
+  description: "Online engineering publication sharing trade news, design calculators, industry analyses, and webinar discussions."
+  type: "blog"
+  access: "free"

_data/en-US/academics/engineering/databases.yaml

@@ -1,4 +1,27 @@
-# Placeholder - Add resources here
-- name: "Example Resource"
-  url: "https://example.com"
-  description: "Add a description here."
+- name: "IEEE Xplore Digital Library"
+  url: "https://ieeexplore.ieee.org/"
+  description: "Premier scientific database delivering research papers, standards, and conference proceedings in electrical engineering and electronics."
+  type: "database"
+  access: "freemium"
+  organization: "IEEE"
+
+- name: "Engineering Village"
+  url: "https://www.engineeringvillage.com/"
+  description: "Specialized engineering search platform providing access to Compendex, Inspec, and patent databases."
+  type: "database"
+  access: "paid"
+  organization: "Elsevier"
+
+- name: "arXiv: Electrical Engineering and Systems Science"
+  url: "https://arxiv.org/"
+  description: "Open-access research preprint repository hosting preprints in signal processing, image processing, and systems control."
+  type: "database"
+  access: "free"
+  organization: "Cornell University"
+
+- name: "NASA Technical Reports Server"
+  url: "https://www.nasa.gov/"
+  description: "Digital collection of aerospace, materials, propulsion, and structural engineering technical reports and historical datasets."
+  type: "database"
+  access: "free"
+  organization: "NASA"

_data/en-US/academics/engineering/events-and-conferences.yaml

@@ -1,4 +1,27 @@
-# Placeholder - Add resources here
-- name: "Example Resource"
-  url: "https://example.com"
-  description: "Add a description here."
+- name: "IEEE International Conference on Robotics and Automation (ICRA)"
+  url: "https://www.ieee-ras.org/conferences/icra"
+  description: "Flagship international academic conference of the IEEE Robotics and Automation Society showcasing robotics breakthroughs."
+  type: "conference"
+  access: "free"
+  organization: "IEEE Robotics and Automation Society"
+
+- name: "IEEE ICASSP"
+  url: "https://ieeeicassp.org/"
+  description: "Premier global annual conference on signal processing and applied acoustic and speech engineering organized by the IEEE."
+  type: "conference"
+  access: "free"
+  organization: "IEEE Signal Processing Society"
+
+- name: "ASME IMECE"
+  url: "https://www.asme.org/"
+  description: "ASME's International Mechanical Engineering Congress and Exposition, featuring advanced research across mechanical disciplines."
+  type: "conference"
+  access: "free"
+  organization: "American Society of Mechanical Engineers"
+
+- name: "ASCE Convention"
+  url: "https://www.asce.org/"
+  description: "Flagship annual convention of the American Society of Civil Engineers connecting professionals and researchers."
+  type: "conference"
+  access: "free"
+  organization: "American Society of Civil Engineers"

_data/en-US/academics/engineering/learn.yaml

@@ -1,4 +1,27 @@
-# Placeholder - Add resources here
-- name: "Example Resource"
-  url: "https://example.com"
-  description: "Add a description here."
+- name: "MIT OpenCourseWare: Engineering"
+  url: "https://ocw.mit.edu/"
+  description: "Free and open course materials from MIT across electrical, mechanical, civil, chemical, and aeronautical engineering."
+  type: "course"
+  access: "free"
+  organization: "MIT"
+
+- name: "edX: Engineering"
+  url: "https://www.edx.org/"
+  description: "Comprehensive online courses and professional certificates in engineering disciplines taught by leading universities."
+  type: "course"
+  access: "freemium"
+  organization: "edX"
+
+- name: "Coursera: Engineering"
+  url: "https://www.coursera.org/"
+  description: "Extensive catalog of university courses covering electrical systems, mechanics, robotics, and engineering design."
+  type: "course"
+  access: "freemium"
+  organization: "Coursera"
+
+- name: "Open Textbook Library: Engineering"
+  url: "https://open.umn.edu/opentextbooks"
+  description: "Peer-reviewed, openly licensed textbooks across core engineering disciplines curated by the Open Education Network."
+  type: "textbook"
+  access: "free"
+  organization: "University of Minnesota"

_data/en-US/academics/engineering/publications.yaml

@@ -1,4 +1,27 @@
-# Placeholder - Add resources here
-- name: "Example Resource"
-  url: "https://example.com"
-  description: "Add a description here."
+- name: "Proceedings of the IEEE"
+  url: "https://proceedingsoftheieee.ieee.org/"
+  description: "Prestigious monthly peer-reviewed journal publishing in-depth survey, review, and tutorial papers on technical engineering developments."
+  type: "journal"
+  access: "freemium"
+  organization: "IEEE"
+
+- name: "IEEE Spectrum"
+  url: "https://spectrum.ieee.org/"
+  description: "Flagship engineering publication reporting on emerging trends, breakthroughs, and analysis across technology and engineering."
+  type: "journal"
+  access: "free"
+  organization: "IEEE"
+
+- name: "ASME Digital Collection"
+  url: "https://www.asme.org/"
+  description: "Authoritative repository of mechanical engineering research journals, conference proceedings, and ASME codes and standards."
+  type: "journal"
+  access: "freemium"
+  organization: "American Society of Mechanical Engineers"
+
+- name: "ASCE Library"
+  url: "https://www.asce.org/"
+  description: "Comprehensive scholarly platform publishing civil engineering peer-reviewed research journals, manuals of practice, and proceedings."
+  type: "journal"
+  access: "freemium"
+  organization: "American Society of Civil Engineers"

_data/en-US/academics/engineering/tools.yaml

@@ -1,4 +1,27 @@
-# Placeholder - Add resources here
-- name: "Example Resource"
-  url: "https://example.com"
-  description: "Add a description here."
+- name: "FreeCAD"
+  url: "https://www.freecad.org/"
+  description: "Open-source parametric 3D modeler designed primarily for mechanical engineering, product design, and architectural modeling."
+  type: "tool"
+  access: "free"
+  organization: "FreeCAD Project"
+
+- name: "GNU Radio"
+  url: "https://www.gnuradio.org/"
+  description: "Open-source software development toolkit that provides signal processing blocks to implement software radios and telecommunication systems."
+  type: "tool"
+  access: "free"
+  organization: "GNU Radio Project"
+
+- name: "KiCad EDA"
+  url: "https://www.kicad.org/"
+  description: "Cross-platform electronic design automation suite for schematic capture and printed circuit board (PCB) layout design."
+  type: "tool"
+  access: "free"
+  organization: "KiCad EDA"
+
+- name: "OpenFOAM"
+  url: "https://openfoam.org/"
+  description: "Leading free, open-source computational fluid dynamics (CFD) software package used across academic and industrial engineering."
+  type: "tool"
+  access: "free"
+  organization: "The OpenFOAM Foundation"

_data/en-US/academics/formal-sciences/blogs-and-sites.yaml

@@ -1,4 +1,20 @@
-# Placeholder - Add resources here
-- name: "Example Resource"
-  url: "https://example.com"
-  description: "Add a description here."
+- name: "MathOverflow"
+  url: "https://mathoverflow.net/"
+  description: "Collaborative question-and-answer platform for professional mathematicians, researchers, and graduate students."
+  type: "community"
+  access: "free"
+  organization: "Stack Exchange"
+
+- name: "What's new by Terence Tao"
+  url: "https://terrytao.wordpress.com/"
+  description: "Expository mathematical blog by Fields Medalist Terence Tao covering research updates, lecture notes, and open problems."
+  type: "blog"
+  access: "free"
+
+- name: "Statistical Modeling, Causal Inference, and Social Science"
+  url: "https://statmodeling.stat.columbia.edu/"
+  description: "Influential statistics blog by Andrew Gelman and colleagues discussing Bayesian methods, data science, and replication."
+  type: "blog"
+  access: "free"
+  organization: "Columbia University"
+