major4x | 1 month ago | on: GPT-5.2 derives a new result in theoretical physics
major4x's comments
major4x | 1 year ago | on: Xerox Alto Source Code (2014)
major4x | 1 year ago | on: Lies I was told about collab editing, Part 1: Algorithms for offline editing
Actually, I will make a small deviation here: I think it is a big industry/startup/open source project there, in creating a set of semantic diff algorithms/implementations. For example, due to my present job, I am very interested in collaborative editing of electrical circuits, and layouts for PCB and chips. Altium and KiCad are trying, for exmaple, to store everything in XML/text files and put the text files in Git/SVN and I can tell you a botched C++ program is nothing in comparison to a botched and malformed electrical circuit. So we need diff tools that "know" about a text file, vs rich-text with formatting, vs bitmap vs vector image, vs song, vs English text. Anybody want to start an open source project (DM me or put a comment here).
Anyhow, thanks to the authors on the great insights and let's work on the take home!
major4x | 1 year ago | on: LLMs don't do formal reasoning
Look at the algorithmic tools used in ML and automated theorem proving for example: ML uses gradient descent (and related numerical methods) for local optimization, while constraint satisfaction/optimization/Boolean satisfiability, SAT modulo-theories, Quantified Boolean Optimization, etc., rely on combinatorial optimization. Mathematically, combinatorial optimization is far more problematic compared to numerical methods and much more difficult, largely because modern computers and NVidia gaming cards are really fast in crunching floating point numbers and also largely that most problems in combinatorial optimization NP-hard or harder.
Now thing of what LLM and local optimization is doing: it is essentially searching/combining sequences of words from Wikipedia and books. But search is not necessarily a difficult problem, it is actually an O(1) problem. While multiplying numbers is an O(n^2.8 (or whatever constant they came up with)) problem while factorization is (God knows what class of complexity) when you take quantum computing into the game).
Great, these are my 2 cents for the day, good luck to the OpenAI investors (I am also investing there a bit as a Bay Area citizen). You guys will certainly make help desk support cheaper...
major4x | 2 years ago | on: Optical effect advances quantum computing with atomic qubits to a new dimension
major4x | 2 years ago | on: OpenAI's board has fired Sam Altman
major4x | 2 years ago | on: Elon Musk predicts X will replace banks in 2024
major4x | 2 years ago | on: We have decided to pause driverless operations across all of our fleets
Now, about the number of asterisks: I really didn't think that much about this, I kind of think I counted the right number of letters, but then there is no caret overwrite mode in the bleeping browser, which is yet another story...
major4x | 2 years ago | on: We have decided to pause driverless operations across all of our fleets
major4x | 2 years ago | on: Android 14 introduces cellular connectivity security features
major4x | 2 years ago | on: Submarine missing near Titanic used a $30 Logitech gamepad for steering
major4x | 2 years ago | on: Submarine missing near Titanic used a $30 Logitech gamepad for steering
major4x | 2 years ago | on: Submarine missing near Titanic used a $30 Logitech gamepad for steering
major4x | 2 years ago | on: Submarine missing near Titanic used a $30 Logitech gamepad for steering
All those start-ups and unicorns, though. Just do it, when to be a hacker became an honorific, a title... Code your stuff, design your mechanics at Starbucks, who needs mathematics and physics when we can have s*t done instead. Who needs signing-off when we can have a carate-belt meeting standing on bouncing balls instead...
I don't want to be the dean of the faculty of prophecy but this is only the beginning. Wait until those autopilots starts using ChatGPT/Stack Overflow/copy/pasted code...
P.S. Hope they make it to the surface somehow...
major4x | 5 years ago | on: Inrix Signals Scorecard Map