A New Lower Bound in the Abc Conjecture

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. […]
W3C re-launched as a public-interest non-profit organization

The World Wide Web Consortium began the year 2023 by forming a new public-interest non-profit organization. The new entity preserves our member-driven approach, existing worldwide outreach and cooperation while allowing for additional partners around the world beyond Europe and Asia. The new organization also preserves the core process and mission of the Consortium to shepherd […]
I lost $209,640 of my own money trying to start a business

I lost $209,640 of my own money trying to start a business. Writing about failure sucks. But here’s the real story: Context: Me and my wife started a marketplace for last-minute tours and activities. Think of it as Hotel Tonight x OpenTable x ClassPass. The idea was to bring live connectivity to an industry where […]
Typed Lisp, a primer (2019)

Checking the type of inputs is tedious and so I guessed it could be done using macros and advice. Looking at Typed Racket for inspiration, the following fictitious syntax would add advice to f that checks the optional arguments xᵢ have type σᵢ and the mandatory positional arguments have type τᵢ according to position, and […]
How to smooth and spread A* paths for an RTS

It’s been a few weeks since the last devlog. However I’ve spent a fair bit of time working on pathfinding and path following – and improving Construct along the way! This is a complex part of the project and will take multiple blog posts, so here I’m going to focus on just pathfinding. It gets […]
C++ Neural Network in a Weekend (2020)

Content mirrored from the Github repository Introduction Would you like to write a neural network from start to finish? Are you perhaps shaky on some of the fundamental concepts and derivations, such as categorical cross-entropy loss or backpropagation? Alternatively, would you like an introduction to machine learning without relying on “magical” frameworks that seem to […]
Why ultra-light urban vehicles offer the only viable future for EVs

One of these is Stockholm-based Luvly, who make very cute, ultra-light vehicles for urban use. They call these ‘LUVs’, which they officially launched at the end of last year, and so I caught up with founder Håkan Lutz to discuss what makes them so luvly. We covered their community-centred approach, why they are the IKEA […]
Japanese explained to programmers

Being born in France, I was immersed in Japanese culture from a very young age. Whether it was some imported Yu-Gi-Oh card found in a local store that taught me my first kanji (ideogram) at 11 (水), to a constant stream of Anime culture and video games. I’ve always been fascinated by the language, learning […]
I want to lose every debate
2023-01-31 My favorite moments in life are when someone shows me a new perspective — a way of thinking I had never considered. It’s illuminating. Ideally it’s something I opposed, but they help me understand why it works for them. The sex worker explains why she loves her job. The Singaporean in the three-piece-suit explains […]
Show HN: Generate commit messages using GPT-3

{{ message }} This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository. You can’t perform that action at this time. You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to […]