λ PL Theory - coyestpineal3l · Scour

Department of Computer Science and Technology – Course pages 2017–18: Computation Theory

cl.cam.ac.uk·18h

💻Programming languages

Monads, Applicatives & Functors

slicker.me·11h

💻Programming languages

faiface.github.io·13h

🔍Static Analysis

Programming languages

mothcodes.bearblog.dev·1d

💻Programming languages

Leetcode for ML

pixelbank.dev·7h

🔍Static Analysis

Readable and concise concatenative programming

cognate-lang.github.io·15h·

Discuss: Hacker News

💻Programming languages

Functional Programming in an LLM World

notes.druchan.com·4d

🔍Static Analysis

Proof-oriented Programming in F*

fstar-lang.org·3d·

Discuss: Lobsters

🔍Static Analysis

Exploring the New Features of C# 12: A Detailed Guide with Examples

learn.microsoft.com·1d·

Discuss: DEV

🔍Static Analysis

The prehistory of generative grammar and Chomsky’s debt to Emil Post

benjamins.com·2d·

Discuss: Hacker News

🔍Static Analysis

Digital Theory -- now published

cultureandcommunication.org·1d

🔍Static Analysis

Comprehensive Code Review

agenticoding.ai·7h

🔍Static Analysis

An online book about how ChatGPT works

ericsilberstein1.github.io·3h

🪄Metaprogramming

Autoparser - complete refactoring of parser architecture by pwilkin · Pull Request #18675

github.com·8h·

Discuss: r/LocalLLaMA

🔍Static Analysis

Table of Contents - Data Engineering for Large Models: Architecture, Algorithms & Projects

datascale-ai.github.io·1d·

Discuss: Lobsters

🔍Static Analysis

What's cooking with Pystd, the experimental C++ standard library?

nibblestew.blogspot.com·11h·

Discuss: nibblestew.blogspot.com

🔍Static Analysis

3-way Boolean Anti-pattern

dev.to·11h·

Discuss: DEV

🔍Static Analysis

Profinite trees, through Lawvere theories and the lambda-calculus

arxiv.org·5d

🔍Static Analysis

Ask HN: What explains the recent surge in LLM coding capabilities?

news.ycombinator.com·5h·

Discuss: Hacker News

🔍Static Analysis

Coding with Jesse (ooh.directory)

ooh.directory·10h

Loading more...