-
Notifications
You must be signed in to change notification settings - Fork 15
What Next? From January 2018
Simon Coffey edited this page Nov 20, 2017
·
23 revisions
We're going to meet on 21st Nov 2017 to decide what the club should focus on from January 2018 (in the interim we plan to do one-off meetings or similar).
This page can be used to collect and expand on ideas. If you're even slightly interested in attending, your ideas are very welcome! They don't have to be specific books or papers you'd like to read - they can be subject areas you're interesting, e.g. "3D graphics". Let us know even if you can't make the decision meeting, and we'll try to capture everyone's input.
See the last two "what's next" pages for things we've previously considered:
- 3D Graphics
- What even is a shader?
- Book / Source options:
- Game algorithms
- Map generation
- Primitive AI (but why limit ourselves?)
- How git works
- Event sourcing
- The Nile graphics language
- How to actually implement a lambda calculus
- We've done this using term rewriting, but it doesn't usually work like that. To quote @tomstuart "it doesn’t admit any real notion of “compilation” — your runtime representation is a term. [Whereas] what you really want is to define (spoilers) some kind of abstract machine whose semantics exactly match those of the term rewriting we’ve seen, but does it in less space and time and without needing to manipulate raw ASTs"
- See: https://en.wikipedia.org/wiki/SECD_machine
- To Mock a Mockingbird
- 10 technical papers every programmer should read at least twice
- Category Theory for Programmers
- Write yourself a Scheme in 48 hours
- Haskell
- Home
- Documentation
- Choosing a Topic
- Shows & Tells
- Miscellaneous
- Opt Art
- Reinforcement Learning: An Introduction
- 10 Technical Papers Every Programmer Should Read (At Least Twice)
- 7 More Languages in 7 Weeks
- Lua, Day 1: The Call to Adventure
- Lua, Day 2: Tables All the Way Down
- Lua, Day 3
- Factor, Day 1: Stack On, Stack Off
- Factor, Day 2: Painting the Fence
- Factor, Day 3: Balancing on a Boat
- Elm, Day 1: Handling the Basics
- Elm, Day 2: The Elm Architecture
- Elm, Day 3: The Elm Architecture
- Elixir, Day 1: Laying a Great Foundation
- Elixir, Day 2: Controlling Mutations
- Elixir, Day 3: Spawning and Respawning
- Julia, Day 1: Resistance Is Futile
- Julia, Day 2: Getting Assimilated
- Julia, Day 3: Become One With Julia
- Minikanren, Days 1-3
- Minikanren, Einstein's Puzzle
- Idris Days 1-2
- Types and Programming Languages
- Chapter 1: Introduction
- Chapter 2: Mathematical Preliminaries
- Chapter 3: Untyped Arithmetic Expressions
- Chapter 4: An ML Implementation of Arithmetic Expressions
- Chapter 5: The Untyped Lambda-Calculus
- Chapters 6 & 7: De Bruijn Indices and an ML Implementation of the Lambda-Calculus
- Chapter 8: Typed Arithmetic Expressions
- Chapter 9: The Simply-Typed Lambda Calculus
- Chapter 10: An ML Implementation of Simple Types
- Chapter 11: Simple Extensions
- Chapter 11 Redux: Simple Extensions
- Chapter 13: References
- Chapter 14: Exceptions
- Chapter 15: Subtyping – Part 1
- Chapter 15: Subtyping – Part 2
- Chapter 16: The Metatheory of Subtyping
- Chapter 16: Implementation
- Chapter 18: Case Study: Imperative Objects
- Chapter 19: Case Study: Featherweight Java
- The New Turing Omnibus
- Errata
- Chapter 11: Search Trees
- Chapter 8: Random Numbers
- Chapter 35: Sequential Sorting
- Chapter 58: Predicate Calculus
- Chapter 27: Perceptrons
- Chapter 9: Mathematical Research
- Chapter 16: Genetic Algorithms
- Chapter 37: Public Key Cryptography
- Chapter 6: Game Trees
- Chapter 5: Gödel's Theorem
- Chapter 34: Satisfiability (also featuring: Sentient)
- Chapter 44: Cellular Automata
- Chapter 47: Storing Images
- Chapter 12: Error-Correcting Codes
- Chapter 32: The Fast Fourier Transform
- Chapter 36: Neural Networks That Learn
- Chapter 41: NP-Completeness
- Chapter 55: Iteration and Recursion
- Chapter 19: Computer Vision
- Chapter 61: Searching Strings
- Chapter 66: Church's Thesis
- Chapter 52: Text Compression
- Chapter 22: Minimum spanning tree
- Chapter 64: Logic Programming
- Chapter 60: Computer Viruses
- Show & Tell
- Elements of Computing Systems
- Archived pages