Bibliography:

  1. ‘CS’ tag

  2. Statistical Notes

  3. Archiving URLs

  4. Auto-smallcaps filter

  5. About Gwern

  6. Solving Pascal’s Mugging with Dynamic Programming

  7. Spaced Repetition for Efficient Learning

  8. Prediction Markets

  9. Nootropics

  10. Summers of Code, 2006–2013

  11. Writing a Wikipedia Link Archive Bot

  12. ‘HP: Methods of Rationality’ review statistics

  13. Candy Japan’s new box A/B test

  14. Who Wrote The Death Note Script?

  15. 2012 election predictions

  16. Touhou music by the numbers

  17. Bitcoin donations on The Pirate Bay

  18. Archiving GitHub

  19. SICP Chapter 1.1 notes

  20. Golfing Run Length Encoding in Haskell

  21. Writing a Wikipedia RSS Link Archive Bot

  22. Choosing Software

  23. Hypertime in Haskell

  24. SICP Chapter 1.3

  25. Resilient Haskell Software

  26. SICP Chapter 1.2 notes

  27. Functional Ownership through Fractional Uniqueness

  28. Typed Design Patterns for the Functional Era

  29. Problem 14 Dynamic Programming Solutions

  30. Understanding Jane Street: Strong Language

  31. Keep Your Laziness in Check

  32. The Kelly Coin-Flipping Game: Exact Solutions

  33. Modular implicits

  34. Practical Probabilistic Programming with Monads

  35. hyphenation: Configurable Knuth-Liang hyphenation

  36. The architecture of the Utrecht Haskell compiler

  37. Omega Monad: Enumerating a Context-Free Language

  38. Infinite sets that admit fast exhaustive search

  39. Static typing for a faulty lambda calculus

  40. Total Functional Programming

  41. Bridging the algorithm gap: A linear-time functional program for paragraph formatting

  42. A functional description of TeX’s formula layout

  43. Using circular programs to eliminate multiple traversals of data

  44. From Löb's Theorem to Spreadsheet Evaluation

  45. 7d350ca22ad8a2e7ef25dfaefbe37bc7f0aecd2c.html

  46. The Three Projections of Doctor Futamura

  47. Shuffles, Bayes' Theorem and Continuations.

  48. Accidentally Quadratic

  49. Arbtt: the Automatic, Rule-Based Time Tracker § About

  50. Index of /code.haskell.org/hbuild/

  51. Introducing Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp

  52. 3d9d88f5c21e47afc8a09ac74d4ba7d5aadfc59d.html

  53. The Dhall Configuration Language

  54. GhcLiVE Project Escapes!

  55. Parallelize Cabal Build over Modules

  56. install -J: Allow Limiting the Number of Parallel Linker Invocations

  57. Decide on Core Principles against Which to Judge Breaking Changes #12 § Simon Mar Comment

  58. Articles

  59. YHC‘s Sort Is Faster Than GHC’s

  60. #3843: Merge Plugins into HEAD

  61. #910: --Make Should Have a -J Flag for Parallel Building

  62. Wiki

  63. Immix

  64. New Plugins · Wiki · Glasgow Haskell Compiler / GHC

  65. Hackage: Introduction

  66. Barracuda: An Ad-Hoc P2P Chat Program

  67. DBus: D-Bus Bindings

  68. DisTract: Distributed Bug Tracking System

  69. DrIFT-Cabalized: Program to Derive Type Class Instances

  70. FermatsLastMargin: Annotate Ps and Pdf Documents

  71. Flippi: Wiki

  72. HFuse: HFuse Is a Binding for the Linux FUSE Library

  73. HRay: Haskell Raytracer

  74. HTTP: A Library for Client-Side HTTP

  75. Network.HTTP

  76. Hashell: Simple Shell Written in Haskell

  77. Judy Bindings, and Some Nice APIs

  78. ListZipper: Simple Zipper for Lists

  79. Monadius: 2-D Arcade Scroller

  80. TypeIlluminator: TypeIlluminator Is a Prototype Tool Exploring Debugging of Type Errors

  81. ZMachine: A Z-Machine Interpreter

  82. Adhoc-Network: Ad-Hoc P2P Network Protocol

  83. Archiver: Archive Supplied URLs in WebCite & Internet Archive

  84. Archiver: Archive Supplied URLs in WebCite & Internet Archive

  85. Array-Memoize: Memoization Combinators Using Arrays for Finite Sub-Domains of Functions

  86. Control.Concurrent.MVar

  87. Data.Monoid

  88. Prelude

  89. Bio: A Bioinformatics Library

  90. Blaze-Builder: Efficient Buffered Output

  91. Blaze-Html: A Blazingly Fast HTML Combinator Library for Haskell

  92. Botpp: Build Tool for Lambdabot

  93. Brainfuck: Brainfuck Interpreter

  94. Bytestring: Fast, Compact, Strict and Lazy Byte Strings With a List Interface

  95. Cabal-Query: Helpers for Quering .cabal Files or HackageDB's 00-Index.tar

  96. Clustertools: Tools for Manipulating Sequence Clusters

  97. Condorcet: Library for Condorcet Voting

  98. Conjure: A BitTorrent Client

  99. Data.Graph

  100. Data.Set

  101. Curl: Haskell Binding to Libcurl

  102. Network.Curl

  103. Network.Curl

  104. Darcs-Cabalized: David's Advanced Version Control System

  105. Darcs-Graph: Generate Graphs of Darcs Repository Activity

  106. Analyze Quality of Nucleotide Sequences.

  107. Djinn: Generate Haskell Code from a Type

  108. Estreps: Repeats from ESTs

  109. Feed: Interfacing With RSS (v 0.9x, 2.x, 1.0) + Atom Feeds.

  110. Fst: Finite State Transducers

  111. Genericserialize: Serialization Library Using Data.Generics

  112. Ghclive: Interactive Haskell Interpreter in a Browser

  113. Gitit: Wiki Using Happstack, Git or Darcs, and Pandoc.

  114. Goa: GHCi Bindings to Lambdabot

  115. GreenCard, a Foreign Function Pre-Processor for Haskell

  116. Greencard-Lib: A Foreign Function Interface Pre-Processor Library for Haskell

  117. Hakyll: A Static Website Compiler Library

  118. Harp: HaRP Allows Pattern-Matching With Regular Expressions

  119. Hashed-Storage: Hashed File Storage Support Code.

  120. Hashtables: Mutable Hash Tables in the ST Monad

  121. Haskell-In-Space: 'Asteroids' Arcade Games

  122. Haskell-Src-Exts: Manipulating Haskell Source: Abstract Syntax, Lexer, Parser, and Pretty-Printer

  123. Haskell-Type-Exts: A Type Checker for Haskell/haskell-Src-Exts

  124. Hback: N-Back Memory Game

  125. Helisp: An Incomplete Elisp Compiler

  126. Hetris: Text Tetris

  127. Hgeometric: A Geometric Library With Bindings to GPC

  128. HighWaterMark: Memory Usage Statistics

  129. Hinstaller: Installer Wrapper for Haskell Applications

  130. Hjs: JavaScript Parser

  131. Hlint: Source Code Suggestions

  132. Haskell API Search

  133. Hopenssl: FFI Bindings to OpenSSL's EVP Digest Interface

  134. Hs-Fltk: Binding to GUI Library FLTK

  135. Hscurses: NCurses Bindings for Haskell

  136. Hsdip: a Diplomacy Parser/renderer

  137. Hsdns: Asynchronous DNS Resolver

  138. Parsec Parsers for the Internet Message Format (e-Mail)

  139. Library Wrapping the GnuTLS API.

  140. Hsntp: Libraries to Use SNTP Protocol and Small Client/server Implementations

  141. Haskell Server Pages Is a Library for Writing Dynamic Server-Side Web Pages.

  142. Hspr-Sh: Session Handler for HSP

  143. Http-Enumerator: HTTP Client Package With Enumerator Interface and HTTPS Support

  144. Http-Wget: Provide a Simple HTTP Client Interface by Wrapping the Wget Command Line Tool. (deprecated)

  145. Hybrid: A Implementation of a Type-Checker for Lambda-H

  146. Infix Expression Re-Parsing (for HsParser Library)

  147. Interlude: Replaces Some Prelude Functions for Enhanced Error Reporting

  148. Iteratee: Iteratee-Based I/O

  149. Theorem Proving Library Based on Dependent Type Theory

  150. Lambdabot-Utils: Utility Libraries for the Advanced IRC Bot, Lambdabot

  151. Lazysmallcheck: A Library for Demand-Driven Testing of Haskell Programs

  152. Linkchk Is a Network Interface Link Ping Monitor.

  153. Mohws: Modular Haskell Web Server

  154. Mpdmate: MPD/PowerMate Executable

  155. Mtl: Monad Classes for Transformers, Using Functional Dependencies

  156. Control.Monad.State.Lazy

  157. Nanocurses: Simple Curses Binding

  158. Network: Low-Level Networking Interface

  159. Network-Uri: URI Manipulation

  160. Data.Number.CReal

  161. Nymphaea: An Interactive GUI for Manipulating L-Systems

  162. Orchid: Haskell Wiki Library

  163. Pesca: Proof Editor for Sequent Calculus

  164. Pkcs1: RSA Encryption With PKCS1 Padding

  165. Plugins: Dynamic Linking for Haskell and C Objects

  166. Popenhs: Popenhs Is a Popen-Like Library for Haskell

  167. Powermate: Bindings for Griffin PowerMate USB

  168. Pugs-HsSyck: Fast, Lightweight YAML Loader and Dumper

  169. Pugs-Hsregex: Haskell PCRE Binding

  170. Push-Notify: A Server-Side Library for Sending Push Notifications

  171. Rbr: Mask Nucleotide (EST) Sequences in Fasta Format

  172. Serialize Data

  173. Roguestar-Engine: Sci-Fi Roguelike Game

  174. Sci-Fi Roguelike Game. Client Library.

  175. The RogueStar Animation and Graphics Library

  176. Rss2irc: Watches an RSS/Atom Feed and Writes It to an IRC Channel

  177. Scion: Haskell IDE Library

  178. Show: 'Show' Instances for Lambdabot

  179. Simseq: Simulate Sequencing With Different Models for Priming and Errors

  180. Smallcheck: A Property-Based Testing Library

  181. Split: Combinator Library for Splitting Lists

  182. Storablevector: Fast, Packed, Strict Storable Arrays With a List Interface like ByteString

  183. Tagsoup: Parsing and Extracting Information from (possibly Malformed) HTML/XML Documents

  184. Text.HTML.TagSoup.Parser

  185. Text.HTML.TagSoup.Parser

  186. Tetris: A 2-D Clone of Tetris

  187. Typing Haskell In Haskell

  188. Trhsx: Deprecated

  189. Type-Equality-Check: Type Equality Check

  190. Unix: POSIX Functionality

  191. Unlambda: Unlambda Interpreter

  192. Urlcheck: Parallel Link Checker

  193. Vector: Efficient Arrays

  194. Vty: A Simple Terminal UI Library

  195. Xml-Parsec: Parsing XML With Parsec

  196. Xml2x: Convert BLAST Output in XML Format to CSV or HTML

  197. XMonad.Actions.Search

  198. XMonad.Prompt.Shell

  199. Xmonad-Utils: A Small Collection of X Utilities

  200. Xsact: Cluster EST Sequences

  201. Yi-Gtk: The Haskell-Scriptable Editor, Helper Package

  202. Yi-Vty: The Haskell-Scriptable Editor, Helper Package

  203. Packages by Category

  204. Packages by Category

  205. Hledger Homepage

  206. Hoogle

  207. %5BInt%5D_->_Int

  208. %5Ba%5D_->_%5Ba%5D

  209. %5Ba%5D_->_a

  210. =<<

  211. (Monoid_a)_=>_a

  212. (Monoid_a)_=>_a_->_a_->_a

  213. (a1_->_%5Ba%5D)_->_%5Ba1%5D_->_%5Ba%5D

  214. (a_->_b_->_c)_->_(a,b)_->_c

  215. (a_->_m_b)_->_%5Ba%5D_->_m_()

  216. (x_->_Bool)_->_(x_->_x)_->_x_->_x

  217. Control.Monad.void

  218. Control.Parallel.Strategies

  219. Data.List

  220. Data.List.sort

  221. Data.Monoid

  222. Data.Sequence

  223. Eq_a_=>_%5Ba%5D_->_%5Ba%5D

  224. Filter

  225. IO_a_->_IO_()

  226. IO_a_->_IO_ThreadId

  227. IO_a_->_IO_a

  228. Int_->_%5Ba%5D_->_%5Ba%5D

  229. Int_->_a_->_%5Ba%5D

  230. Monad

  231. Network.HTTP

  232. Ord_a_=>_%5Ba%5D_->_%5Ba%5D

  233. Product

  234. String_->_Int

  235. System.Cmd

  236. System.FilePath.dropExtension

  237. System.Process

  238. XMonad.Actions.Search

  239. A_->_%5Ba%5D

  240. A_->_%5Ba%5D_->_Int

  241. A_->_(a_->_a)_->_%5Ba%5D

  242. Concat

  243. ElemIndex

  244. ElemIndices

  245. Filter

  246. GetArgs

  247. GetContents

  248. IsPrefixOf

  249. Iterate

  250. LiftM

  251. LogBase

  252. https://hoogle.haskell.org/?hoogle=mapM

  253. MapM_

  254. Maximum

  255. Product

  256. ReadProcessWithExitCode

  257. Repeat

  258. Replicate

  259. RunCommand

  260. Spawn

  261. TakeWhile

  262. Uncurry

  263. UnsafeInterleaveIO

  264. Words

  265. Turnstyle: an Esoteric Visual Functional Language

  266. 5ed927055b812274f6d848695b27d382c0670827.html

  267. The Cabal-Devel Archives

  268. GHC Core Plugins

  269. The Haskell-Cafe May 2007 Archive by Thread

  270. [Haskell-Cafe] Re: [Haskell] Google Summer of Code 2009

  271. [Haskell-Cafe] Re: [Haskell] Google Summer of Code 2009

  272. The Haskell-Cafe February 2009 Archive by Subject

  273. [Haskell-Cafe] Haskell Summers of Code Retrospective (updated for 2010)

  274. GSoC Project Proposal: Markdown Support for Haddock

  275. [Haskell-Cafe] [ANNOUNCE] Fficxx: Haskell-C++ FFI Binding Generator

  276. [Haskell-Cafe] [Haskell.org Google Summer of Code 2013] Approved Projects

  277. [Haskell-Cafe] Google Summer of Code Proposal—Communicating With Mobile Devices

  278. Cartesian Closed Comic #15: Iteratees

  279. 3ac2428fb573b84f7f81bbf3a70b85b7ef5e673b.html

  280. The Sad State of Property-Based Testing Libraries

  281. 6069497d9f8d7b081b3da41e5b8a7207be128238.html

  282. Application Information

  283. 2231836d6755a3d8f42c765e9b190ffbe746137c.html

  284. [Haskell-Cafe] ANN: Unordered-Containers—A New, Faster Hashing-Based Containers Library

  285. Adding an Ignore Function to Control.Monad

  286. [Haskell-Cafe] RE: [Haskell] Announce: Yi 0.3

  287. [Haskell-Cafe] Usage of Rewrite Rule Specialization in Hackage

  288. [Haskell-Cafe] Haskell Statistics for Use of TypeFamilies and FunctionalDependencies

  289. [Haskell-Cafe] Summer of Code

  290. [Haskell-Cafe] ANN: Cabal-Install-1.16.0 (and Cabal-1.16.0.1)

  291. Improve System.Environment Haddocks

  292. Proposal: Add Int Indexing Functions to Data.Set

  293. Arrow

  294. Cabal-Install

  295. Cabal-Install

  296. GHC/Data Parallel Haskell

  297. Generalised Algebraic Datatype

  298. Google Summer of Code

  299. HaskellWiki

  300. Haskell Platform

  301. Hp2any

  302. Hpysics

  303. Parallelism and Concurrency

  304. Stack Overflow

  305. Tail Recursion

  306. The Monad.Reader

  307. User:Gwern

  308. Xmonad/Config Archive

  309. Xmonad/Config Archive/Gwern's Xmonad.hs

  310. Zipper

  311. Search

  312. Haskell Wiki § User:Gwern Contributions

  313. ‘Making Cabal-Install Non-Destructive’; Philipp Schuster, Andres Loh September 12, 2012

  314. 0689ee5724666c5faf2eb3495dbc840fca05d274.pdf

  315. Gwern Site:http://www.haskell.org/pipermail/haskell-Cafe/

  316. Gwern Site:http://www.haskell.org/pipermail/libraries/

  317. Gwern Site:http://www.haskell.org/pipermail/xmonad/

  318. Haskell Language

  319. The Haskell Cabal

  320. Really Old Cabal Stuff

  321. 2009-09-dijkstra-vimeo-thearchitecturesoftheutrechthaskellcompiler-talk.mp4

  322. http://impredicative.com/ur/

  323. e9c8517019f854979b2b6d54e163fffccc8cdf9a.html

  324. http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/

  325. 3122e64507823d8b39ac7d6597cd737e2a8ad2b1.html

  326. http://sparky.haskell.org:8080/package/blaze-builder/reverse/all

  327. http://sparky.haskell.org:8080/package/blaze-html/reverse/all

  328. http://sparky.haskell.org:8080/package/curl/reverse/all

  329. http://sparky.haskell.org:8080/package/enumerator/reverse

  330. http://sparky.haskell.org:8080/package/gmap/reverse/all

  331. http://sparky.haskell.org:8080/package/haskell-src-exts/reverse/all

  332. http://sparky.haskell.org:8080/package/haskell-src/reverse/all

  333. https://archives.haskell.org/code.haskell.org/monadius/Monadius/Demo.hs

  334. https://archives.haskell.org/code.haskell.org/~Saizan/cabal/

  335. https://blog.ploeh.dk/2017/10/04/from-design-patterns-to-category-theory/

  336. https://book.realworldhaskell.org/read/data-structures.html#id637702

  337. https://chromakode.com/post/xkcd-machine/

  338. 87cc2b17dbc9f3fbb3a8364fb1d525b1bb908464.html

  339. https://community.haskell.org/~ndm/hlint/

  340. https://cstheory.stackexchange.com/questions/1539/whats-new-in-purely-functional-data-structures-since-okasaki

  341. https://dennybritz.com/posts/probability-monads-from-scratch/

  342. c9fe07ed941ce6c840206ed23c2220c5be861c5a.html

  343. https://gist.github.com/harryaskham/68a611bef777525991790bca2f2d324d

  344. https://github.com/DSLsofMath/DSLsofMath

  345. https://hackage.haskell.org/package/probability

  346. https://harrisongoldste.in/papers/icse24-pbt-in-practice.pdf

  347. bbccbbe268729a049cb8f8f0b2138e416e15238a.pdf

  348. https://hoogle.haskell.org/?hoogle=Num

  349. https://hoogle.haskell.org/?hoogle=Read

  350. https://hoogle.haskell.org/?hoogle=Show

  351. https://hoogle.haskell.org/?hoogle=Sum

  352. https://hoogle.haskell.org/?hoogle=any

  353. https://hoogle.haskell.org/?hoogle=drop

  354. https://hoogle.haskell.org/?hoogle=fst

  355. https://hoogle.haskell.org/?hoogle=id

  356. https://hoogle.haskell.org/?hoogle=last

  357. https://hoogle.haskell.org/?hoogle=nub

  358. https://hoogle.haskell.org/?hoogle=snd

  359. https://hoogle.haskell.org/?hoogle=tail

  360. https://hsyl20.fr/home/files/papers/2022-ghc-modularity.pdf

  361. 61f6dfd7b4ca6250876d44cb505cdc8de2d16d10.pdf

  362. https://iagoleal.com/posts/value-iteration-haskell/

  363. https://jaspervdj.be/posts/2020-09-17-lazysort.html

  364. 44d5f95f243134d2b000a38aa9339809d7822f8a.html

  365. https://jaspervdj.be/posts/2023-07-22-lazy-layout.html

  366. a44e055baf52d985946104feb195df528ac20ad6.html

  367. https://monad-bayes-site.netlify.app/_site/about.html

  368. https://pages.cpsc.ucalgary.ca/~robin/class/449/Evolution.htm

  369. https://stefan.saasen.me/articles/git-clone-in-haskell-from-the-bottom-up/

  370. 96e5d75c7efb9e31da21b53ef6b2e446635b2449.html

  371. https://web.archive.org/web/20060517222319/http://hackage.haskell.org/trac/summer-of-code/

  372. https://web.archive.org/web/20060620090542/http://hackage.haskell.org/trac/summer-of-code/report/1

  373. https://web.archive.org/web/20060629061358/http://hackage.haskell.org/trac/summer-of-code/ticket/3

  374. https://web.archive.org/web/20060629061857/http://hackage.haskell.org/trac/summer-of-code/ticket/30

  375. https://web.archive.org/web/20060629062124/http://hackage.haskell.org/trac/summer-of-code/ticket/44

  376. https://web.archive.org/web/20060629062327/http://hackage.haskell.org/trac/summer-of-code/ticket/54

  377. https://web.archive.org/web/20060629062454/http://hackage.haskell.org/trac/summer-of-code/ticket/61

  378. https://web.archive.org/web/20060629062841/http://hackage.haskell.org/trac/summer-of-code/ticket/81

  379. https://web.archive.org/web/20070513121920/http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2006

  380. https://web.archive.org/web/20080107023717/http://hackage.haskell.org/trac/summer-of-code/ticket/1122

  381. https://web.archive.org/web/20080324101857/http://hackage.haskell.org/trac/summer-of-code/ticket/1537

  382. https://web.archive.org/web/20080324102704/http://hackage.haskell.org/trac/summer-of-code/ticket/1536

  383. https://web.archive.org/web/20080324102735/http://hackage.haskell.org/trac/summer-of-code/ticket/1545

  384. https://web.archive.org/web/20080331232242/http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2008

  385. https://web.archive.org/web/20080401152704/http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2007

  386. https://web.archive.org/web/20080408151715/http://hackage.haskell.org/trac/summer-of-code/ticket/1560

  387. https://web.archive.org/web/20091001184532/http://sparky.haskell.org:8080/

  388. https://web.archive.org/web/20100123083943/http://hackage.haskell.org/trac/summer-of-code/ticket/1579

  389. https://web.archive.org/web/20100130045958/http://hackage.haskell.org/trac/summer-of-code/ticket/1574

  390. https://web.archive.org/web/20100324194403/https://hackage.haskell.org/trac/hackage/ticket/576

  391. https://web.archive.org/web/20100416105141/http://hackage.haskell.org/trac/summer-of-code/ticket/1585

  392. https://web.archive.org/web/20100416132315/http://hackage.haskell.org/trac/summer-of-code/ticket/1584

  393. https://web.archive.org/web/20111206064418/https://hackage.haskell.org/trac/hackage/wiki/HBuild

  394. https://web.archive.org/web/20130128105157/https://www.haskell.org/pipermail/haskell-cafe/2010-December/087158.html

  395. https://web.archive.org/web/20130128105201/https://www.haskell.org/pipermail/haskell/2009-June/021388.html

  396. https://web.archive.org/web/20130510012249/https://hackage.haskell.org/packages/archive/log

  397. https://web.archive.org/web/20150211215353/https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci-debugger.html

  398. https://wiki.haskell.org/Frag

  399. https://wiki.haskell.org/wikiupload/5/5d/TMR-Issue9.pdf

  400. 9f48c3fdf2ce455b7b7d6e1a4117b6dcb0427429.pdf

  401. https://wiki.haskell.org/wikiupload/f/f0/TMR-Issue12.pdf

  402. a24e3b1e954c5d7e49ee2ba1265d131ed38466df.pdf

  403. https://www.cole-k.com/2023/02/21/tiny-games-hs/

  404. 8e27e5540b5499da00439aaac40adeaeacc8c238.html

  405. https://www.ioccc.org/2019/lynn/hint.html

  406. 8106aa145b4aa955faa7df0f32467026961309f1.html

  407. https://www.tryhaskell.org/

  408. https://x.com/harryaskham/status/1636376676329455617

  409. Problem 14 Dynamic Programming Solutions

  410. Gwern.net Homepage

    [Transclude the forward-link's context]

  411. %252Fproblem-14.html

  412. Understanding Jane Street: Strong Language

  413. https%253A%252F%252Fwww.thediff.co%252Fp%252Fjane-street%2523%2525C2%2525A7strong-language.html

  414. The Kelly Coin-Flipping Game: Exact Solutions

  415. Gwern.net Homepage

    [Transclude the forward-link's context]

  416. %252Fcoin-flip.html

  417. Static typing for a faulty lambda calculus

  418. %252Fdoc%252Fcs%252Fcomputable%252F2006-walker.pdf.html