Trending tags: ai  rust  github.com  trump  psychology  health  microsoft  linux  psypost.org  video  google  go  show  security  apple  theregister.com  game  arstechnica.com  nature.com  vibecoding 

Functional Programming in Coq

24 months ago softwarefoundations.cis.upenn.edu

Related Stories

Data Types in [A]synchronous Functional Programming

35 hours ago rubico.land javascript

Intro to [A]synchronous Functional Programming

11 days ago rubico.land javascript

Show HN: Lambduck, a Functional Programming Brainfuck

12 days ago imjakingit.github.io show

Obsidian Systems - Hiring Remote Software Engineers - Functional Programming

6 days ago reddit.com rust

Zero-cost Functional Records in Rust

10 days ago ecency.com rust

BF16 in the Go Programming Language

13 days ago gorse.io go

Functional unemployment rate soars past 24%

14 days ago newpittsburghcourier.com

A Case for Feminism in Programming Language Design (2024)

13 days ago dl.acm.org

A programming system

12 days ago andreyor.st

Implementing Logic Programming

4 days ago btmc.substack.com plt

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

16 days ago skeary.me typescript

I wrote a programming language in Rust for procedural art

9 days ago reddit.com art rust

Will 'Vibe Coding' Transform Programming?

16 days ago npr.org ai

Organic Markdown -- Literate Programming Tool

14 days ago github.com

Started to Learn Go programming !!

12 days ago reddit.com go

Programming language code execution platform

2 days ago reddit.com go

Programming language Dino and its implementation

12 days ago github.com

A collection of Go programming challenges

8 days ago github.com go

What age did you start programming?

5 days ago reddit.com python

What is systems programming, really? (2018)

3 days ago willcrichton.net

Learning Programming, the wrong way Edition

45 hours ago wikihow.com

Programming's Greatest Mistakes • Mark Rendle

36 hours ago youtu.be

Assembly of a functional neuronal circuit in embryos of an ancestral metazoan is influenced by temperature and the microbiome | PNAS

3 days ago pnas.org biology

Hypershell: A Type-Level DSL for Shell-Scripting in Rust powered by Context-Generic Programming

3 days ago contextgeneric.dev plt release rust

Diving into Graphics Programming through Terrain Generation

18 hours ago youtube.com graphics

How can one write blazing fast yet useful compilers (for lazy pure functional languages)?

10 days ago lobste.rs ask compiler performance

Career Change at 40: Moving to Canada and Considering ERP Functional Consulting – Need Advice

12 hours ago reddit.com canada

Programming Ada: Atomics and Other Low-Level Details

13 days ago hackaday.com

Moldable Development: Programming Through Custom Tools • Tudor Girba

6 days ago youtu.be

Do Programming Language Features Deliver on Their Promises [video]

10 days ago youtube.com video