Pinboard (bmaddy)
https://pinboard.in/u:bmaddy/public/
recent bookmarks from bmaddy
-
(116) "Propositions as Types" by Philip Wadler - YouTube
2022-10-19T18:16:42+00:00
https://www.youtube.com/watch?v=IOiZatlZtGU&list=WL&index=1&t=594s
bmaddyphilip wadler proposition type talk strangeloop lambda calculus lisp
https://pinboard.in/
https://pinboard.in/u:bmaddy/b:300b346db469/
-
RecordDotSyntax GHC language extension proposal accepted : haskell
2022-01-29T19:37:23+00:00
https://www.reddit.com/r/haskell/comments/fu9iq3/recorddotsyntax_ghc_language_extension_proposal/fmid945/
bmaddylexi lambda haskell projectional editor layers code
https://pinboard.in/
https://pinboard.in/u:bmaddy/b:61fd019d8836/
-
Shen Language
2020-12-20T21:08:24+00:00
http://shenlanguage.org/
bmaddylisp prolog language k lambda
https://pinboard.in/
https://pinboard.in/u:bmaddy/b:13a678ef0b6f/
-
Common Gotchas — The Hitchhiker's Guide to Python
2020-02-14T17:24:38+00:00
https://docs.python-guide.org/writing/gotchas/
bmaddypython wat wtf gotcha tip closure lambda function
https://pinboard.in/
https://pinboard.in/u:bmaddy/b:acc18edfa012/
-
Cloud computing simplified: a Berkeley view on serverless computing – the morning paper
2019-06-01T04:05:06+00:00
https://blog.acolyer.org/2019/03/13/cloud-computing-simplified-a-berkeley-view-on-serverless-computing/
bmaddypaper cloud computing berkeley serverless lambda
https://pinboard.in/
https://pinboard.in/u:bmaddy/b:078cf50fc158/
-
[untitled]
2018-08-16T15:31:57+00:00
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.90.2386&rep=rep1&type=pdf
bmaddyLamping Abstract Algorithm lambda calculus reduce graph cs computer science paper
https://pinboard.in/
https://pinboard.in/u:bmaddy/b:be5bda732e7e/
-
algorithm - Is it possible to evaluate lambda calculus terms efficiently? - Stack Overflow
2018-08-16T14:32:32+00:00
https://stackoverflow.com/questions/31223539/is-it-possible-to-evaluate-lambda-calculus-terms-efficiently/41737550#41737550
bmaddyLamping Abstract Algorithm lambda calculus reduce graph cs computer science stackoverflow optimal reduction technique
https://pinboard.in/
https://pinboard.in/u:bmaddy/b:2512f7d689a4/
-
MaiaVictor/abstract-algorithm: Optimal evaluator of λ-calculus terms.
2018-08-16T14:32:21+00:00
https://github.com/maiavictor/abstract-algorithm
bmaddyLamping Abstract Algorithm lambda calculus reduce graph cs computer science code
https://pinboard.in/
https://pinboard.in/u:bmaddy/b:31553ac458cd/
-
Functions may behave as if they had negative complexity on optimal evaluators
2018-08-16T14:32:15+00:00
https://medium.com/@maiavictor/some-functions-may-have-negative-complexity-im-worried-for-my-crypto-c53f6e7343d3
bmaddyLamping Abstract Algorithm lambda calculus reduce graph cs computer science
https://pinboard.in/
https://pinboard.in/u:bmaddy/b:cf526d36f90b/
-
Janus: A Time-Reversible Language | Lambda the Ultimate
2018-06-12T02:00:49+00:00
http://lambda-the-ultimate.org/node/4748
bmaddyreversible programming language discussion lambda the ultimate energy power
https://pinboard.in/
https://pinboard.in/u:bmaddy/b:423714584ffa/
-
What is the most minimal functional programming language? - Stack Overflow
2017-09-14T13:25:58+00:00
https://stackoverflow.com/questions/4366856/what-is-the-most-minimal-functional-programming-language
bmaddysmall programming language minimal lambda calculus ski combinator
https://pinboard.in/
https://pinboard.in/u:bmaddy/b:86708c7d6aba/
-
portkey-cloud/aws-clj-sdk: Clojure bindings for AWS
2017-09-08T17:31:23+00:00
https://github.com/portkey-cloud/aws-clj-sdk
bmaddyclojure aws lambda library cgrand
https://pinboard.in/
https://pinboard.in/u:bmaddy/b:44f0f3b6d23e/
-
serverless-microservice-guide
2016-07-26T18:40:01+00:00
https://github.com/benjaminkitt/serverless-microservice-guide
bmaddynode nodejs js javascript serverless aws lambda guide github
https://pinboard.in/u:bmaddy/b:fa7b7e73a10f/
-
Preview the Python Serverless Microframework for AWS
2016-07-26T18:28:03+00:00
https://aws.amazon.com/blogs/developer/preview-the-python-serverless-microframework-for-aws/?sc_channel=sm&sc_campaign=launch_sdk_tools_4a8efa18&sc_publisher=tw_go&sc_content=Python_Microframework&sc_country=global&sc_geo=global&adbsc=social_launches_20160711_63715856&adbid=752600622390587393&adbpl=tw&adbpr=66780587
bmaddypython lambda aws video flask
https://pinboard.in/u:bmaddy/b:419f8ba82137/
-
A continuous integration system built on AWS Lambda
2016-07-11T19:17:01+00:00
https://github.com/lambci/lambci
bmaddyaws lambda ci server github javascript js
https://pinboard.in/u:bmaddy/b:bac5c8bf347c/
-
clojider
2016-06-12T15:06:42+00:00
https://github.com/mhjort/clojider
bmaddyclojure load test clj-gatling lambda library
https://pinboard.in/u:bmaddy/b:4b464915f49f/
-
nervous-systems/cljs-lambda
2015-08-15T04:26:21+00:00
https://github.com/nervous-systems/cljs-lambda
bmaddycljs clojure aws lambda
https://pinboard.in/u:bmaddy/b:b54d0eb5fabd/
-
Count-distinct problem - Wikipedia, the free encyclopedia
2015-06-01T00:05:19+00:00
https://en.wikipedia.org/wiki/Count-distinct_problem
bmaddycount distinct problem stream lambda architecture hyperloglog
https://pinboard.in/u:bmaddy/b:988a2d3e24af/
-
Kappa Architecture - Where Every Thing Is A Stream
2015-03-18T13:26:01+00:00
http://www.kappa-architecture.com/
bmaddylambda kappa architecture video
https://pinboard.in/u:bmaddy/b:b4022594f81e/
-
Lambda Calculus Evaluator
2010-04-26T17:34:44+00:00
http://zaach.github.com/lambdacalc/
bmaddylambda calculus evaluate
https://pinboard.in/u:bmaddy/b:cccaaffea3d3/
-
Functional Javascript
2007-09-30T20:31:09+00:00
http://osteele.com/sources/javascript/functional/
bmaddyfunctional programming javascript library js lambda
https://pinboard.in/u:bmaddy/b:4429f829a778/