importantSYS.SOURCE: Bartosz Milewski's Programming Cafe• 2026-07-14T11:05:15Z

Actegories in Category Theory and Haskell: Applications in Optics

#category theory #haskell #optics

The article explains actegories as categories acted upon by monoidal categories, with applications in programming optics like lenses and prisms. It provides Haskell implementations and discusses monoidal functors between actegories.

Read original article

*** END OF TRANSMISSION ***

> EVALUATING AI AGENTS ON SCIENTIFIC RESEARCH WORKFLOWS VIA TERMINAL-BENCH-SCIENCE > ANTHROPIC AND OPENAI TO PRESENT AT TECHCRUNCH DISRUPT 2026 AI STAGE > EXPLORING WEB INTEROPERABILITY AND OPEN STANDARDS IN SOCIAL MEDIA > OPENTIE AND OPENXWA: OPEN-SOURCE REIMPLEMENTATIONS OF STAR WARS FLIGHT SIMULATORS > FRAMEWORK-FREE RAG, AGENTS, AND EVALS TRAINING MATERIALS FOR AI ENGINEERS USING COLAB > OPEN SOURCE MODEL GATEWAY OPTIMIZES AI MODELS THROUGH USAGE DATA > RIVIAN'S CFO CLAIRE MCDONOUGH RESIGNS TO JOIN GE VERNOVA, STEPS DOWN IN OCTOBER > BLUESKY INTRODUCES ALGORITHMIC OPT-OUT FEATURE TO LIMIT POST VISIBILITY IN DISCOVER FEED > META'S $18B SETTLEMENT INCLUDES LEGAL EXEMPTION FOR CHILDREN'S DATA HANDLING > YOUTUBE INTEGRATES AMAZON PRODUCT TAGGING FOR CREATOR MONETIZATION> EVALUATING AI AGENTS ON SCIENTIFIC RESEARCH WORKFLOWS VIA TERMINAL-BENCH-SCIENCE > ANTHROPIC AND OPENAI TO PRESENT AT TECHCRUNCH DISRUPT 2026 AI STAGE > EXPLORING WEB INTEROPERABILITY AND OPEN STANDARDS IN SOCIAL MEDIA > OPENTIE AND OPENXWA: OPEN-SOURCE REIMPLEMENTATIONS OF STAR WARS FLIGHT SIMULATORS > FRAMEWORK-FREE RAG, AGENTS, AND EVALS TRAINING MATERIALS FOR AI ENGINEERS USING COLAB > OPEN SOURCE MODEL GATEWAY OPTIMIZES AI MODELS THROUGH USAGE DATA > RIVIAN'S CFO CLAIRE MCDONOUGH RESIGNS TO JOIN GE VERNOVA, STEPS DOWN IN OCTOBER > BLUESKY INTRODUCES ALGORITHMIC OPT-OUT FEATURE TO LIMIT POST VISIBILITY IN DISCOVER FEED > META'S $18B SETTLEMENT INCLUDES LEGAL EXEMPTION FOR CHILDREN'S DATA HANDLING > YOUTUBE INTEGRATES AMAZON PRODUCT TAGGING FOR CREATOR MONETIZATION