HNHacker News
TopNewBestAskShowJobs

eddtries

535 karma · joined October 16, 2023

eddtries [at] iCloud [dot] com
submissionscomments
eddtries··on $10M AI Mathematical Olympiad Prize
And HN!
eddtries··on $10M AI Mathematical Olympiad Prize
I have a couple friends who did the Math tripos at Cambridge (so a pretty high level!) who work in tech and have unanimously said they have 0% expectations of an LLM doing a millennium problem anytime soon
eddtries··on Tata Consultancy Services ordered to cough up $210M in code theft trial
I think you'll find the most succinct requirements for a program is the code itself - you can add more and more logic to guide GPT to generate something but eventually you're just writing code yourself anyway.
eddtries··on Shellcheck finds bugs in your shell scripts
I also recommend https://github.com/bach-sh/bach when you have to use Bash for things long enough it probably shouldn't be!
eddtries··on Before OpenAI, Sam Altman was fired from Y Combinator by his mentor
He lives in England nowadays too
eddtries··on Before OpenAI, Sam Altman was fired from Y Combinator by his mentor
Thinking about this, can you think of a great hacker who isn't C-level? Look at the most famous programmers of all time, or people who've made the most popular tools like Ruby on Rails, and they're all C-level.
eddtries··on For RoR, see every method call, parameter and return value in production
I worked on a large financial transaction system for up to $7B per day in Haskell that used formal methods like Agda, TLA+, etc, with a lot of logic in the type level (i.e. Liquid Haskell), as a test engineer. The entire system was covered in property based tests, proofs, and then normal tests from unit -> system. We literally had two bugs categorised as P2/P1/P0 on release, both of which were design related, and both were fixed before users saw them. It was crazy effective (but took years).
eddtries··on We have reached an agreement in principle for Sam to return to OpenAI as CEO
IMO and experience a good product manager is far more important than a good engineer or good scientist

Elon Musk’s neuralink is a good example - the work they’re doing there was attacked by academics saying they’d done this years ago and it’s not novel, yet none of them will be the ones who ultimately bring it to market.

eddtries··on We have reached an agreement in principle for Sam to return to OpenAI as CEO
I think it makes sense

Sign the letter and support Sam so you have a place at Microsoft if OpenAI tanks and have a place at OpenAI if it continues under Sam, or don’t sign and potentially lose your role at OpenAI if Sam stays and lose a bunch of money if Sam leaves and OpenAI fails.

There’s no perks to not signing.

eddtries··on OpenAI's employees were given two explanations for why Sam Altman was fired
I'd rather work close to AGI - which I do not believe is the case personally - was handled by the adults in the room anyway, than some startup with a bunch of personalities.
eddtries··on London Is Building Its Own Vegas Sphere
Fwiw I've been to Vegas twice this year and it'd still be an eye sore even in that crazy city, imo
eddtries··on Sam Altman, Greg Brockman and others to join Microsoft
I think the only edge cases are for executives of companies, and even then it's pretty limited, but I imagine this could be one of the examples. IANAL though - it's just from what I've seen discussed elsewhere.

https://www.ottingerlaw.com/blog/executives-should-not-ignor...

https://leginfo.legislature.ca.gov/faces/codes_displaySectio...

eddtries··on Sam Altman, Greg Brockman and others to join Microsoft
If he was, he signed up to HN at 2!

I do think it's funny how the Blockchain Consultants have become AI Consultants though.

eddtries··on London Is Building Its Own Vegas Sphere
I don't like the sphere but to be fair to them, I think it's haptic-heavy movies from what I remember reading! Sort of like a giant IMAX I guess.
eddtries··on London Is Building Its Own Vegas Sphere
Adverts cost $450k a day (according to gaming articles on Xbox's advert in October), they also have 18,600 seats inside the LV Sphere for "immersive experiences".
eddtries··on London Is Building Its Own Vegas Sphere
I actually hate the Sphere. It's such an ugly dystopian future where we have giant orbs blasting adverts into peoples homes/hotel rooms. I'm not a fan of the billboards in NY either but these spheres are on another level, I feel like we're moving towards a Futurama future.
eddtries··on Sam Altman, Greg Brockman and others to join Microsoft
Sam is rich, I assume being CEO of one of the worlds largest companies is a far greater award than extra money when you're at the billionaire level, especially at 38. But I do think this is probably non-compete related too.
eddtries··on Sam Altman, Greg Brockman and others to join Microsoft
There must be an insane number of non-competes though, to stop that? Especially with the amount of VC funding - that must have been included?
eddtries··on Sam Altman, Greg Brockman and others to join Microsoft
Maybe lunch and a coffee could help?
eddtries··on Sam Altman, Greg Brockman and others to join Microsoft
Maybe Sam thinks OpenAI will be so important he has a shot at CEO of Microsoft in a couple years?
eddtries··on OpenAI board in discussions with Sam Altman to return as CEO
He was president of YC, I think it's fair to say people will think he's got a better set of credentials on a YC forum than some omg-ai-is-dangerous-please-fund-me think tank thinker.
eddtries··on Show HN: I made a 30-day social anxiety challenge
What is the minimum thing that counts as a social interaction, I wonder? Saying hello? Small talk? Coffee? Lunch?
eddtries··on .NET 8
This is why I love HN - info straight from the source. Thanks :)
eddtries··on .NET 8
Yup, Go is absolutely the language for this! And almost every scripting thing you need to do is probably in the standard library, which is helpful.
eddtries··on EU Parliament Civil Liberties Committee adopts position on CSAR
It's getting far more regulated though, and that's a good thing - big Pharma pushing drugs to doctors is one of the most sickening parts of capitalism.
eddtries··on EU Parliament Civil Liberties Committee adopts position on CSAR
Fair enough, I googled and used the first reputable source I could find. But sure, including the two other PACs, this is still IMO small change. I thought we were talking hundreds of millions or even billions regarding the NRA.
eddtries··on EU Parliament Civil Liberties Committee adopts position on CSAR
Yeah, each!
eddtries··on EU Parliament Civil Liberties Committee adopts position on CSAR
So with regards to FTX these were listed in the same spreadsheet as "Gifts", and there were some, but we're still talking low five figures for the majority of politicians. And it's not like FTX were not willing to spend more, they spent $68M on Tom Brady and Giselle for a two year contract to advertise FTX, or $500k on hotel rooms for interns in Miami.
eddtries··on EU Parliament Civil Liberties Committee adopts position on CSAR
That's probably true, there is lobbying in the UK so I assume countries within Europe have similar issues but I don't truly know.
eddtries··on EU Parliament Civil Liberties Committee adopts position on CSAR
You might be right, but having politicians who are not ideologically pro-affordable healthcare is a really sad state of affairs
← PreviousPage 3 of 7Next →