iPRES 2025 July Newsletter
ipres2025.nzΒ·5h
πŸ“‹PREMIS Events
Why I Am Stupid
aartaka.meΒ·17h
πŸ”’Denotational Semantics
Who cares about user interfaces?
snell-pym.org.ukΒ·12h
πŸ“ŸCLI Design
The rebirth of Wragge Labs (and moving my Heroku apps)
updates.timsherratt.orgΒ·1h
πŸŒ€Brotli Internals
Podcast Rewind: Review Season Tools and What’s Up with the Switch 2 Dock?
macstories.netΒ·10h
πŸ•ΈοΈWASM Archives
ReservoirChat: Interactive Documentation Enhanced with LLM and Knowledge Graph for ReservoirPy
arxiv.orgΒ·3h
πŸŽ™οΈWhisper
Distributed Systems for Fun and Profit
book.mixu.netΒ·1dΒ·
Discuss: Hacker News
🌊Streaming Systems
Never Work Alone
psychologytoday.comΒ·17hΒ·
Discuss: Hacker News
🌍Cultural Algorithms
Built a Product Hunt People Are Using
news.ycombinator.comΒ·12hΒ·
Discuss: Hacker News
πŸ”„Reproducible Builds
Exploring Collaboration Patterns and Strategies in Human-AI Co-creation through the Lens of Agency: A Scoping Review of the Top-tier HCI Literature
arxiv.orgΒ·3h
πŸ“ŸCLI Design
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.orgΒ·3h
βœ“Automated Theorem Proving
Evaluation of Large Language Model-Driven AutoML in Data and Model Management from Human-Centered Perspective
arxiv.orgΒ·3h
πŸ”’Denotational Semantics
On Demographic Transformation: Why We Need to Think Beyond Silos
arxiv.orgΒ·1d
🌍Cultural Algorithms
A LLM-Driven Multi-Agent Systems for Professional Development of Mathematics Teachers
arxiv.orgΒ·3h
🎯Interactive Provers
The Role of Humour in Software Engineering -- A Literature Review and Preliminary Taxonomy
arxiv.orgΒ·1d
πŸ”“Open Source Software
Conversational Education at Scale: A Multi-LLM Agent Workflow for Procedural Learning and Pedagogic Quality Assessment
arxiv.orgΒ·3h
πŸŽ™οΈWhisper
From Laid Off to Layoff Relief: How I Built a Personalized Post-Layoff Copilot in Bolt
dev.toΒ·3hΒ·
Discuss: DEV
βš™οΈPL Implementation
Being a psychologist to your (over)thinking LLM
specy.appΒ·19hΒ·
Discuss: Hacker News
πŸ”—Constraint Handling
π†πžπ§πžπ­π’πœ π€πˆ 𝐒𝐧 𝐔𝐗: 𝐄𝐯𝐨π₯𝐯𝐒𝐧𝐠 𝐁𝐞𝐭𝐭𝐞𝐫 π”π¬πžπ« π„π±π©πžπ«π’πžπ§πœπžπ¬
dev.toΒ·3hΒ·
Discuss: DEV
🎨Swedish Design Philosophy
Context Engineering: Going Beyond Prompt Engineering and RAG
thenewstack.ioΒ·19h
πŸŒ€Brotli Internals