Programming in Lambda Calculus Computer Science

---

• Programming in Lambda Calculus
• New algorithm for TSP problem
• How can I identify O(log(n)) and O(n!) algorithmic complexity?
• From Lyft researchers: The largest self-driving dataset for motion prediction to date, with over 1,000 hours of data!
• Where to ask about regular languages, context free grammar, etc.?
• Check out Highlight: Technologist's Intro to Epistemic — Rationale matters a whole lot less if you're not taking into account someone is hurt by it
• Talk: Towards an ML-Augmented Programming Stack
• IM MAD

Programming in Lambda Calculus Posted: 26 Jun 2020 12:14 PM PDT I have written a little paper: Programming in Lambda Calculus The text looks at lambda calculus from a programmers point of view. Everyone with some programming experience should be able to read and understand the text. Special effort is given on how to represent algebraic data types in lambda calculus. I hope some of you might enjoy the paper. submitted by /u/hbrandl [link] [comments]

New algorithm for TSP problem Posted: 26 Jun 2020 08:33 AM PDT I had a task on my combinatorial optimization classes to write any algorithm for the undirected TSP problem. After a bit of playing around with the regular nearest neighbor greedy algorithm, I came up with another one that gives significantly better results than the nearest neighbor and works faster than the ant colony and genetic algorithms. Uploaded it on GitHub and now I want to share it with the community. I hope it will be useful for someone. submitted by /u/MrSydar [link] [comments]

How can I identify O(log(n)) and O(n!) algorithmic complexity? Posted: 27 Jun 2020 04:50 AM PDT 1, n, n² are easily distinguishable but what about log(n) and n! I personally can't find them. Can someone with a proper knowledge maybe explain better than a CS book please? submitted by /u/Enguzelharf [link] [comments]

From Lyft researchers: The largest self-driving dataset for motion prediction to date, with over 1,000 hours of data! Posted: 26 Jun 2020 04:55 PM PDT submitted by /u/MLtinkerer [link] [comments]

Where to ask about regular languages, context free grammar, etc.? Posted: 26 Jun 2020 04:00 PM PDT I have an assignment that I'm having trouble with, and I tried searching for forums or something similar and couldn't find anything and I figured this might be a good place to ask (I may be wrong) Any recommendation is appreciated, thanks! submitted by /u/iamuma [link] [comments]

Check out Highlight: Technologist's Intro to Epistemic — Rationale matters a whole lot less if you're not taking into account someone is hurt by it Posted: 26 Jun 2020 11:49 AM PDT submitted by /u/oaf357 [link] [comments]

Talk: Towards an ML-Augmented Programming Stack Posted: 26 Jun 2020 08:06 AM PDT This is a talk I recently gave; would love to share this with the wider ML and programming community. My team at Google has been working for a couple of years on making ML a first-class citizen, in the sense of having learned functions as easy to use as hand-coded functions. We've been focusing on "reward-driven" learning use cases like systems tuning/optimization and some user-facing stuff like recommendations - i.e. the involved ML is mostly contextual bandits. Turns out, the obstacles to success are not quite what one might think, and require changing how we think about writing programs and how we think about what's a good ML method. Abstract: Making machine learning a first-class citizen in application programming is one of the "holy grails" of the domain. Packaging ML into abstractions practical for everyday development involves challenges at different layers of the programming and research stack, as well as developing new layers and new kinds of abstractions. We present a vision of how such a stack could look like, and recommend directions of necessary work to make it a reality. Video: https://www.youtube.com/watch?v=Zd5NvRu0Gu0 Slides: https://docs.google.com/presentation/d/1fDTYQ9MnZsJPPbDQkMi6vIh4RDwxl1q842jCUHDaS1M/edit?usp=sharing Arxiv paper from some time ago: https://arxiv.org/abs/1810.00619 submitted by /u/jkff [link] [comments]

IM MAD Posted: 26 Jun 2020 09:12 AM PDT Im just here to say why i am very angry. So i was building adders irl and i Ran out of transistors so i buoght some more but they were pnp instead of npn submitted by /u/zulu_the_folf [link] [comments]

You are subscribed to email updates from Computer Science: Theory and Application. To stop receiving these emails, you may unsubscribe now.	Email delivery powered by Google
Google, 1600 Amphitheatre Parkway, Mountain View, CA 94043, United States