Reynolds Style, Denotational Semantics, Language Specification, Formal Methods
Durable Engines of Discovery
cacm.acm.org·3h
Is it Time to Un-Sass?
css-tricks.com·7h
Hands-on Demo of Glamorous Toolkit & Moldable Development • Tudor Girba & Kris Jenkins • GOTO 2024
youtube.com·9h
Build AI Agents: YouTube Summarizer Agent
hackernoon.com·15h
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·2d
Perspectives, Needs and Challenges for Sustainable Software Engineering Teams: A FinServ Case Study
arxiv.org·17h
ActiveVLN: Towards Active Exploration via Multi-Turn RL in Vision-and-Language Navigation
arxiv.org·17h
MedFact: Benchmarking the Fact-Checking Capabilities of Large Language Models on Chinese Medical Texts
arxiv.org·17h
Loading...Loading more...