Hacker News: choroidhttps://news.ycombinator.com/user?id=choroidHacker News RSShttps://hnrss.org/hnrss v2.1.1Sun, 13 Sep 2026 06:50:47 +0000<![CDATA[New comment by choroid in "Make your first edit to OpenStreetMap"]]>There's progress being made on an iOS app for StreetComplete.

https://github.com/streetcomplete/StreetComplete/issues/5421

]]>Sun, 13 Sep 2026 04:02:46 +0000https://news.ycombinator.com/item?id=49679911choroidhttps://news.ycombinator.com/item?id=49679911https://news.ycombinator.com/item?id=49679911<![CDATA[New comment by choroid in "Adding runtime benchmarks to the Rust compiler benchmark suite"]]>Iai^1 uses CacheGrind^2 to count instructions

[1] - https://github.com/bheisler/iai [2] - https://valgrind.org/docs/manual/cg-manual.html

]]>Sat, 30 Sep 2023 16:31:01 +0000https://news.ycombinator.com/item?id=37717054choroidhttps://news.ycombinator.com/item?id=37717054https://news.ycombinator.com/item?id=37717054<![CDATA[New comment by choroid in "Save money by automatically putting your non-critical apps to sleep on Heroku"]]>Is this made by Heroku? Is it a community app? What is this?

]]>Mon, 04 Mar 2019 20:51:25 +0000https://news.ycombinator.com/item?id=19305308choroidhttps://news.ycombinator.com/item?id=19305308https://news.ycombinator.com/item?id=19305308<![CDATA[New comment by choroid in "StateService: Automating recovery of third-party services after a major outage"]]>I think your comment is snarkier than his.

]]>Thu, 04 Oct 2018 19:34:57 +0000https://news.ycombinator.com/item?id=18142966choroidhttps://news.ycombinator.com/item?id=18142966https://news.ycombinator.com/item?id=18142966<![CDATA[New comment by choroid in "Rust Formal Verification Working Group"]]>How does this compare to projects like RESOLVE https://www.cs.clemson.edu/resolve/?

]]>Mon, 09 Apr 2018 20:33:45 +0000https://news.ycombinator.com/item?id=16796731choroidhttps://news.ycombinator.com/item?id=16796731https://news.ycombinator.com/item?id=16796731<![CDATA[New comment by choroid in "Scientists think they've solved the mystery of Devil's Kettle Falls"]]>read the article

]]>Thu, 06 Jul 2017 21:10:48 +0000https://news.ycombinator.com/item?id=14713998choroidhttps://news.ycombinator.com/item?id=14713998https://news.ycombinator.com/item?id=14713998<![CDATA[New comment by choroid in "Google’s “Fuchsia” smartphone OS dumps Linux, has a wild new UI"]]>What does google gain from ditching linux?

]]>Mon, 08 May 2017 16:30:06 +0000https://news.ycombinator.com/item?id=14293094choroidhttps://news.ycombinator.com/item?id=14293094https://news.ycombinator.com/item?id=14293094