Reynolds Style, Denotational Semantics, Language Specification, Formal Methods
Durable Engines of Discovery
cacm.acm.org·7h
Is it Time to Un-Sass?
css-tricks.com·11h
What I Learned During My Paternity Leave
thecoder.cafe·1d
Hands-on Demo of Glamorous Toolkit & Moldable Development • Tudor Girba & Kris Jenkins • GOTO 2024
youtube.com·13h
Build AI Agents: YouTube Summarizer Agent
hackernoon.com·19h
ActiveVLN: Towards Active Exploration via Multi-Turn RL in Vision-and-Language Navigation
arxiv.org·21h
Perspectives, Needs and Challenges for Sustainable Software Engineering Teams: A FinServ Case Study
arxiv.org·21h
MedFact: Benchmarking the Fact-Checking Capabilities of Large Language Models on Chinese Medical Texts
arxiv.org·21h
Loading...Loading more...