- See Also
-
Gwern
- “Statistical Notes”, Gwern 2014
- “Archiving URLs”, Gwern 2011
- “Auto-Smallcaps Filter”, Gwern 2020
- “About Gwern”, Gwern 2009
- “Solving Pascal’s Mugging With Dynamic Programming”, Gwern 2019
- “Spaced Repetition for Efficient Learning”, Gwern 2009
- “Prediction Markets”, Gwern 2009
- “Nootropics”, Gwern 2010
- “Summers of Code, 2006-2013”, Gwern 2009
- “Writing a Wikipedia Link Archive Bot”, Gwern 2008
- “‘HP: Methods of Rationality’ Review Statistics”, Gwern 2012
- “Candy Japan’s New Box A/B Test”, Gwern 2016
- “Who Wrote The Death Note Script?”, Gwern 2009
- “2012 Election Predictions”, Gwern 2012
- “Touhou Music by the Numbers”, Gwern 2013
- “Bitcoin Donations on The Pirate Bay”, Gwern 2014
- “Archiving GitHub”, Gwern 2011
- “SICP Chapter 1.1 Notes”, Gwern 2009
- “Golfing Run Length Encoding in Haskell”, Gwern 2008
- “Writing a Wikipedia RSS Link Archive Bot”, Gwern 2009
- “Choosing Software”, Gwern 2008
- “Hypertime in Haskell”, Gwern 2012
- “SICP Chapter 1.3”, Gwern 2010
- “Resilient Haskell Software”, Gwern 2008
- “SICP Chapter 1.2 Notes”, Gwern 2009
-
Links
- “Functional Ownership through Fractional Uniqueness”, Marshall & Orchard 2023
- “Typed Design Patterns for the Functional Era”, Crichton 2023
- “Problem 14 Dynamic Programming Solutions”, Gwern et al 2022
- “Understanding Jane Street: Strong Language”, Hobart 2022
- “Keep Your Laziness in Check”, Foner et al 2018
- “The Kelly Coin-Flipping Game: Exact Solutions”, Gwern et al 2017
- “Modular Implicits”, White et al 2015
- “Practical Probabilistic Programming With Monads”, Ścibior et al 2015
- “Hyphenation: Configurable Knuth-Liang Hyphenation”, Kmett 2012
- “The Architecture of the Utrecht Haskell Compiler”, Dijkstra et al 2009
- “Infinite Sets That Admit Fast Exhaustive Search”, Escardo 2007
- “Total Functional Programming”, Turner 2004b
- “Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting”, Moor & Gibbons 1999
- “A Functional Description of TeX’s Formula Layout”, Heckmann & Wilhelm 1997
- “Using Circular Programs to Eliminate Multiple Traversals of Data”, Bird 1984
- “YHC‘s Sort Is Faster Than GHC’s”
- “GHC Core Plugins”
- “[Haskell-Cafe] [ANNOUNCE] Fficxx: Haskell-C++ FFI Binding Generator”
- “[Haskell-Cafe] [haskell.org Google Summer of Code 2013] Approved Projects”
- “[Haskell-Cafe] Google Summer of Code Proposal—Communicating With Mobile Devices”
- “[Haskell-Cafe] ANN: Unordered-Containers—A New, Faster Hashing-Based Containers Library”
- “Adding an Ignore Function to Control.Monad”
- “[Haskell-Cafe] RE: [Haskell] Announce: Yi 0.3”
- “[Haskell-Cafe] Usage of Rewrite Rule Specialization in Hackage”
- “[Haskell-Cafe] Haskell Statistics for Use of TypeFamilies and FunctionalDependencies”
- “[Haskell-Cafe] Summer of Code”
- “[Haskell-Cafe] ANN: Cabal-Install-1.16.0 (and Cabal-1.16.0.1)”
- “Improve System.Environment Haddocks”
- “Proposal: Add Int Indexing Functions to Data.Set”
- “‘Making Cabal-Install Non-Destructive’; Philipp Schuster, Andres Loh September 12, 2012”
- Sort By Magic
- Wikipedia
- Miscellaneous
- Link Bibliography
See Also
Gwern
“Statistical Notes”, Gwern 2014
“Archiving URLs”, Gwern 2011
“Auto-Smallcaps Filter”, Gwern 2020
“About Gwern”, Gwern 2009
“Solving Pascal’s Mugging With Dynamic Programming”, Gwern 2019
“Spaced Repetition for Efficient Learning”, Gwern 2009
“Prediction Markets”, Gwern 2009
“Nootropics”, Gwern 2010
“Summers of Code, 2006-2013”, Gwern 2009
“Writing a Wikipedia Link Archive Bot”, Gwern 2008
“‘HP: Methods of Rationality’ Review Statistics”, Gwern 2012
“Candy Japan’s New Box A/B Test”, Gwern 2016
“Who Wrote The Death Note Script?”, Gwern 2009
“2012 Election Predictions”, Gwern 2012
“Touhou Music by the Numbers”, Gwern 2013
“Bitcoin Donations on The Pirate Bay”, Gwern 2014
“Archiving GitHub”, Gwern 2011
“SICP Chapter 1.1 Notes”, Gwern 2009
“Golfing Run Length Encoding in Haskell”, Gwern 2008
“Writing a Wikipedia RSS Link Archive Bot”, Gwern 2009
“Choosing Software”, Gwern 2008
“Hypertime in Haskell”, Gwern 2012
“SICP Chapter 1.3”, Gwern 2010
“Resilient Haskell Software”, Gwern 2008
“SICP Chapter 1.2 Notes”, Gwern 2009
Links
“Functional Ownership through Fractional Uniqueness”, Marshall & Orchard 2023
“Typed Design Patterns for the Functional Era”, Crichton 2023
“Problem 14 Dynamic Programming Solutions”, Gwern et al 2022
“Understanding Jane Street: Strong Language”, Hobart 2022
“Keep Your Laziness in Check”, Foner et al 2018
“The Kelly Coin-Flipping Game: Exact Solutions”, Gwern et al 2017
“Modular Implicits”, White et al 2015
“Practical Probabilistic Programming With Monads”, Ścibior et al 2015
“Hyphenation: Configurable Knuth-Liang Hyphenation”, Kmett 2012
“The Architecture of the Utrecht Haskell Compiler”, Dijkstra et al 2009
“Infinite Sets That Admit Fast Exhaustive Search”, Escardo 2007
“Total Functional Programming”, Turner 2004b
Total Functional Programming:
View PDF:
“Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting”, Moor & Gibbons 1999
Bridging the algorithm gap: A linear-time functional program for paragraph formatting
“A Functional Description of TeX’s Formula Layout”, Heckmann & Wilhelm 1997
“Using Circular Programs to Eliminate Multiple Traversals of Data”, Bird 1984
Using circular programs to eliminate multiple traversals of data
“YHC‘s Sort Is Faster Than GHC’s”
“GHC Core Plugins”
“[Haskell-Cafe] [ANNOUNCE] Fficxx: Haskell-C++ FFI Binding Generator”
[Haskell-cafe] [ANNOUNCE] fficxx: haskell-C++ FFI binding generator
“[Haskell-Cafe] [haskell.org Google Summer of Code 2013] Approved Projects”
[Haskell-cafe] [haskell.org Google Summer of Code 2013] Approved Projects
“[Haskell-Cafe] Google Summer of Code Proposal—Communicating With Mobile Devices”
[Haskell-cafe] Google Summer of Code Proposal—Communicating with mobile devices
“[Haskell-Cafe] ANN: Unordered-Containers—A New, Faster Hashing-Based Containers Library”
[Haskell-cafe] ANN: unordered-containers—a new, faster hashing-based containers library
“Adding an Ignore Function to Control.Monad”
“[Haskell-Cafe] RE: [Haskell] Announce: Yi 0.3”
“[Haskell-Cafe] Usage of Rewrite Rule Specialization in Hackage”
[Haskell-cafe] Usage of rewrite rule specialization in Hackage
“[Haskell-Cafe] Haskell Statistics for Use of TypeFamilies and FunctionalDependencies”
[Haskell-cafe] Haskell statistics for use of TypeFamilies and FunctionalDependencies
“[Haskell-Cafe] Summer of Code”
“[Haskell-Cafe] ANN: Cabal-Install-1.16.0 (and Cabal-1.16.0.1)”
[Haskell-cafe] ANN: cabal-install-1.16.0 (and Cabal-1.16.0.1)
“Improve System.Environment Haddocks”
“Proposal: Add Int Indexing Functions to Data.Set”
“‘Making Cabal-Install Non-Destructive’; Philipp Schuster, Andres Loh September 12, 2012”
‘Making cabal-install non-destructive’; Philipp Schuster, Andres Loh September 12, 2012
Sort By Magic
Annotations sorted by machine learning into inferred 'tags'. This provides an alternative way to browse: instead of by date order, one can browse in topic order. The 'sorted' list has been automatically clustered into multiple sections & auto-labeled for easier browsing.
Beginning with the newest annotation, it uses the embedding of each annotation to attempt to create a list of nearest-neighbor annotations, creating a progression of topics. For more details, see the link.
haskell-compiler
type-theory
functional-programming
Wikipedia
Miscellaneous
-
/doc/cs/haskell/2009-09-dijkstra-vimeo-thearchitecturesoftheutrechthaskellcompiler-talk.mp4 -
http://blog.sigfpe.com/2006/11/from-l-theorem-to-spreadsheet.html: -
http://blog.sigfpe.com/2009/05/three-projections-of-doctor-futamura.html -
http://blog.sigfpe.com/2012/12/shuffles-bayes-theorem-and-continuations.html -
http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/ -
http://sparky.haskell.org:8080/package/blaze-builder/reverse/all -
http://sparky.haskell.org:8080/package/blaze-html/reverse/all -
http://sparky.haskell.org:8080/package/haskell-src-exts/reverse/all -
http://sparky.haskell.org:8080/package/haskell-src/reverse/all -
https://arbtt.nomeata.de/#what:View External Link:
-
https://archives.haskell.org/code.haskell.org/monadius/Monadius/Demo.hs -
https://archives.haskell.org/code.haskell.org/~Saizan/cabal/ -
https://blog.ploeh.dk/2017/10/04/from-design-patterns-to-category-theory/ -
https://book.realworldhaskell.org/read/data-structures.html#id637702 -
https://coalton-lang.github.io/20211010-introducing-coalton/: -
https://dennybritz.com/posts/probability-monads-from-scratch/ -
https://gist.github.com/harryaskham/68a611bef777525991790bca2f2d324d -
https://github.com/quchen/articles/blob/master/loeb-moeb.md:View Markdown:
-
https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/g-so-c-multiple-instances -
https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/rts/storage/gc/immix -
https://hackage.haskell.org/:View External Link:
-
https://hackage.haskell.org/package/Barracuda:View External Link:
-
https://hackage.haskell.org/package/DBus:View External Link:
-
https://hackage.haskell.org/package/DisTract:View External Link:
-
https://hackage.haskell.org/package/DrIFT-cabalized:View External Link:
-
https://hackage.haskell.org/package/FermatsLastMargin:View External Link:
-
https://hackage.haskell.org/package/Flippi:View External Link:
-
https://hackage.haskell.org/package/HFuse:View External Link:
-
https://hackage.haskell.org/package/HRay:View External Link:
-
https://hackage.haskell.org/package/HTTP-4000.4.1/docs/Network-HTTP.html#v:simpleHTTP: -
https://hackage.haskell.org/package/Hashell:View External Link:
-
https://hackage.haskell.org/package/TypeIlluminator:View External Link:
-
https://hackage.haskell.org/package/ZMachine:View External Link:
-
https://hackage.haskell.org/package/adhoc-network:View External Link:
-
https://hackage.haskell.org/package/base-4.15.0.0/docs/Control-Concurrent-MVar.html -
https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Monoid.html -
https://hackage.haskell.org/package/base-4.19.1.0/docs/Prelude.html#v:until: -
https://hackage.haskell.org/package/bio:View External Link:
-
https://hackage.haskell.org/package/botpp:View External Link:
-
https://hackage.haskell.org/package/brainfuck:View External Link:
-
https://hackage.haskell.org/package/clustertools:View External Link:
-
https://hackage.haskell.org/package/condorcet:View External Link:
-
https://hackage.haskell.org/package/conjure:View External Link:
-
https://hackage.haskell.org/package/containers-0.7/docs/Data-Graph.html -
https://hackage.haskell.org/package/containers-0.7/docs/Data-Set.html -
https://hackage.haskell.org/package/curl-1.3.6/docs/Network-Curl.html -
https://hackage.haskell.org/package/curl-1.3.6/docs/Network-Curl.html#v:curlGetString: -
https://hackage.haskell.org/package/darcs-cabalized:View External Link:
-
https://hackage.haskell.org/package/darcs-graph:View External Link:
-
https://hackage.haskell.org/package/dephd:View External Link:
-
https://hackage.haskell.org/package/estreps:View External Link:
-
https://hackage.haskell.org/package/fst:View External Link:
-
https://hackage.haskell.org/package/genericserialize:View External Link:
-
https://hackage.haskell.org/package/goa:View External Link:
-
https://hackage.haskell.org/package/greencard:View External Link:
-
https://hackage.haskell.org/package/greencard-lib:View External Link:
-
https://hackage.haskell.org/package/harp:View External Link:
-
https://hackage.haskell.org/package/helisp:View External Link:
-
https://hackage.haskell.org/package/hetris:View External Link:
-
https://hackage.haskell.org/package/hgeometric:View External Link:
-
https://hackage.haskell.org/package/highWaterMark:View External Link:
-
https://hackage.haskell.org/package/hinstaller:View External Link:
-
https://hackage.haskell.org/package/hjs:View External Link:
-
https://hackage.haskell.org/package/hopenssl:View External Link:
-
https://hackage.haskell.org/package/hs-fltk:View External Link:
-
https://hackage.haskell.org/package/hscurses:View External Link:
-
https://hackage.haskell.org/package/hsdip:View External Link:
-
https://hackage.haskell.org/package/hsdns:View External Link:
-
https://hackage.haskell.org/package/hsemail:View External Link:
-
https://hackage.haskell.org/package/hsgnutls:View External Link:
-
https://hackage.haskell.org/package/hsntp:View External Link:
-
https://hackage.haskell.org/package/hsp:View External Link:
-
https://hackage.haskell.org/package/hspr-sh:View External Link:
-
https://hackage.haskell.org/package/hybrid:View External Link:
-
https://hackage.haskell.org/package/infix:View External Link:
-
https://hackage.haskell.org/package/interlude:View External Link:
-
https://hackage.haskell.org/package/ivor:View External Link:
-
https://hackage.haskell.org/package/lambdabot-utils:View External Link:
-
https://hackage.haskell.org/package/lazysmallcheck:View External Link:
-
https://hackage.haskell.org/package/linkchk:View External Link:
-
https://hackage.haskell.org/package/mohws:View External Link:
-
https://hackage.haskell.org/package/mpdmate:View External Link:
-
https://hackage.haskell.org/package/mtl-2.3.1/docs/Control-Monad-State-Lazy.html -
https://hackage.haskell.org/package/nanocurses:View External Link:
-
https://hackage.haskell.org/package/numbers-2009.8.9/docs/Data-Number-CReal.html#t:CReal: -
https://hackage.haskell.org/package/nymphaea:View External Link:
-
https://hackage.haskell.org/package/orchid:View External Link:
-
https://hackage.haskell.org/package/pesca:View External Link:
-
https://hackage.haskell.org/package/pkcs1:View External Link:
-
https://hackage.haskell.org/package/plugins:View External Link:
-
https://hackage.haskell.org/package/popenhs:View External Link:
-
https://hackage.haskell.org/package/powermate:View External Link:
-
https://hackage.haskell.org/package/pugs-HsSyck:View External Link:
-
https://hackage.haskell.org/package/pugs-hsregex:View External Link:
-
https://hackage.haskell.org/package/rbr:View External Link:
-
https://hackage.haskell.org/package/reify:View External Link:
-
https://hackage.haskell.org/package/roguestar-engine:View External Link:
-
https://hackage.haskell.org/package/roguestar-gl:View External Link:
-
https://hackage.haskell.org/package/rsagl:View External Link:
-
https://hackage.haskell.org/package/show:View External Link:
-
https://hackage.haskell.org/package/simseq:View External Link:
-
https://hackage.haskell.org/package/smallcheck:View External Link:
-
https://hackage.haskell.org/package/tagsoup-0.6/docs/Text-HTML-TagSoup-Parser.html#v%3AparseTags: -
https://hackage.haskell.org/package/tagsoup-0.6/docs/Text-HTML-TagSoup-Parser.html#v:parseTags: -
https://hackage.haskell.org/package/tetris:View External Link:
-
https://hackage.haskell.org/package/thih:View External Link:
-
https://hackage.haskell.org/package/trhsx:View External Link:
-
https://hackage.haskell.org/package/type-equality-check:View External Link:
-
https://hackage.haskell.org/package/unlambda:View External Link:
-
https://hackage.haskell.org/package/vty:View External Link:
-
https://hackage.haskell.org/package/xml-parsec:View External Link:
-
https://hackage.haskell.org/package/xml2x:View External Link:
-
https://hackage.haskell.org/package/xmonad-contrib-0.15/docs/XMonad-Actions-Search.html -
https://hackage.haskell.org/package/xmonad-contrib-0.15/docs/XMonad-Prompt-Shell.html -
https://hackage.haskell.org/package/xmonad-utils:View External Link:
-
https://hackage.haskell.org/package/xsact:View External Link:
-
https://hackage.haskell.org/package/yi-gtk:View External Link:
-
https://hackage.haskell.org/package/yi-vty:View External Link:
-
https://hackage.haskell.org/packages/#cat:Codec:View External Link:
-
https://harrisongoldste.in/papers/icse24-pbt-in-practice.pdf: -
https://hoogle.haskell.org/?hoogle=%255Ba%255D_-%3E_%255Ba%255D -
https://hoogle.haskell.org/?hoogle=(Monoid_a)_%3D%3E_a_-%3E_a_-%3E_a -
https://hoogle.haskell.org/?hoogle=(a1_-%3E_%255Ba%255D)_-%3E_%255Ba1%255D_-%3E_%255Ba%255D -
https://hoogle.haskell.org/?hoogle=(a_-%3E_b_-%3E_c)_-%3E_(a,b)_-%3E_c -
https://hoogle.haskell.org/?hoogle=(a_-%3E_m_b)_-%3E_%255Ba%255D_-%3E_m_() -
https://hoogle.haskell.org/?hoogle=(x_-%3E_Bool)_-%3E_(x_-%3E_x)_-%3E_x_-%3E_x -
https://hoogle.haskell.org/?hoogle=Control.Parallel.Strategies -
https://hoogle.haskell.org/?hoogle=Eq_a_%3D%3E_%255Ba%255D_-%3E_%255Ba%255D -
https://hoogle.haskell.org/?hoogle=Int_-%3E_%255Ba%255D_-%3E_%255Ba%255D -
https://hoogle.haskell.org/?hoogle=Int_-%3E_a_-%3E_%255Ba%255D -
https://hoogle.haskell.org/?hoogle=Ord_a_%3D%3E_%255Ba%255D_-%3E_%255Ba%255D -
https://hoogle.haskell.org/?hoogle=System.FilePath.dropExtension -
https://hoogle.haskell.org/?hoogle=a_-%3E_%255Ba%255D_-%3E_Int -
https://hoogle.haskell.org/?hoogle=a_-%3E_(a_-%3E_a)_-%3E_%255Ba%255D -
https://hsyl20.fr/home/files/papers/2022-ghc-modularity.pdf: -
https://mail.haskell.org/pipermail/haskell-cafe/2007-May/thread.html#25570: -
https://mail.haskell.org/pipermail/haskell-cafe/2009-February/055500.html -
https://mail.haskell.org/pipermail/haskell-cafe/2009-February/055531.html -
https://mail.haskell.org/pipermail/haskell-cafe/2009-February/subject.html#55500: -
https://mail.haskell.org/pipermail/haskell-cafe/2011-February/089183.html -
https://mail.haskell.org/pipermail/haskell-cafe/2013-April/107389.html -
https://pages.cpsc.ucalgary.ca/~robin/class/449/Evolution.htm -
https://stefan.saasen.me/articles/git-clone-in-haskell-from-the-bottom-up/: -
https://web.archive.org/web/20060517222319/http://hackage.haskell.org/trac/summer-of-code/ -
https://web.archive.org/web/20060620090542/http://hackage.haskell.org/trac/summer-of-code/report/1 -
https://web.archive.org/web/20060629061358/http://hackage.haskell.org/trac/summer-of-code/ticket/3 -
https://web.archive.org/web/20060629061857/http://hackage.haskell.org/trac/summer-of-code/ticket/30 -
https://web.archive.org/web/20060629062124/http://hackage.haskell.org/trac/summer-of-code/ticket/44 -
https://web.archive.org/web/20060629062327/http://hackage.haskell.org/trac/summer-of-code/ticket/54 -
https://web.archive.org/web/20060629062454/http://hackage.haskell.org/trac/summer-of-code/ticket/61 -
https://web.archive.org/web/20060629062841/http://hackage.haskell.org/trac/summer-of-code/ticket/81 -
https://web.archive.org/web/20091001184532/http://sparky.haskell.org:8080/ -
https://web.archive.org/web/20100324194403/https://hackage.haskell.org/trac/hackage/ticket/576 -
https://web.archive.org/web/20111206064418/https://hackage.haskell.org/trac/hackage/wiki/HBuild -
https://web.archive.org/web/20130510012249/https://hackage.haskell.org/packages/archive/log -
https://wiki.haskell.org/Research_papers/Parallelism_and_concurrency#Mobile_Haskell: -
https://wiki.haskell.org/User:Gwern:View External Link:
-
https://wiki.haskell.org/Xmonad/Config_archive#Downloading_all_configs:View External Link:
https://wiki.haskell.org/Xmonad/Config_archive#Downloading_all_configs -
https://wiki.haskell.org/Xmonad/Config_archive/Gwern's_xmonad.hs -
https://wiki.haskell.org/index.php?title=&search=&fulltext=Search -
https://wiki.haskell.org/index.php?title=Special:Log&user=Gwern:View External Link:
https://wiki.haskell.org/index.php?title=Special:Log&user=Gwern -
https://www.google.com/search?q=gwern+site%3Ahttp%3A%2F%2Fwww.haskell.org%2Fpipermail%2Flibraries%2F -
https://www.google.com/search?q=gwern+site%3Ahttp%3A%2F%2Fwww.haskell.org%2Fpipermail%2Fxmonad%2F
Link Bibliography
-
problem-14: “Problem 14 Dynamic Programming Solutions”, Gwern, FeepingCreature, nshepperd, Khoth -
coin-flip: “The Kelly Coin-Flipping Game: Exact Solutions”, Gwern, Arthur Breitman, nshepperd, FeepingCreature, Gurkenglas