Hackernews posts about lambdas

1. Models and theories of lambda calculus (2009) (inria.hal.science)
   5 points by sargstuff 22 days ago | discuss
2. Let over Lambda – 50 Years of Lisp (letoverlambda.com)
   3 points by t-3 24 days ago | discuss
3. Let Over Lambda is free online to read as pdf (letoverlambda.com)
   2 points by artsi0m 13 days ago | 3 comments
4. Beyond Lambda-Calculus: Intensional Computation (2017) [video] (www.youtube.com)
   2 points by sargstuff 25 days ago | discuss
5. Public preview runtimes on AWS Lambda: Node.js 26 and Python 3.15 (aws.amazon.com)
   1 points by lumpa 5 days ago | discuss
6. A Simpler Lambda Calculus (2019) (dl.acm.org)
   1 points by sargstuff 18 days ago | discuss
7. Show HN: Kedge – Full-stack cloud with forkable VM snapshots and global SQLite (kedge.dev)
   141 points by wgjordan 22 days ago | 25 comments
8. Show HN: Nitpicler. I was quoted $1M for AI PR review – so I bulit it myself (nitpicker.dev)
   4 points by sagivo 11 days ago | 2 comments
9. Show HN: XBin - A self-hosted, sandboxed, self-modifying workspace (xbin.dev)
   2 points by devttyeu 16 days ago | discuss
10. Anyone else like llms.txt for architecture docs?
    1 points by jbdamask 28 days ago | 1 comments
11. Open WireGuard Endpoints (proxylity.com)
    45 points by mlhpdx 6 days ago | 18 comments
12. Autolith: A programming agent with a live runtime (www.lambda-symbolics.com)
    20 points by vismit2000 about 12 hours ago | discuss
13. Versus (www.lambdasierra.com)
    1 points by tosh 8 days ago | discuss
14. Self Hosting Coding LLMs (blog.samibadawi.com)
    5 points by type-lambda 12 days ago | discuss
15. Show HN: Gitseq: A Repo Becomes a Workroom (github.com)
    1 points by inguz 10 days ago | discuss
16. Writing with AI Is Stupid (lambdaland.org)
    5 points by ashton314 13 days ago | 4 comments
17. AI Mania: From Tulips to Tokens (seanhelvey.com)
    49 points by Lambda11 18 days ago | 56 comments
18. The Mullet Stack: Syncing Types Between FastAPI/Pydantic and TypeScript (seanhelvey.com)
    3 points by Lambda11 2 days ago | discuss
19. Show HN: Lambdock – Wayland-native GTK4 dock with a live Lisp REPL (codeberg.org)
    44 points by jjba23 9 days ago | 1 comments
20. Lovelace – project management that lives in your repo (lovelace.co)
    3 points by LambrosPhotios 29 days ago | 1 comments
21. Project management in your repo (github.com)
    3 points by LambrosP 28 days ago | discuss
22. Lambda Calculus in 383 Bytes (2022) (justine.lol)
    313 points by MrBuddyCasino over 1 year ago | 49 comments
23. Eliminating JavaScript cold starts on AWS Lambda (goose.icu)
    200 points by styfle about 1 year ago | 69 comments
24. Compiling a Lisp: Lambda lifting (bernsteinbear.com)
    162 points by azhenley about 1 year ago | 17 comments
25. Lambda Calculus – Animated Beta Reduction of Lambda Diagrams (cruzgodar.com)
    150 points by perryprog 9 months ago | 10 comments
26. Lambda Calculus Benchmark for AI (victortaelin.github.io)
    143 points by marvinborner 4 months ago | 43 comments
27. The Ruliology of Lambdas (writings.stephenwolfram.com)
    134 points by marvinborner 11 months ago | 48 comments
28. Comparing AWS Lambda ARM64 vs. x86_64 Performance Across Runtimes in Late 2025 (chrisebert.net)
    127 points by hasanhaja 9 months ago | 56 comments
29. MCP on AWS Lambda with MCPEngine (www.featureform.com)
    117 points by simba-k over 1 year ago | 14 comments
30. AWS Lambda Silent Crash – A Platform Failure, Not an Application Bug [pdf] (lyons-den.com)
    115 points by nonfamous about 1 year ago | 102 comments
31. Lambda Calculus and Lisp, part 1 (babbagefiles.xyz)
    107 points by baruchel over 1 year ago | 17 comments
32. The Lambda Calculus (2023) (plato.stanford.edu)
    103 points by lordleft 11 months ago | 22 comments
33. What Is the Difference Between a Block, a Proc, and a Lambda in Ruby? (2013) (blog.awaxman.com)
    86 points by Tomte over 1 year ago | 54 comments
34. Mac Numbers now supports LAMBDA functions and MAP (support.apple.com)
    76 points by putzdown over 1 year ago | 51 comments
35. Overloading the lambda abstraction in Haskell (2022) (acatalepsie.fr)
    69 points by 082349872349872 over 1 year ago | 15 comments
36. C++: terser (shorter) lambda == SHORTY (ab-use?) (github.com)
    67 points by signa11 over 1 year ago | 20 comments
37. Show HN: Rust based AWS Lambda Logs Viewer (TUI) (github.com)
    57 points by evert0n almost 2 years ago | 12 comments
38. Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution? (aartaka.me)
    54 points by todsacerdoti almost 2 years ago | 2 comments
39. Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web (github.com)
    49 points by bntr 6 months ago | 9 comments
40. I put a real search engine into a Lambda, so you only pay when you search (nixiesearch.substack.com)
    48 points by shutty 9 months ago | 13 comments
41. Lambdas, Nested Functions, and Blocks (2021) (thephd.dev)
    44 points by zaikunzhang about 1 year ago | 9 comments
42. How to draw lambda diagrams (2020) (risingentropy.com)
    34 points by diginova about 1 year ago | 5 comments
43. Rust for AWS Lambda, the Docker Way (beeb.li)
    33 points by beeb over 1 year ago | 7 comments
44. AWS Lambda MicroVMs for isolated execution of user and AI-generated code (aws.amazon.com)
    32 points by leemoore about 2 months ago | 4 comments
45. Alligator Eggs and Lambda Calculus (2007) (worrydream.com)
    29 points by veqq over 1 year ago | 8 comments
46. AWS Lambda PR/FAQ After 10 Years (www.allthingsdistributed.com)
    27 points by mlhpdx almost 2 years ago | 12 comments
47. S3 Files – Mount any S3 bucket as a NFS file system on EC2, ECS, EKS, and Lambda (aws.amazon.com)
    27 points by akshaysaxena 5 months ago | 1 comments
48. The Lambda Papers: When Lisp Got Turned into a Microprocessor (hackaday.com)
    27 points by rbc 10 months ago | discuss
49. Toying with the Lambda Calculus (github.com)
    26 points by jmount about 1 year ago | 1 comments
50. Knights of the Lambda Calculus (en.wikipedia.org)
    25 points by debo_ 12 months ago | discuss
51. Show HN: A fast CLI and MCP server for managing Lambda cloud GPU instances (github.com)
    24 points by odedfalik 7 months ago | 2 comments