Angry Miao’s AM AFA R2 is part sculpture, part keyboard
Whether you love their keyboards or not, there can be no doubt that Angry Miao doesn’t do things halfway. The AM 65 Less is an exercise in building a high-quality 65% keyboard that replaced the cursor keys with a touch panel. The Am Hatsu looks like it was imported from
Read moreA Taste of Coq and Correct Code by Construction
How to write correct code by construction using the Coq Proof AssistantPaul Cadman and Walter Schulze playing with wooden blocks in preparation for the talkSoftware can be incredibly buggy. Look at all these errors:There are many cases where these bugs have consequences beyond throwing your phone at the wall:Amazon web services takes down
Read moreElon Musk’s FSD v12 demo includes a near miss at a red light and doxxing Mark Zuckerberg
Illustration by Laura Normand / The Verge Elon Musk’s Tesla almost ran a red light while livestreaming a demo of Tesla’s Full Self-Driving (FSD) beta software. Musk was also livestreaming the demo while in the driver’s seat, violating Tesla’s rules for its advanced driver-assist technology. Oh, and he kind of
Read moreFree dating app Cosmic uses personality quizzes to make a profile for you
A new dating app called Cosmic wants to shake up the market by not charging for basic features like seeing who likes you or undoing your last swipe, while also making it easier for users to build profiles that better reflect their personalities using a combination of personality quizzes and
Read moreSubletting app Kiki raises $6M by using dating app concepts to match listings and renters
Kiki (formerly EasyRent), a subletting startup that matches listers with people looking to rent for up to six months, recently closed a $6 million seed round, its co-founder Toby Thomas-Smith exclusively told TechCrunch. The funding will go toward Kiki’s upcoming relaunch in New York City this fall. Blackbird Ventures led
Read moreWe don’t have to reinvent the wheel to regulate AI responsibly
Daniel Marcous Contributor Share on Twitter Daniel Marcous is the co-founder and CTO of april, an AI-driven tax platform. Daniel was previously the CTO of AI-driven navigation platform Waze, which was acquired by Google in 2013. We are living through one of the most transformative tech revolutions of the past
Read moreKlaviyo could break the unicorn IPO logjam
Last Friday, two venture-backed companies filed to go public. Grocery delivery service Instacart dropped its Form S-1 filing along with Klaviyo, a marketing software company from Boston. We dug into Instacart’s filing on Friday but didn’t have time to also spelunk into Klaviyo’s IPO filing. We’re going to do that today,
Read moreHow To Give Feedback To Your Manager
Help your managers become better leaders by giving them the feedback they needContinue reading on Better Programming »
Read moreSEC takes first action against an NFT project as an unregistered security
Illustration by Alex Castro / The Verge Today, the SEC announced its first enforcement action against NFTs in a case that was settled by Impact Theory, the NFTs’ issuer. The SEC said the NFTs issued by Impact Theory were unlicensed securities. The company agreed to a cease-and-desist order, paid $6.1
Read moreChris’ Corner: Even More SVG Tricks
SVG has so many tricks up its sleeve. It’s really a full-featured drawing API literally designed for the web, but few of us really truly understand it nor reach for it enough. Heck, I even wrote a book about it, and I don’t. At the time, just getting people to
Read more