John Lakness (@jlakness) 's Twitter Profile
John Lakness

@jlakness

FHE/ZK/MPC, C++/Rust/Python, DeFi Degen, Dad. Former Lives: Intel, SpecOps, Ironman, Chippendales. 10% dumber than GPT-4 on random MMLU, so #DYOR and #DWTFYWTD

ID: 4034358735

calendar_today24-10-2015 21:45:11

571 Tweet

133 Followers

194 Following

John Lakness (@jlakness) 's Twitter Profile Photo

The electrostatic motor was invented by Benjamin Franklin. They are vastly more efficient than magnetic motors, but there are a few manufacturing quirks that made them harder to build 100 years ago or whatever, so we started developing magnetic motors and everything has been

The electrostatic motor was invented by Benjamin Franklin. They are vastly more efficient than magnetic motors, but there are a few manufacturing quirks that made them harder to build 100 years ago or whatever, so we started developing magnetic motors and everything has been
John Lakness (@jlakness) 's Twitter Profile Photo

$1500 bond for KILLING somebody $30k insurance liability for DEATH This is how much your life is worth. You’re a joke, an actuarial rounding error. They care more about the cost of imprisoning your killer than preventing deaths. I know a girl just like this that killed an

John Lakness (@jlakness) 's Twitter Profile Photo

Well, it's been 10 years, and given the dystopian social media hellscape we've created for ourselves, maybe people can look back and see the appeal of living at Startup Castle with other real people that have all been through a bit of screening. I really miss the place and

Well, it's been 10 years, and given the dystopian social media hellscape we've created for ourselves, maybe people can look back and see the appeal of living at Startup Castle with other real people that have all been through a bit of screening.

I really miss the place and
John Lakness (@jlakness) 's Twitter Profile Photo

Stablecoin-issuer L1 has got to be the most obvious blockchain concept of the last 20 years. The only thing stopping it was regulators. There is now an even more obvious step from there, but I'll let you figure that out.

John Lakness (@jlakness) 's Twitter Profile Photo

📰🚨NEWS: China🇨🇳 cuts off AI chip🤖 imports. TRADE WAR! TRADE WAR!🤜🗡️🔫💣🤯 No. If you think that this is a reaction to tariffs and other trade war actions from the USA, you do not understand China. This move has been planned for at least a decade, and most likely they have

John Lakness (@jlakness) 's Twitter Profile Photo

I love this narrative because everybody believes it, including much of the leadership of Intel, but it is very wrong on technical and economic grounds. I hope to elaborate more, but it’s complicated semiconductor engineering and economics. I wrote about this extensively on the

John Lakness (@jlakness) 's Twitter Profile Photo

New mode of warfare: Sell cheap robots into a country that are helpful and everybody wants, but can go on strike for geopolitical leverage, or turn into military assets in a war. It’s actually not new at all because this is exactly what strategic immigration is and has been for

John Lakness (@jlakness) 's Twitter Profile Photo

I needed a web app, and I don’t do web apps, so I asked AI to do it for me. I was blown away that it actually worked, sort of. Not really though. I had to fix some things. Some things didn’t make sense. Some were bad architecture decisions. Some were overly complex. A few hours

John Lakness (@jlakness) 's Twitter Profile Photo

Funny thing about this: In 2010-2011, I ran all the data centers in Afghanistan. I did all the planning for hardware support of software requests from the commanders. In 2013-2014, I was the J3 analyst for the CJSOTF/NSOCC commander in Afghanistan during the transition to RSM.

John Lakness (@jlakness) 's Twitter Profile Photo

Alec Stapp Reminder that your life is worth $30k on the road in CA. The math on liability insurance is crazy. The insurer makes that back in about 2 years of premiums, so as long as you take a year off between killing people, the insurers are happy.

John Lakness (@jlakness) 's Twitter Profile Photo

Okay, I was wrong when I said your life is worth $30k on the road. > In 87% of cases, the driver is not charged with anything following the accident. So the actuarial value of your life is closer to $4k, which is only a few months of insurance premiums, so you really only have

John Lakness (@jlakness) 's Twitter Profile Photo

The last two decades of startups have been almost entirely based on lawfare. They used legislation to get investment from CalPers, they used an army of lawyers to effectively nullify zoning and licensing laws, they used law suits to win government contracts, they used law suits

John Lakness (@jlakness) 's Twitter Profile Photo

In the real “Monty Hall” problem, from the show “Let’s Make a Deal”, Monty has an option of whether to open one of the empty doors or not. This changes the whole problem. Game theory would suggest that it would only be offered when the contestant’s choice was the car, simply

In the real “Monty Hall” problem, from the show “Let’s Make a Deal”, Monty has an option of whether to open one of the empty doors or not. 

This changes the whole problem. Game theory would suggest that it would only be offered when the contestant’s choice was the car, simply
John Lakness (@jlakness) 's Twitter Profile Photo

Algorithm instructions: EXTREME DANGER! Do not show this to anybody! Severe consequences will result from anybody seeing this!

John Lakness (@jlakness) 's Twitter Profile Photo

So, not quite…. Jensen is not revealing the whole truth of Dennard scaling here, although what he says is the relevant part for his company. The ITRS adherence to Moore’s law has more to do with computing demand than the technology of the supply. Progress in node technology is

John Lakness (@jlakness) 's Twitter Profile Photo

Do you think there is a single invention out there anywhere with proper attribution? If we have really good search tools, is there a single defensible patent on the books? If we train an LLM on all the public information available to it at the time of a patent filing, and it is

John Lakness (@jlakness) 's Twitter Profile Photo

If you trained a LLM from something really rudimentary using RLVR on programming problems, would it eventually learn software engineering methodology (e.g. type structures, unit tests, documentation, pattern templates)? An interesting model that inspired this question:

John Lakness (@jlakness) 's Twitter Profile Photo

What I want: ```joy [small] [] [uncons [>] split] [[cons] dip concat] binrec ``` Trying to convince myself that this is okay: ```cl (defun qs (l) (if (atom (cdr l)) l (append (qs (subset-less (car l) (cdr l))) (list (car l)) (qs (subset-greater (car l) (cdr l)))))) ```