| | Three Implementation Models for Scheme (1987) [pdf] (indiana.edu) |
|
70 points by tosh 7 days ago | past | 4 comments
|
| | The Development of Chez Scheme [pdf] (indiana.edu) |
|
1 point by todsacerdoti 7 months ago | past
|
| | Well-Definedness, Semantic Type-Checking for Nested Relational Calculus (2006) [pdf] (indiana.edu) |
|
2 points by tosh 12 months ago | past
|
| | The Internet Scheme Repository (indiana.edu) |
|
41 points by swatson741 on Feb 18, 2024 | past | 4 comments
|
| | Don't Stupid (2010) (indiana.edu) |
|
2 points by eklitzke on Sept 19, 2023 | past
|
| | Knotinfo: Table of Knots (indiana.edu) |
|
3 points by sargstuff on Sept 3, 2023 | past
|
| | Luddy professor publishes innovative compiler textbook (indiana.edu) |
|
4 points by AlexeyBrin on Aug 23, 2023 | past
|
| | C211/H211: Introduction to Computer Science (indiana.edu) |
|
2 points by debanjan16 on May 1, 2023 | past
|
| | The Sound of Molecules (indiana.edu) |
|
1 point by taubek on April 5, 2023 | past
|
| | Zen and the Art of the Internet: A Beginner's Guide to the Internet (1992) (indiana.edu) |
|
2 points by lispybanana on March 22, 2023 | past | 1 comment
|
| | PlaceRaider: Virtual Theft in Physical Spaces with Smartphones [pdf] (indiana.edu) |
|
1 point by dontbenebby on Aug 3, 2022 | past
|
| | Probing political bias on Twitter with drifter bots (2021) (indiana.edu) |
|
3 points by eatonphil on April 27, 2022 | past | 3 comments
|
| | Creating an Intellectual Commons Through Open Access (By Peter Suber, 2004) (indiana.edu) |
|
2 points by warrenm on March 23, 2022 | past
|
| | A Deep Study into the History of Web Design (indiana.edu) |
|
2 points by behnamoh on March 17, 2022 | past
|
| | Sleep Tight, Don’t Let the Bed Bugs Bite (indiana.edu) |
|
1 point by vinnyglennon on March 11, 2022 | past
|
| | Silence Is a Commons (1983) (indiana.edu) |
|
140 points by csbartus on Sept 6, 2021 | past | 17 comments
|
| | Projecting House of Representatives Reapportionment (2005) (indiana.edu) |
|
2 points by myroon5 on June 16, 2021 | past
|
| | The End-to-End Argument and Application Design: The Role of Trust (2011) (indiana.edu) |
|
1 point by DyslexicAtheist on May 10, 2021 | past
|
| | The Scheme Machine (1994) [pdf] (indiana.edu) |
|
3 points by tosh on April 24, 2021 | past
|
| | The Affective Growth of Computer Vision [pdf] (indiana.edu) |
|
2 points by nharada on April 9, 2021 | past
|
| | The Computer Vision Explosion's Effect on It's Practicianers' Mental Health [pdf] (indiana.edu) |
|
2 points by joe_the_user on April 9, 2021 | past
|
| | Guaranteed Optimization: Proving Nullspace Properties of Compilers (2002) (indiana.edu) |
|
20 points by mpweiher on Aug 29, 2020 | past | 2 comments
|
| | The Letter Spirit Project (indiana.edu) |
|
1 point by dvaun on Aug 25, 2020 | past
|
| | Fixing Letrec (reloaded) (2009) [pdf] (indiana.edu) |
|
1 point by tosh on Jan 16, 2020 | past
|
| | A Nanopass Framework for Commercial Compiler Development [pdf] (indiana.edu) |
|
3 points by goranmoomin on Dec 16, 2019 | past
|
| | What Is Computation? (How) Does Nature Compute? [pdf] (indiana.edu) |
|
2 points by juretriglav on Nov 27, 2019 | past
|
| | On the First Amendment: IU Bloomington Statement on Eric Rasmussen (indiana.edu) |
|
1 point by boyd on Nov 22, 2019 | past
|
| | What Is Gradual Typing? (2009) (indiana.edu) |
|
54 points by xisukar on Sept 28, 2019 | past | 32 comments
|
| | Cognitive Science Movie Index (indiana.edu) |
|
1 point by matnessme on Sept 1, 2019 | past
|
| | The Role of the Study of Programming Languages in the Education of a Programmer [pdf] (indiana.edu) |
|
3 points by zackmorris on Aug 20, 2019 | past
|
|
|
More |