Live data from Hacker News

Lf-lean: The frontier of verified software engineering

11–12 of 12 posts

Re: Lf-lean: The frontier of verified software engineering

#11

Post by banajama » Tue, Mar 17, 2026, 6:18 AM UTC

Cyphase wrote: post #9

akkad33 wrote: post #7

This website is asking me for permissions on my phone. Why?

I'm not seeing that. Which permissions?

Not op, but it asked me to "use other apps and services in this device" android, crime

#12

Post by [deleted] » Tue, Mar 17, 2026, 8:50 AM UTC

[deleted]

Post reply on HN