Colin Putney

Huge news! We’ve completed our $200M Series D funding round and acquired Battle Road Digital, two major steps towards building the unified command operating system our military needs. Learn more here: hubs.ly/Q03-z8yS0

@getjonwithit @davidbessis One of the issues with LLM research is that we can’t give the model examples of superhuman reasoning, so it’s stuck. It can get to “on par with the best human in any given field” but not much further. Hinton posits that RL could produce mathematical ability surpassing humans.

@getjonwithit @davidbessis But at the end, you have a model that’s good at proving theorems, and human mathematicians can point it a problems they find interesting.

Like @davidbessis and others, I think that Hinton is wrong. To explain why, let me tell you a brief story. About a decade ago, in 2017, I developed an automated theorem-proving framework that was ultimately integrated into Mathematica (see: youtube.com/watch?v=mMaid2…) (1/15)

Commanders need clarity. @15thMEUOfficial used our platform in the Pacific to cut through the noise and get a real-time picture of their impact. Mission-ready AI at work! defensescoop.com/2025/02/05/mar…

@IterIntellectus Nix, nix-darwin, and home manager.

say you just got a new mac, how would you set it up?

@Aella_Girl Now do the same poll, but with green and orange pills!

if >30% pick blue, everyone lives. If under 30% pick blue, then red pills live and blue pills die.

Today Vannevar Labs announced the transition of the company’s prime contract with @DIU_x from a prototype contract to a production scale contract. This production agreement will field capabilities developed under the prototype agreement for exquisite sensing capabilities that enable DoD teams to identify adversary activity, manage their forces’ signature, deliver effects, and assess the impact of those effects in strategic competition. Learn more here: vannevarlabs.com/news/2024/11/1…

@bayleyalex @QuetzalPhoenix And sometimes the knobs, but only if your hands are wet…

@QuetzalPhoenix It’s fine as long as you don’t touch the faucet or the drain

"Mom, I want a Sword of Damocles!" "We have a Sword of Damocles at home!" The Sword of Damocles at home:

@ChShersh Can I look up when the Gregorian calendar was adopted? Can’t remember.

Here’s a proper 1-hour SWE interview question to filter out people who don’t have basic coding skills: Implement a pure function from scratch to calculate the day of the week by year, month and day.

@jaselee0905 @thisiswenzel @gregisenberg Meh, they bought some of the copyright to an open source project after it was already mature.

@cputney @thisiswenzel @gregisenberg MySQL is also made by Oracle

today, larry ellison became the 2nd richest dude on the planet and i'm sitting on oracle's website like 'what does oracle even do?' for real, ask 10 devs what oracle's main product is and watch 9 of them stutter. but realistically, it doesn't matter that we don't know. oracle's business model: 1) make some database thing 2) sell it to massive corps for ungodly amounts of $$$ 3) lock them into multi-year contracts 4) sit back and watch the billions roll in they're not trying to be the cool kid at the dev party. they're busy being the landlord who owns the whole block. takeaway: you don't need everyone to understand your product. in b2b or b2c. you just need the right customers who can't live without you. find your oracle play.

@thisiswenzel @gregisenberg Nobody ever got fired for buying Oracle.

@thisiswenzel @gregisenberg But most Oracle customers don’t care about that. The don’t care about the cost, because they have plenty of money. The want the iron-clad support contract that will send a small army of consultants to solve any problem they have.

@NaithanJones People see through it. The guy served for 24 years. Who cares if he forgot some paperwork? If he didn’t deploy one more time before retiring? They would find something to criticize no matter what. It’s just partisan campaigning.

@lilgrapefruits I liked it, but I’m still bothered by the philosophical gaps. Amazing they took it on at all, but it ended up being a side show that got sacrificed for laughs whenever convenient.

@safetyth1rd It’s not the absolute numbers that are a problem. It’s 1) population decline, and 2) fewer young people than old people.

people were complaining for years about overpopulation now the concern is birth rate besides being bad for the economy/pensions, what is the downside for individuals? cheaper homes, more land and space per person, better jobs why is less population super bad?

@TheCinesthetic The Expanes

What TV show managed to be consistently great from the first episode to the final one?

@1owroller Shaka, when the walls fell

i don’t think you guys realize how cooked we are. my little cousin (14) unironically just speaks in brainrot. lives in a highly educated area, picturesque white picket fence suburbs. every other sentence is a meme or some soundboard effect. it’s just how he communicates