MikeTrendsTrends right now
AI: reposAPI

search

RE Engine

Trends

  1. 1
    Anatomy of a Lean proof explained for software engineers●Anatomy of a Lean proof for software engineersYhnTechnologySoftware12839 min ago

    A new technical article walks software engineers through the anatomy of a Lean proof, breaking down how the Lean proof assistant verifies mathematical and program correctness. The piece aims to make formal methods accessible to developers without a heavy math background, covering how proofs are structured and checked. It is drawing attention among developers interested in formal verification and dependent typing.

  2. 2
    Jetpack Compose recomposition leaks questioned despite stable data classes●The setup You've got a @Stable data class, you're passing it into a composable, and Layout... # android # kotlin # jetpaMmastodonTechnologyMobile337 min ago

    Android developers are debating a common Jetpack Compose pitfall: a Kotlin data class marked @Stable passed into a composable can still trigger unexpected recomposition, with the argument that the annotation itself is not the real source of the leak. The discussion, tagged under android, Kotlin and Jetpack Compose, is aimed at engineers debugging performance issues in Compose UIs.

Repos