> Koka tracks the (side) effects of every function in its type, where pure and effectful computations are distinguished. The precise effect typing gives Koka rock-solid semantics backed by well-studied category theory, which makes Koka particularly easy to reason about for both humans and compilers.

Is this simply type assertion?

Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover (blog.adacore.com)

Which Way Does Time Go? A Neuroscientist's Perspective on Language and Cognition (timestripe.com)

How to hire force multipliers (not 10x engineers) (leaddev.com)

Thick Coins (thick-coins.net)

Uber drivers in Victoria, B.C. (Canada), vote to unionize (cbc.ca)

Flexprice–Open source monetization platform for AI companies (github.com)

$88M pollution-tracking satellite missing in space (bbc.com)

Bratharion: A modular architecture for building efficient LLM assistants

Lucidly collaborative website QA (lucidly.so)

Forescout Sun Down Research Report (forescout.com)

A Chip Packaging War Brews Between TSMC and ASE (english.cw.com.tw)

America Builds to Resist Disasters. The Global South Builds to Recover (nextcity.org)

In Search of the Holy Grail (mnky9800n.substack.com)

Show HN: I made a tool to block LinkedIn job spams (chromewebstore.google.com)

'The film wouldn't even be made today' the story behind Back to the Future at 40 (theguardian.com)

Show HN: I made a tool to help turn Rails apps into Once-like apps and sell them (rubyup.dev)

Europe Is Losing the Tech War (hugston.com)

Awesome-LLM: A Curated List of Large Language Model (github.com)

How to Make an AI DevOps Agent (container.inc)

The Death and Life of the Straight White Man's Novel (nytimes.com)

CEOs Start Saying the Quiet Part Out Loud- AI Will Wipe Out Jobs (wsj.com)

Unix graphics feature deprecation schedule (forums.developer.nvidia.com)

Locality of Behaviour (2020) (htmx.org)

Coordinated Progress: Seeing the System: The Graph (jack-vanlightly.com)

Ask HN: Why isn't there a universal tool for exporting/transferring our data?

Disassembling the Cheapest Servomotor on Alibaba (twitter.com)

AirPods 4 (apple.com)

How a family tragedy helped me beat my phone addiction (substack.com)

ICEBlock is incredibly false privacy claims for marketing (bsky.app)

cpparinfer: A C++23 implementation of the parinfer algorithm (gitlab.com)

Gone in 40 days: US drops ban on export of chip design tools to China (theregister.com)

How to design a large language model (with anti-waste app examples) (littlelanguagemodels.com)

Peasant Railgun (knightsdigest.com)

Rust Case Studies (sxlijin.github.io)

Doom Didn't Kill the Amiga (datagubbe.se)

Maybe Don't AI MCP Gateway (maybedont.ai)

A guy works at 3-4 startups at the same time. He's been preying on YC companies (twitter.com)

For Web3 Market Making to Be Successful, the Best Approach Is (financemagnates.com)

A first look at BSDCan 2025 – Musings of a cranky sysadmin (blog.zia.io)

Mobile Shopping Cart Cleaning Solutions (core77.com)

Robots move Shanghai city block [video] (youtube.com)

Design Lessons: How Exploiting Three Materials Made Greenhouses Affordable (core77.com)

How Would You Respond? (justismills.substack.com)

Ok, AI Can Write Pretty Good Fiction Now (justismills.substack.com)

The most mysterious bug I solved at work (cadence.moe)

François Chollet: The Arc Prize and How We Get to AGI [video] (youtube.com)

Show HN: I built a tool to stop repeating myself to LLMs (systemprompt.app)

Baba Is Eval (fi-le.net)

Throwing the Baby with Bathtub? (gizvault.com)

Office for Nuclear Regulation: Our assessment was not bananas! (onr.org.uk)

The Koka Programming Language

Comments (1)