News for hackers. Stuff that matters.

wapiou

wapiou on Hacker News

Re:The Future of Mathematics on Tuesday October 06, 2026 @02:26PM (#49982207)
This one scares me

Show HN: FuturLang – Natural language formal verification

Posted by wapiou on Friday January 30, 2026 @05:32PM
from the show-hn dept.

I built FuturLang, a formal verification system that preserves natural language structure while enabling machine verification. The goal is to make formal proofs more accessible without requiring specialized notation like Coq/Lean/Agda. Example proof structure:(1) It is assumed that: (√2 is rational) (2) This implies that: (∃ integers a, b)... (3) Therefore: (√2 is irrational)I’ve built the...

( Read More... | 1 comment | on HN )
Re:Daedalus Wallet on Wednesday December 21, 2022 @10:54AM (#34082279)
Daedalus is a crypto wallet made for teens and young adults. Its educational, safe and legal at its core. With Daedalus, anyone regardless of their age can create a wallet, mint NFTs, and learn about the space with unprecedented ease.
Re:Daedalus Finance on Wednesday December 14, 2022 @09:29AM (#33983921)
Daedalus is a social portfolio tracking app. We give users the ability to track their favorite cryptocurrencies, stocks, and NFTs. There is an integrated social feed as well allowing users to browse posts from others in web3 and create groupchats.
Re:We made a social language learning app for African languages on Wednesday May 18, 2022 @12:29PM (#31424726)
Africa is the most linguistically diverse continent on Earth, with over 2000 languages and billions of native speakers. Despite recent advances in online language learning, there remains no major education platform that supports more than one or two African languages. We, the Mandla Team, have decided to tackle this issue head on. Mandla is an e-learning platform that aims to: 1. Teach African languages. 2. Build an African language database to improve translation models. 3. Preserve Cultures. Our entire team is composed of first generation African immigrants from Burkina Faso, Ghana, Nigeria, and Kenya. Growing up, we each faced the problem of wanting to improve our fluency in our parents’ native languages and not being able to find any quality resources to do so. And it wasn't just us; Many of our peers were facing this same problem as well. In our quest to improve our fluency, we discovered countless Instagram pages, YouTube channels, and reddit forums dedicated to learning different African languages, but still no quality gamified online platform. Mandla solves this problem. We launched the beta versions of our iOS, Android, and web apps in December 2021 with support for over 15 of Africa’s most spoken languages and have quickly amassed over 50,000 users.