🔧 PLT

Type Theory, Lambda Calculus, Semantics, Compiler Design

PyArrow for Large Dataset Processing
confessionsofadataguy.com·4h
🪜Scala
Flag this post
The 2-Minute Rule for get help with programming assignment
operations-management-ass91266.onesmablog.com·6h
🔍Static Analysis
Flag this post
Full-stack application in Go: Quick start
jorgeortiz.dev·1d·
Discuss: r/golang
🪜Scala
Flag this post
Show HN: FPGA Based IBM-PC-XT
bit-hack.net·1d·
Discuss: Hacker News
📐formal specification
Flag this post
Canvas UIs: A Critical Review
joodaloop.com·19h
🤖AI
Flag this post
From Cycles to Lines: How Numbers Became Linear
reddit.com·3d·
Discuss: r/7DOS
🔍Static Analysis
Flag this post
Debian Contributions: Upstreaming cPython patches, ansible-core autopkgtest robustness and more! (by Anupa Ann Joseph)
freexian.com·1d
🔍Static Analysis
Flag this post
Devoxx: Magenta Eagle: How We’re Re-engineering Software Delivery with AI-Driven Development by K. Galanis
dev.to·4h·
Discuss: DEV
💻Claude
Flag this post
Pulse 1.0 - A reactive and concurrent programming language built on modern JavaScript
github.com·3d
🪜Scala
Flag this post
The Ultimate Guide to Linux Command Line for Cloud Engineers
dev.to·23h·
Discuss: DEV
🔍Static Analysis
Flag this post
Top Python Frameworks for Building Scalable Web Apps
dev.to·1d·
Discuss: DEV
🔄Concurrency Models
Flag this post
Common Techniques Used in White Box Testing Explained
dev.to·19h·
Discuss: DEV
📐formal specification
Flag this post
Federated AI's Achilles' Heel: Can Collaborative Teaching Fix Data Corruption?
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
I made a full-stack app for people who want to track and review vocabulary they encounter from reading manga.
reddit.com·8h·
Discuss: r/webdev
🪜Scala
Flag this post
Build a Google Docs-Style Editor with NextJS and Quill
dev.to·19h·
Discuss: DEV
🪜Scala
Flag this post
Stop fine-tuning your model for every little thing. You're probably wasting your time.
reddit.com·1d·
Discuss: r/LocalLLaMA
🤖AI
Flag this post
Beyond "The End of Cybersecurity": Refusal as Default Architecture
dev.to·4h·
Discuss: DEV
🔍Static Analysis
Flag this post
Attention and Compression is all you need for Controllably Efficient Language Models
arxiv.org·4d
🪜Scala
Flag this post
Maestro: Learning to Collaborate via Conditional Listwise Policy Optimization for Multi-Agent LLMs
arxiv.org·3d
🔄Concurrency Models
Flag this post
High-dimensional Bayesian filtering through deep density approximation
arxiv.org·3d
🤖AI
Flag this post