Show HN: Kotlean: write Android apps in Lean
Source: Show HN ·
Kotlean: Android apps, proven. Write the app in Lean with a thin Android host. - kbr-/kotlean
Foire aux questions
Qu'est-ce que Show HN: Kotlean: write Android apps in Lean ?
Show HN: Kotlean: write Android apps in Lean is a outil discovery curated from Show HN. Kotlean: Android apps, proven. Write the app in Lean with a thin Android host. - kbr-/kotlean
Comment puis-je y accéder ou l'essayer ?
You can experience this content directly on its original host (Show HN) by clicking the "Open Original" button.
D'où vient ce contenu ?
Curated from Show HN by the OnSuggest team to surface the most interesting and serendipitous content on the web.
Dans le même esprit
Toutes les découvertes Outils pour développeurs →Show HN: A trim size and margin calculator for self-published books
Pick a trim size and page count: see which printers list it, the page size to set, KDP minimum margins, spine width and full cover size. Free, no sign-up.
Show HN: Fastsleep.app – Imagine micro-scenarios to get sleepy
Use this to quickly get sleepy without taking any medicinal pill or long form meditation type things (It is as short as 7-minute session). Easy to use. Simply close your eyes and imagine the micro-scenarios you hear. Like if you hear "moonlight on a white flower", imagine that scenario until you hear the next one. (You may also use it to easily break nightly doomscrolling habit) Comments URL: https://news.ycombinator.com/item?id=50449576 Points: 4 # Comments: 1
Show HN: Somo – home robot with emotional intelligence
A home robot with emotional intelligence. Join the waitlist.
Show HN: Black Ops II statically recompiled to native ARM64 macOS
I grew up with Black Ops 2 and wanted to see if I could make it work on my 2020 MacBook Pro. So I used Claude Opus 5.5 to create a tool that converts your copy of the game (from Steam) to a native ARM64 Mac app, with almost 60fps in all areas. The whole game is statically recompilated ahead-of-time (AOT) and does not use any emulator whatsoever, be it Wine, Crossover or Rosetta. The best thing is the performance, although some heat issues are still to fix. You get to play the whole Campaign, local Multiplayer (with bots) and local Zombies (all DLCs maps; you need to have them in your Steam lib
Show HN: Buy the whole stock market in one cheap fund and get on with your life
I have spent countless years learning and reading about personal finance. This website felt like a good way to redirect people to one place for the repeated questions like "But tech stocks", "Waiting for a crash", "What about crypto, real estate, or gold?", etc. Would appreciate some thoughts and feedback. Comments URL: https://news.ycombinator.com/item?id=50450104 Points: 1 # Comments: 0
Show HN: HC – a HyperCard clone that runs original stacks on today's Macs
Original HyperCard stacks, their scripts as they are, on today