Trending tags: ai  github.com  rust  trump  health  show  video  go  psychology  google  china  java  environment  theguardian.com  youtube.com  web  vibecoding  biology  apple  nytimes.com 

Whiteboard problems in pure Lambda Calculus (2017)

6 years ago jtolio.com lambda

Related Stories

A Beautiful Technique for Some XOR Related Problems

2 hours ago codeforces.com

Structured Errors in Go

4 hours ago southcla.ws go

Nested repetition in macro_rules?

an hour ago reddit.com rust

Text Formatting in Notepad begin rolling out to Windows Insiders

6 hours ago blogs.windows.com windows

TLTSS: a programming language made in TypeScript's type system

4 hours ago skeary.me typescript

Ironclad: Unix-like operating system kernel written in SPARK and Ada

8 hours ago codeberg.org kernel

[DISCUSSION] Razen Lang – Built in Rust, Designed for Simplicity (Give Feedback about it)

4 hours ago reddit.com compiler rust

A study of 300,000+ children in the US found that even small amounts of lead in early childhood were linked to lower reading and maths scores all the way through school

4 hours ago jamanetwork.com health

It's Waymo's World. We're All Just Riding in It. 10M Rides Surpassed

4 hours ago wsj.com

Mangrove forests in Florida show rapid carbon recovery after hurricanes, regaining lost carbon within four years

4 hours ago onlinelibrary.wiley.com environment florida

error[E0599]: no method named `local_file` found for struct `proc_macro2::Span` in the current scope

9 hours ago reddit.com rust

Introducing 🔓 PixelLock, an open source command-line tool to secure your files with strong encryption written in Rust.

8 hours ago reddit.com encryption rust

Lambdaspeed: Computing 2^1000 in 7 seconds with semioptimal lambda calculus

16 days ago github.com lambda

lamber: functional scripting language compiling to Lambda Calculus

7 days ago github.com lambda plt

Making Sense of Lambda Calculus 5: Bring Computation to (Aggregate) Data

16 days ago aartaka.me lambda

how to break or continue from a lambda loop? -- Vittorio Romeo

10 days ago vittorioromeo.com lambda

Is lambda a requirement or necessary to learn?

21 days ago reddit.com lambda python

What Is the Difference Between a Block, a Proc, and a Lambda in Ruby? (2013)

13 days ago blog.awaxman.com lambda ruby

The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf]

7 days ago simon.peytonjones.org pdf

How to Average in Prolog (2017)

24 days ago storytotell.org education plt prolog rant

Implementing State Machines in PostgreSQL (2017)

23 days ago felixge.de database postgresql

Initialization in C++ is bonkers (2017)

16 days ago blog.tartanllama.xyz c++

Pure vs. Impure Iterators in Go

3 days ago jub0bs.com go

Open Problems in Computational geometry

14 days ago topp.openproblem.net

Sid Meier's Pirates – In-depth (2017)

26 hours ago shot97retro.blogspot.com

Microsandbox - A self-hosted alternative to AWS Lambda, E2B. Run AI code in fast lightweight VMs

8 days ago reddit.com ai aws lambda python

Problems in AI alignment: A scale model

9 days ago muldoon.cloud ai

Geometrically understanding calculus of inverse functions (2023)

26 days ago tobylam.xyz

passkey-go: WebAuthn/passkey assertion verification in pure Go

16 days ago reddit.com go

Simple pure-rust databases

20 days ago reddit.com database rust