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. Show HN: lambda-nat-proxy – Serverless proxy using Lambda and UDP NAT punching (github.com)
   18 points by danvittegleo 18 days ago | 11 comments
2. Binary Lambda Calculus (gist.github.com)
   5 points by todsacerdoti 29 days ago | discuss
3. A catamorphic lambda-calculus interpreter (www.michaelpj.com)
   4 points by todsacerdoti 1 day ago | discuss
4. CVE-2025-4802 (HIGH): detected in Lambda Docker Images (github.com)
   4 points by jurgengunter 15 days ago | discuss
5. Using AWS Lambda as a Proxy Server with UDP and QUIC (github.com)
   4 points by pfoof 16 days ago | discuss
6. Show HN: Serverless video processing with AWS Lambda (github.com)
   3 points by samben90 3 days ago | discuss
7. Binary Lambda Calculus (gist.github.com)
   3 points by thunderbong 28 days ago | discuss
8. Binary Lambda Calculus (gist.github.com)
   2 points by thunderbong 25 days ago | discuss
9. Replication is Recursion; or, Lambda: the Biological Imperative (2015) [pdf] (www.biorxiv.org)
   2 points by sargstuff 28 days ago | discuss
10. Lambda-DNA programming language (2024) (xtao.org)
    2 points by sargstuff 28 days ago | discuss
11. Rethinking our Adoption Strategy (Lambda Days 2025) [video] (www.youtube.com)
    1 points by tosh 4 days ago | discuss
12. Ask HN: AWS cdk, serverless setup advice
    4 points by jemiluv8 21 days ago | 3 comments
13. Show HN: New Python GUI Framework (better than others?) (github.com)
    2 points by ebaadesque 16 days ago | discuss
14. Show HN: Logverz Observability 2.0 is here
    2 points by LogLeads 26 days ago | discuss
15. Show HN: Λ³ Bayesian Jump Event Detector – Minimal, Interpretable, Open-Source
    1 points by miosync 17 days ago | discuss
16. Writing a Truth Oracle in Lisp (lambda-cove.net)
    45 points by io12 24 days ago | 5 comments
17. Programmers and Their Monospace Blogs (lambdaland.org)
    2 points by ashton314 11 days ago | 1 comments
18. A multivalued language with a dependent type system. (A precursor to Epic Verse [pdf] (www.leafpetersen.com)
    1 points by fanf2 12 days ago | discuss
19. Dependent types and program equivalence [pdf] (2010) (www.seas.upenn.edu)
    1 points by fanf2 13 days ago | discuss
20. Hewlett Packard Enterprise Closes Acquisition of Juniper Networks (www.hpe.com)
    1 points by LambdaComplex 3 days ago | discuss
21. Introducing the Ultra Plan (www.cursor.com)
    1 points by lambda-science 17 days ago | discuss
22. Show HN: Lambduck, a Functional Programming Brainfuck (imjakingit.github.io)
    70 points by jorkingit 30 days ago | 27 comments
23. The LaMDA Moment: What We Learned About AI Sentience (www.prism-global.com)
    1 points by prism_info 4 days ago | discuss
24. One Architect's Quest to Save Mumbai's Heritage from Disappearing (www.bloomberg.com)
    13 points by MarlonPro 12 days ago | discuss
25. Fast Crimes at Lambda School (www.sandofsky.com)
    610 points by plinkplonk about 1 year ago | 332 comments
26. Lambda Calculus in 383 Bytes (2022) (justine.lol)
    313 points by MrBuddyCasino 6 months ago | 49 comments
27. Forsp: A Forth+Lisp Hybrid Lambda Calculus Language (xorvoid.com)
    228 points by xorvoid about 1 year ago | 104 comments
28. Show HN: I rewrote the 1990's LambdaMOO server (github.com)
    174 points by cmrdporcupine almost 2 years ago | 66 comments
29. Lambda Screen: Fractals in pure lambda calculus (text.marvinborner.de)
    142 points by mmphosis about 1 year ago | 8 comments
30. AWS Lambda Web Adapter (github.com)
    134 points by cebert about 1 year ago | 116 comments
31. Lambda on hard mode: serverless HTTP in Rust (modal.com)
    131 points by pierremenard over 1 year ago | 51 comments
32. Crafting formulas: Lambdas all the way down (text.marvinborner.de)
    129 points by marvinborner 11 months ago | 30 comments
33. MCP on AWS Lambda with MCPEngine (www.featureform.com)
    117 points by simba-k 2 months ago | 14 comments
34. It’s lambdas all the way down (aplaceofmind.notion.site)
    115 points by behnamoh almost 2 years ago | 81 comments
35. A bank runs serverless with PHP and AWS Lambda (bref.sh)
    111 points by mnapoli over 1 year ago | 126 comments
36. How to keep lambda calculus simple (hirrolot.github.io)
    107 points by azhenley almost 2 years ago | 33 comments
37. Lambda Calculus and Lisp, part 1 (babbagefiles.xyz)
    107 points by baruchel 4 months ago | 17 comments
38. Emacs bug: describe-key and lambda too poetic (yhetil.org)
    104 points by progfolio over 1 year ago | 11 comments
39. What Is the Difference Between a Block, a Proc, and a Lambda in Ruby? (2013) (blog.awaxman.com)
    86 points by Tomte about 2 months ago | 54 comments
40. Mac Numbers now supports LAMBDA functions and MAP (support.apple.com)
    76 points by putzdown 3 months ago | 51 comments
41. Should you use a Lambda Monolith, a.k.a. Lambdalith, for your API? (rehanvdm.com)
    72 points by e2e4 over 1 year ago | 127 comments
42. Overloading the lambda abstraction in Haskell (2022) (acatalepsie.fr)
    69 points by 082349872349872 6 months ago | 15 comments
43. A correct-by-construction conversion from lambda calculus to combinatory logic (www.cambridge.org)
    68 points by matt_d over 1 year ago | 7 comments
44. C++: terser (shorter) lambda == SHORTY (ab-use?) (github.com)
    67 points by signa11 3 months ago | 20 comments
45. Serverless at Scale: Lessons from 200M Lambda Invocations (insights.adadot.com)
    63 points by thunderbong over 1 year ago | 73 comments
46. Show HN: Programming with Pure Lambda Calculus (bruijn.marvinborner.de)
    61 points by marvinborner over 1 year ago | 8 comments
47. Show HN: Rust based AWS Lambda Logs Viewer (TUI) (github.com)
    57 points by evert0n 8 months ago | 12 comments
48. Lambda School and founder banned from all student lending (twitter.com)
    55 points by adam_gyroscope about 1 year ago | 2 comments
49. C++ Lambda Idioms (2022) [video] (www.youtube.com)
    54 points by lichtenberger over 1 year ago | 7 comments
50. Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution? (aartaka.me)
    54 points by todsacerdoti 8 months ago | 2 comments
51. Build your own FaaS: Self-host workers, lambda, JavaScript functions (www.breakp.dev)
    45 points by giuseppelt almost 2 years ago | 5 comments
52. AWS Introduces a New JavaScript Runtime for Lambda (www.i-programmer.info)
    41 points by bubblehack3r over 1 year ago | 16 comments
53. Lambdasort: Quicksort written in Python only using lambdas (lucasoshiro.github.io)
    40 points by lucasoshiro over 1 year ago | 9 comments
54. Rust for AWS Lambda, the Docker Way (beeb.li)
    33 points by beeb 8 months ago | 7 comments