šŸ”§ PLT

Type Theory, Lambda Calculus, Semantics, Compiler Design

A Week of Teaching
fivetwelvethirteen.substack.comĀ·1dĀ·
Discuss: Substack
šŸ”Static Analysis
Flag this post
[D] Question about Fact/Knowledge Graph Traversal, Model Traversal
reddit.comĀ·21hĀ·
Discuss: r/MachineLearning
šŸŖœScala
Flag this post
Webflow is a frustrating, unusable mess
reddit.comĀ·3hĀ·
Discuss: r/web_design
šŸ’»Claude
Flag this post
Iā€™m looking for some project ideas that I can work on while learning Rust
reddit.comĀ·1dĀ·
Discuss: r/rust
šŸ¦€Rust
Flag this post
When Models Lie, We Learn: Multilingual Span-Level Hallucination Detection withPsiloQA
dev.toĀ·2dĀ·
Discuss: DEV
šŸ”Static Analysis
Flag this post
I replaced NotebookLM with Gistr for a week, and it wasn't what I expected
xda-developers.comĀ·1h
šŸ¤–AI
Flag this post
I wrestled AppSync WebSockets for 4 hours so you donā€™t have to (React + GraphQL Subscriptions)
dev.toĀ·1dĀ·
Discuss: DEV
šŸŖœScala
Flag this post
I have created a portable local AI ability project call any local AI with ease.
reddit.comĀ·1dĀ·
Discuss: r/rust
šŸ¤–AI
Flag this post
How to ship apps faster with full-stack Claude Code setup (Skills, MCP, Plugins)
dev.toĀ·1hĀ·
Discuss: DEV
šŸ¤–AI
Flag this post
Puzzleet: Turning Algorithm Practice into a Playground for Logical Gaming
dev.toĀ·1dĀ·
Discuss: DEV
šŸ¤–AI
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.comĀ·5dĀ·
Discuss: Hacker News, Hacker News
šŸ”Static Analysis
Flag this post
Are We Aligned? A Preliminary Investigation of the Alignment of Responsible AI Values between LLMs and Human Judgment
arxiv.orgĀ·2d
šŸ“formal specification
Flag this post
Code That Writes Itself: The Era of Example-Driven Programming by Arvind Sundararajan
dev.toĀ·3dĀ·
Discuss: DEV
šŸ”Static Analysis
Flag this post
MathCanvas: Intrinsic Visual Chain-of-Thought for Multimodal MathematicalReasoning
paperium.netĀ·2dĀ·
Discuss: DEV
šŸ¤–AI
Flag this post
Building Better State Machines in Modern C++: CXXStateTree
dev.toĀ·2dĀ·
Discuss: DEV
šŸ”„Concurrency Models
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.orgĀ·4d
šŸ”„Concurrency Models
Flag this post
Boosting Your Dev Career: A Deep Dive into Free AI Tools for Developers (2025-11-08)
dev.toĀ·1dĀ·
Discuss: DEV
šŸ¤–AI
Flag this post
Developing a probabilistic risk assessment framework for construction projects based on Dynamic Bayesian Network
sciencedirect.comĀ·18h
šŸ“formal specification
Flag this post
Self-Healing Application Framework - Autonomous Issue Resolution with Agentic Postgres
dev.toĀ·8hĀ·
Discuss: DEV
šŸ”Static Analysis
Flag this post
Build Galaga with ClojureScript & Scittle
clojurecivitas.github.ioĀ·16h
šŸ¤–AI
Flag this post