Hackernews posts about lambdas

1. Show HN: Lambda 0.2 – a func language better than TypeScrip, jq and jQuery (github.com)
   9 points by henryluo 14 days ago | 17 comments
2. Squeezing π from 122 Bits of Lambda Calculus (text.marvinborner.de)
   3 points by marvinborner 24 days ago | discuss
3. Automating starting Lambda Labs instances (www.gilesthomas.com)
   2 points by ibobev 4 days ago | discuss
4. Show HN: Dspx – Native C++ DSP Library for Node.js Built for AWS Lambda (1.3MB)
   2 points by a-kgeorge 28 days ago | discuss
5. Show HN: I have created my own serverless lambda service (inquir.org)
   1 points by nenecmrf 18 days ago | discuss
6. Lambda Calculus Explorer (kmicinski.com)
   1 points by todsacerdoti 28 days ago | discuss
7. Show HN: Slat-io – a tiny I/O layer for AWS Lambda (Python) (github.com)
   1 points by mf_taria 30 days ago | discuss
8. Show HN: GitClassic.com, a fast, lightweight GitHub thin client (pages <14KB) (gitclassic.com)
   41 points by heythisischris 26 days ago | 29 comments
9. SHOW HN: A usage circuit breaker for Cloudflare Workers
   29 points by ethan_zhao 28 days ago | 9 comments
10. Show HN: Inbox.camp, AWS WorkMail Replacement (inbox.camp)
    4 points by heythisischris 6 days ago | 4 comments
11. Show HN: Docker Alternative for Secure Microvms
    4 points by sankalpnarula 4 days ago | 2 comments
12. Show HN: Deploybase CLI – Search GPU and LLM pricing from your terminal (github.com)
    3 points by grasper_ 20 days ago | 1 comments
13. Show HN: AI milestone verification for construction using AWS (builder.aws.com)
    3 points by eugenelotsu 25 days ago | discuss
14. Show HN: Complying with California's AB 1043 via signal fusion, not ID uploads (www.a3api.io)
    3 points by digital-arcadia 30 days ago | discuss
15. Forge DevKit – Architecture enforcement for AI coding agents (EUR 29 one-time)
    2 points by reumbra 21 days ago | discuss
16. Show HN: OxiGDAL – A pure Rust replacement for GDAL with zero C/C++ dependencies (github.com)
    2 points by kitasan 29 days ago | discuss
17. Rail a self hosting FP language with no C
    1 points by zem0g 5 days ago | discuss
18. Show HN: Octopoddy – iOS Podcast App Using Transcripts and LLMs to Skip Ads (apps.apple.com)
    1 points by spellbind-dare 5 days ago | discuss
19. Show HN: Trading simulator with hidden dates to prove investment skill (www.juncturelab.com)
    1 points by jtaylortech 19 days ago | discuss
20. Show HN: Claude Skill to create DDB-backed endpoints in AWS (github.com)
    1 points by jbdamask 19 days ago | discuss
21. Show HN: SHTMLs – HTML pastebin where the AI uploads its own output
    1 points by skenderbeu 20 days ago | discuss
22. Milawa on Jitawa, a Verified Theorem Prover (lambda-the-ultimate.org)
    1 points by poppingtonic 10 days ago | discuss
23. Ask HN: Value and demand for space-manufactured products?
    1 points by dnlh_lvg 29 days ago | 1 comments
24. The hitchhiker's guide to reading Lean 4 theorems (blog.lambdaclass.com)
    3 points by wslh 18 days ago | discuss
25. What IAEA docs say about Iran's nuclear program, before the bombs fell (meetdewey.com)
    17 points by lambdabaa 6 days ago | 12 comments
26. Nteract 2.0: a ground-up rebuild of the notebook app (www.nteract.io)
    7 points by lambdaops 8 days ago | 1 comments
27. Show HN: Dewey – Ingest docs, search semantically, get cited AI answers (meetdewey.com)
    3 points by lambdabaa 7 days ago | discuss
28. Show HN: MoneyOnFIRE – FI date and action plan (v2) (www.moneyonfire.com)
    3 points by LambdaAndLatte 26 days ago | discuss
29. Fast Crimes at Lambda School (www.sandofsky.com)
    610 points by plinkplonk almost 2 years ago | 332 comments
30. Lambda Calculus in 383 Bytes (2022) (justine.lol)
    313 points by MrBuddyCasino about 1 year ago | 49 comments
31. Forsp: A Forth+Lisp Hybrid Lambda Calculus Language (xorvoid.com)
    228 points by xorvoid almost 2 years ago | 104 comments
32. Eliminating JavaScript cold starts on AWS Lambda (goose.icu)
    200 points by styfle 8 months ago | 69 comments
33. Compiling a Lisp: Lambda lifting (bernsteinbear.com)
    162 points by azhenley 8 months ago | 17 comments
34. Lambda Calculus – Animated Beta Reduction of Lambda Diagrams (cruzgodar.com)
    150 points by perryprog 4 months ago | 10 comments
35. Lambda Screen: Fractals in pure lambda calculus (text.marvinborner.de)
    142 points by mmphosis almost 2 years ago | 8 comments
36. AWS Lambda Web Adapter (github.com)
    134 points by cebert almost 2 years ago | 116 comments
37. The Ruliology of Lambdas (writings.stephenwolfram.com)
    134 points by marvinborner 7 months ago | 48 comments
38. Crafting formulas: Lambdas all the way down (text.marvinborner.de)
    129 points by marvinborner over 1 year ago | 30 comments
39. Comparing AWS Lambda ARM64 vs. x86_64 Performance Across Runtimes in Late 2025 (chrisebert.net)
    127 points by hasanhaja 4 months ago | 56 comments
40. MCP on AWS Lambda with MCPEngine (www.featureform.com)
    117 points by simba-k 12 months ago | 14 comments
41. AWS Lambda Silent Crash – A Platform Failure, Not an Application Bug [pdf] (lyons-den.com)
    115 points by nonfamous 9 months ago | 102 comments
42. Lambda Calculus and Lisp, part 1 (babbagefiles.xyz)
    107 points by baruchel about 1 year ago | 17 comments
43. The Lambda Calculus (2023) (plato.stanford.edu)
    103 points by lordleft 6 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 11 months ago | 54 comments
45. Mac Numbers now supports LAMBDA functions and MAP (support.apple.com)
    76 points by putzdown about 1 year ago | 51 comments
46. Overloading the lambda abstraction in Haskell (2022) (acatalepsie.fr)
    69 points by 082349872349872 over 1 year ago | 15 comments
47. C++: terser (shorter) lambda == SHORTY (ab-use?) (github.com)
    67 points by signa11 12 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 over 1 year ago | 2 comments
51. Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web (github.com)
    49 points by bntr about 1 month ago | 9 comments
52. I put a real search engine into a Lambda, so you only pay when you search (nixiesearch.substack.com)
    48 points by shutty 4 months ago | 13 comments
53. Lambdas, Nested Functions, and Blocks (2021) (thephd.dev)
    44 points by zaikunzhang 8 months ago | 9 comments
54. How to draw lambda diagrams (2020) (risingentropy.com)
    34 points by diginova 9 months ago | 5 comments
55. Rust for AWS Lambda, the Docker Way (beeb.li)
    33 points by beeb over 1 year ago | 7 comments
56. Alligator Eggs and Lambda Calculus (2007) (worrydream.com)
    29 points by veqq about 1 year ago | 8 comments
57. AWS Lambda PR/FAQ After 10 Years (www.allthingsdistributed.com)
    27 points by mlhpdx over 1 year ago | 12 comments
58. The Lambda Papers: When Lisp Got Turned into a Microprocessor (hackaday.com)
    27 points by rbc 6 months ago | discuss