Atharva Shukla

Github, StackOverflow, Facebook, Quora, LinkedIn, Instagram


Posts : ACL2 Setup on EmacsList of ActorsBeauty EnhancementsBooksCoq TacticsConvert Lambda Calculus to De BruijnDrRacket (IDE) FeaturesEntrepreneurshipFibonacci using Matrix ExponentiationFormattingFunny thingsAn Axiomatic Basis for Computer ProgrammingIdeasInteresting SoftwareUntyped Lambda CalculusDesugaring to Lambdas (or the Lambda Lecture)Linear Temporal LogicLinksLogical ArgumentsMacro DoubtsResearch papers on MacrosMacros ReferenceMemesMovies and TV ShowsMusicNortheastern Computer Science ClassesPacman grid ASCII artMatching Paren programPeoplePhilosophySome Grooks by Piet HeinRandom QuestionsQuoraQuotesRacket Evaluation ModelRandom ThingsResearch PaperSatisfiability vs RealizabilitySavoyard Philosopher and Terry PratchettSocial ConcernsRubik's Cube AlgorithmsAnswers to deleted StackOverflow QuestionsStackoverflowTechnology and EthicsTed TalkstestWordsTranscendental NumbersTyperacerVideo LinksHow is this Website Generated?Words