Small-step Semantics, Reduction Relations, Programming Language Theory, Formal Methods
Loading Ian Piumarta's Smalltalk terminal emulator code
eighty-twenty.org·2d
What are the key purposes of human writing? How we name AI-generated text confuses things
phys.org·2d
The Ultimate Secure Code Review Checklist
boostsecurity.io·1d
Ergo Framework v3.1.0 Released
github.com·1d
LLMs and their Limited Theory of Mind: Evaluating Mental State Annotations in Situated Dialogue
arxiv.org·3d
CloudFormer: An Attention-based Performance Prediction for Public Clouds with Unknown Workload
arxiv.org·2d
Extracting Structured Data with LangExtract: A Deep Dive into LLM-Orchestrated Workflows
towardsdatascience.com·1h
Using LangGraph and MCP Servers to Create My Own Voice Assistant
towardsdatascience.com·2d
Loading...Loading more...