Hackernews posts about Lambda

Lambda is a serverless computing service offered by Amazon Web Services (AWS) that allows developers to run small code snippets in response to events without provisioning or managing servers.

1. Lambda Calculus Benchmark for AI (victortaelin.github.io)
   143 points by marvinborner 14 days ago | 43 comments
2. The invisible engineering behind Lambda's network (www.allthingsdistributed.com)
   24 points by ingve 17 days ago | discuss
3. To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996) (dkeenan.com)
   11 points by pizza 19 days ago | 1 comments
4. Show HN: Lambda ERP – Open-source ERP you can run through chat (github.com)
   5 points by jcfrei 13 days ago | 1 comments
5. The AWS Lambda 'Kiss of Death' (shatteredsilicon.net)
   4 points by tkyjonathan 29 days ago | 1 comments
6. The invisible engineering behind Lambda's network (www.allthingsdistributed.com)
   4 points by mjb 17 days ago | discuss
7. NixPaint – Paint with Lambda's (nixpaint.extranix.com)
   3 points by mipselaer 15 days ago | 1 comments
8. Lambda Calculus in K (ngn.codeberg.page)
   3 points by lioeters 21 days ago | discuss
9. Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory (github.com)
   3 points by birdculture 24 days ago | discuss
10. Incremental Lambda Calculus (inc-lc.github.io)
    3 points by fanf2 29 days ago | discuss
11. AWS Lambda Cold Start: Java, Python, Go, Rust (medium.com)
    2 points by zero-ground-445 5 days ago | discuss
12. Valuation Spaces and Relativisation: The Lambda Calculus Example (practal.com)
    2 points by auggierose 6 days ago | discuss
13. Forsp: A Forth+Lisp hybrid lambda calculus language (2024) (xorvoid.com)
    2 points by HeliumHydride 21 days ago | discuss
14. Show HN: Single file Lambda Calculus' demonstrating various type system features (github.com)
    1 points by solomonb 24 days ago | discuss
15. Lambda Just Got a File System. I Put AI Agents on It (edjgeek.com)
    1 points by edjgeek 26 days ago | discuss
16. The AWS Lambda 'Kiss of Death' (shatteredsilicon.net)
    1 points by birdculture 29 days ago | discuss
17. Ask HN:How's you experience building an app on Cloudflare? (Workers, D1,R2 etc.)
    7 points by indieDevAttempt 4 days ago | discuss
18. Agent Skills for Software Test Automation
    3 points by kavyan 25 days ago | discuss
19. How to find companies using AWS that want to save costs?
    2 points by Poomba 1 day ago | 6 comments
20. Show HN: "Woo", a multi-user world for agents (woo.hughpyle.workers.dev)
    2 points by inguz 8 days ago | 2 comments
21. Observability Stack – AI First?
    1 points by jblake 21 days ago | 3 comments
22. The output doesn't matter: Thoughts on Aristotle's Craftsmen in the age of LLMs (lambdacreate.com)
    10 points by durrendal 14 days ago | discuss
23. Ral: A shell grounded in programming language theory (lambdabetaeta.github.io)
    3 points by statusfailed 23 days ago | 1 comments
24. Show HN: Mapping Sonnet's thinking process via flame charts (adamsohn.com)
    3 points by dataviz1000 14 days ago | discuss
25. Climbing the infinite ladder of abstraction (2016) (lexi-lambda.github.io)
    1 points by ibobev 29 days ago | discuss
26. All of the String Types (lambdalemon.gay)
    1 points by vinhnx 30 days ago | discuss
27. New Player Control for YouTube (chromewebstore.google.com)
    1 points by astipili 26 days ago | discuss
28. Fast Crimes at Lambda School (www.sandofsky.com)
    610 points by plinkplonk almost 2 years ago | 332 comments
29. Lambda Calculus in 383 Bytes (2022) (justine.lol)
    313 points by MrBuddyCasino over 1 year ago | 49 comments
30. Forsp: A Forth+Lisp Hybrid Lambda Calculus Language (xorvoid.com)
    228 points by xorvoid almost 2 years ago | 104 comments
31. Eliminating JavaScript cold starts on AWS Lambda (goose.icu)
    200 points by styfle 9 months ago | 69 comments
32. Compiling a Lisp: Lambda lifting (bernsteinbear.com)
    162 points by azhenley 9 months ago | 17 comments
33. Lambda Calculus – Animated Beta Reduction of Lambda Diagrams (cruzgodar.com)
    150 points by perryprog 6 months ago | 10 comments
34. AWS Lambda Web Adapter (github.com)
    134 points by cebert almost 2 years ago | 116 comments
35. The Ruliology of Lambdas (writings.stephenwolfram.com)
    134 points by marvinborner 8 months ago | 48 comments
36. Crafting formulas: Lambdas all the way down (text.marvinborner.de)
    129 points by marvinborner almost 2 years ago | 30 comments
37. Comparing AWS Lambda ARM64 vs. x86_64 Performance Across Runtimes in Late 2025 (chrisebert.net)
    127 points by hasanhaja 5 months ago | 56 comments
38. MCP on AWS Lambda with MCPEngine (www.featureform.com)
    117 points by simba-k about 1 year ago | 14 comments
39. AWS Lambda Silent Crash – A Platform Failure, Not an Application Bug [pdf] (lyons-den.com)
    115 points by nonfamous 10 months ago | 102 comments
40. Lambda Calculus and Lisp, part 1 (babbagefiles.xyz)
    107 points by baruchel about 1 year ago | 17 comments
41. The Lambda Calculus (2023) (plato.stanford.edu)
    103 points by lordleft 8 months ago | 22 comments
42. What Is the Difference Between a Block, a Proc, and a Lambda in Ruby? (2013) (blog.awaxman.com)
    86 points by Tomte 12 months ago | 54 comments
43. Mac Numbers now supports LAMBDA functions and MAP (support.apple.com)
    76 points by putzdown about 1 year ago | 51 comments
44. Overloading the lambda abstraction in Haskell (2022) (acatalepsie.fr)
    69 points by 082349872349872 over 1 year ago | 15 comments
45. C++: terser (shorter) lambda == SHORTY (ab-use?) (github.com)
    67 points by signa11 about 1 year ago | 20 comments
46. Show HN: Rust based AWS Lambda Logs Viewer (TUI) (github.com)
    57 points by evert0n over 1 year ago | 12 comments
47. Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution? (aartaka.me)
    54 points by todsacerdoti over 1 year ago | 2 comments
48. Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web (github.com)
    49 points by bntr 2 months ago | 9 comments
49. I put a real search engine into a Lambda, so you only pay when you search (nixiesearch.substack.com)
    48 points by shutty 6 months ago | 13 comments
50. Lambdas, Nested Functions, and Blocks (2021) (thephd.dev)
    44 points by zaikunzhang 9 months ago | 9 comments
51. How to draw lambda diagrams (2020) (risingentropy.com)
    34 points by diginova 10 months ago | 5 comments
52. Rust for AWS Lambda, the Docker Way (beeb.li)
    33 points by beeb over 1 year ago | 7 comments
53. Alligator Eggs and Lambda Calculus (2007) (worrydream.com)
    29 points by veqq over 1 year ago | 8 comments
54. AWS Lambda PR/FAQ After 10 Years (www.allthingsdistributed.com)
    27 points by mlhpdx over 1 year ago | 12 comments
55. S3 Files – Mount any S3 bucket as a NFS file system on EC2, ECS, EKS, and Lambda (aws.amazon.com)
    27 points by akshaysaxena about 1 month ago | 1 comments
56. The Lambda Papers: When Lisp Got Turned into a Microprocessor (hackaday.com)
    27 points by rbc 7 months ago | discuss
57. Toying with the Lambda Calculus (github.com)
    26 points by jmount 11 months ago | 1 comments