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: A fast CLI and MCP server for managing Lambda cloud GPU instances (github.com)
   24 points by odedfalik 18 days ago | 2 comments
2. What Is Control Flow Analysis for Lambda Calculus? – Iowa Type Theory Commute (rss.buzzsprout.com)
   14 points by matt_d 16 days ago | 1 comments
3. A connection between capability-based security and lambda calculus (killerstorm.github.io)
   2 points by killerstorm 26 days ago | 1 comments
4. Abusing AWS Lambda to make an Aussie search engine (2021) (boyter.org)
   2 points by subset 29 days ago | discuss
5. What Is Control Flow Analysis for Lambda Calculus? [audio] (podcasts.apple.com)
   1 points by matt_d 10 days ago | 1 comments
6. AWS Lambda for GenAI: The Real-World Architecture Guide (2026 Edition) (www.rack2cloud.com)
   1 points by NTCTech 19 days ago | discuss
7. An adequate left-associated binary numeral system in the lambda calculus (www.brics.dk)
   1 points by fanf2 22 days ago | discuss
8. An Adequate Left-Associated Binary Numeral System in the Lambda-Calculus (www.brics.dk)
   1 points by todsacerdoti 23 days ago | discuss
9. Show HN: SuperPlane - open source DevOps control plane
   21 points by markoa 4 days ago | 2 comments
10. Show HN: GitClassic.com, GitHub circa 2015 without JS & AI (gitclassic.com)
    14 points by heythisischris 13 days ago | 13 comments
11. Show HN: C/C++ Cheatsheet – a modern, practical reference for C and C++ (github.com)
    10 points by crazyguitar 10 days ago | 6 comments
12. Ask HN: Who's using DuckDB in production?
    7 points by yakkomajuri 16 days ago | 4 comments
13. Show HN: Was tired of drowning in HN comments, so I built an AI Chief of Staff (hnsignals.com)
    4 points by rektlessness 6 days ago | 2 comments
14. A topological knot finite state machine in logic space
    3 points by morpheos137 26 days ago | 1 comments
15. Show HN: I built a privacy-first developer toolkit (JSON, cURL, SQL, etc.)
    3 points by dailydev 28 days ago | 1 comments
16. Show HN: CloudSlash – Graph-based AWS cleaner with Terraform undo
    3 points by drskyle 19 days ago | discuss
17. Tell HN: As AI gets better, are scripting languages losing their appeal?
    2 points by delduca 3 days ago | 3 comments
18. FlutterJS – Run Flutter code, get semantic HTML output
    2 points by flutterjs 8 days ago | 1 comments
19. Show HN: Wkndr – A TikTok style feed for discovering local events (wkndr.app)
    2 points by wantrepreuneur 1 day ago | discuss
20. We optimized Socket.IO for real-time SaaS analytics (saasscout.online)
    2 points by zoey922 19 days ago | discuss
21. Show HN: AsyncFast – a typed, message-driven framework inspired by FastAPI (asyncfast.readthedocs.io)
    1 points by jackwburridge 3 days ago | discuss
22. Show HN: Shorlabs – the Vercel for backend (open-source) (github.com)
    1 points by vforbackend 7 days ago | discuss
23. Stop trusting torch.load() – I built a tool to scan AI models for RCE (github.com)
    1 points by arseniibr 18 days ago | discuss
24. Show HN: FlowKitX – Fluent async workflows with lazy execution for Python (pypi.org)
    1 points by dawitworku 22 days ago | discuss
25. Tree-sitter vs. Language Servers (lambdaland.org)
    265 points by ashton314 10 days ago | 69 comments
26. Competitive Pure Functional Languages (blog.samibadawi.com)
    4 points by type-lambda 6 days ago | 2 comments
27. Fast Crimes at Lambda School (www.sandofsky.com)
    610 points by plinkplonk over 1 year ago | 332 comments
28. Lambda Calculus in 383 Bytes (2022) (justine.lol)
    313 points by MrBuddyCasino about 1 year ago | 49 comments
29. Forsp: A Forth+Lisp Hybrid Lambda Calculus Language (xorvoid.com)
    228 points by xorvoid over 1 year ago | 104 comments
30. Eliminating JavaScript cold starts on AWS Lambda (goose.icu)
    200 points by styfle 6 months ago | 69 comments
31. Compiling a Lisp: Lambda lifting (bernsteinbear.com)
    162 points by azhenley 6 months ago | 17 comments
32. Lambda Calculus – Animated Beta Reduction of Lambda Diagrams (cruzgodar.com)
    150 points by perryprog 2 months ago | 10 comments
33. Lambda Screen: Fractals in pure lambda calculus (text.marvinborner.de)
    142 points by mmphosis almost 2 years ago | 8 comments
34. AWS Lambda Web Adapter (github.com)
    134 points by cebert over 1 year ago | 116 comments
35. The Ruliology of Lambdas (writings.stephenwolfram.com)
    134 points by marvinborner 5 months ago | 48 comments
36. Lambda on hard mode: serverless HTTP in Rust (modal.com)
    131 points by pierremenard almost 2 years ago | 51 comments
37. Crafting formulas: Lambdas all the way down (text.marvinborner.de)
    129 points by marvinborner over 1 year ago | 30 comments
38. Comparing AWS Lambda ARM64 vs. x86_64 Performance Across Runtimes in Late 2025 (chrisebert.net)
    127 points by hasanhaja 2 months ago | 56 comments
39. MCP on AWS Lambda with MCPEngine (www.featureform.com)
    117 points by simba-k 9 months ago | 14 comments
40. AWS Lambda Silent Crash – A Platform Failure, Not an Application Bug [pdf] (lyons-den.com)
    115 points by nonfamous 7 months ago | 102 comments
41. Lambda Calculus and Lisp, part 1 (babbagefiles.xyz)
    107 points by baruchel 11 months ago | 17 comments
42. Emacs bug: describe-key and lambda too poetic (yhetil.org)
    104 points by progfolio almost 2 years ago | 11 comments
43. The Lambda Calculus (2023) (plato.stanford.edu)
    103 points by lordleft 4 months ago | 22 comments
44. What Is the Difference Between a Block, a Proc, and a Lambda in Ruby? (2013) (blog.awaxman.com)
    86 points by Tomte 9 months ago | 54 comments
45. Mac Numbers now supports LAMBDA functions and MAP (support.apple.com)
    76 points by putzdown 10 months ago | 51 comments
46. Overloading the lambda abstraction in Haskell (2022) (acatalepsie.fr)
    69 points by 082349872349872 about 1 year ago | 15 comments
47. C++: terser (shorter) lambda == SHORTY (ab-use?) (github.com)
    67 points by signa11 10 months ago | 20 comments
48. Show HN: Rust based AWS Lambda Logs Viewer (TUI) (github.com)
    57 points by evert0n over 1 year ago | 12 comments
49. Lambda School and founder banned from all student lending (twitter.com)
    55 points by adam_gyroscope almost 2 years ago | 2 comments
50. Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution? (aartaka.me)
    54 points by todsacerdoti about 1 year ago | 2 comments
51. I put a real search engine into a Lambda, so you only pay when you search (nixiesearch.substack.com)
    48 points by shutty 2 months ago | 13 comments
52. Lambdas, Nested Functions, and Blocks (2021) (thephd.dev)
    44 points by zaikunzhang 6 months ago | 9 comments
53. AWS Introduces a New JavaScript Runtime for Lambda (www.i-programmer.info)
    41 points by bubblehack3r almost 2 years ago | 16 comments
54. How to draw lambda diagrams (2020) (risingentropy.com)
    34 points by diginova 6 months ago | 5 comments
55. Rust for AWS Lambda, the Docker Way (beeb.li)
    33 points by beeb about 1 year ago | 7 comments
56. Alligator Eggs and Lambda Calculus (2007) (worrydream.com)
    29 points by veqq about 1 year ago | 8 comments