Skip to content
Tech News
clear
Topics: Today This Week This Month This Year
1.
λProlog: Logic programming in higher-order logic (news.ycombinator.com)
2026-02-20 | get Lambda Prolog → | tags: church's simple theory, higher-order logic, lambda-tree
2.
Fabrice Bellard: Biography (2009) [pdf] (news.ycombinator.com)
2025-12-24 | get Biography → | tags: bellard, bellard biography, biography
3.
Fabrice Bellard: Biography [pdf] (news.ycombinator.com)
2025-12-24 | get Biography → | tags: bellard, bellard biography, biography
4.
Should you trust Tools for Humanity’s iris-scanning orb? (techcrunch.com)
2025-10-31 | by Theresa Loconsolo | get Microsoft Surface Laptop → | tags: bellan, company, equity
5.
After Kirk shooting, Utah governor calls social media a “cancer.” Will we treat it like one? (arstechnica.com)
2025-10-31 | get smartphone → | tags: arrow, bella, ciao
6.
Elon Musk Randomly Drops in on Small Town; Reminds Everyone He Is Still Canadian (gizmodo.com)
2025-10-31 | by Riley Gutiérrez Mcdermid | get Google Nest → | tags: bella, canada, canadian
7.
TechCrunch Mobility: Applied Intuition’s eye-popping valuation, the new age of micromobility, and Waymo’s wild week (techcrunch.com)
2025-10-31 | by Kirsten Korosec | get Tesla accessories → | tags: bellan, company, micromobility
Today's top topics: meta child safety daredevil samsung google
View all today's topics →

© 2026 GoKawiil | 7 articles displayed

About | Editorial Policy | Contact