virgildotcodes

6 ms·

31.
by virgildotcodes 3mo ago
Proof linked here - https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98... Prompt used - https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98... Lean formalization of the proof -
32.
Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra(twitter.com)
1 points by virgildotcodes 3mo ago|2 comments
33.
by virgildotcodes 3mo ago
Do you think it will be a net social benefit for people to be taught 2 + 2 = 4 and 2 + 2 = 5 with equal weight, and let them come to their own conclusions? How about if the person who owns the educational institution puts their thumb on the
34.
by virgildotcodes 3mo ago
I'm not sure if you actually haven't checked it since, but will give you the benefit of the doubt. Accounts pushing white supremacy, the reversion of women's rights, hatred towards other on the basis of their race or religion
35.
Grok Is More Important Than Clean Air, DOJ Says(motherjones.com)
12 points by virgildotcodes 3mo ago|2 comments
36.
by virgildotcodes 4mo ago
I think you're speeding past the word "average" in the sentence. I'd argue that current frontier models already exceed the abilities of average humans across the majority of tasks you can do on a computer, although you m
37.
Apple hints at more price increases coming later(9to5mac.com)
2 points by virgildotcodes 4mo ago|3 comments
38.
Apple raises prices of MacBooks, iPads(reuters.com)
846 points by virgildotcodes 4mo ago|1255 comments
39.
by virgildotcodes 4mo ago
Mine was not that severe. I would get mildly nauseous during normal commercial airplane turbulence, although very nauseous in small planes and the worst nausea of my life after a glider session, very seasick to the point of being debilitate
40.
by virgildotcodes 4mo ago
I had motion sickness for the first ~38 years of my life, and had it cured. Posting here because I went the majority of my life without knowing that such a treatment existed. About a year ago I flew to the University of North Dakota and spe
41.
by virgildotcodes 4mo ago
> There is no evidence it was highly coordinated and many reasons to believe it’s emergent. Cable TV and then social media created systems competing for attention. The content originators became increasingly decentralized, increasing bot
42.
by virgildotcodes 4mo ago
I mean, I also have times where I find myself blaming people for being so stupid. That said, you have to realize that this has been a very intentional propaganda effort by the most powerful actors in society spanning decades. Disorganized m
43.
by virgildotcodes 4mo ago
In terms of why bird brains would be exceptionally efficient for their volume (and I assume by extension, mass), would be that weight is at a premium for them.
44.
by virgildotcodes 4mo ago
Replying to a sardonic comment - believe it or not, list.
45.
Donut Lab's 'solid-state' battery exposed as regular li-ion in investigation(electrek.co)
83 points by virgildotcodes 4mo ago|22 comments
46.
Alzheimer's patient gets back speech, bladder control and memory in drug trial(nypost.com)
36 points by virgildotcodes 4mo ago|15 comments
47.
by virgildotcodes 4mo ago
About a year back I tried to build a few latency-sensitive products on Groq, and found the response times would vary so wildly that it just about erased any benefit in their throughput. Is that still this case?
48.
by virgildotcodes 4mo ago
Max seems to me to be notably better than the others.
49.
by virgildotcodes 5mo ago
Idk, I’ve seen Deliverance, plus all those horror movies that start out on some desolate road in the woods at night. Seems likely a fair depiction of country living. No thank you, I’ll stay in Manhattan and not get kidnapped and murdered by
50.
by virgildotcodes 5mo ago
Honestly, even if you join the field audit - who's to say they didn't plan everything in advance and that these aren't all crisis actors? Who's to say they didn't drug you, and you performed the "field audit&qu
51.
by virgildotcodes 5mo ago
There are many ways of knowing if you actually want to find out. Third party auditors, evaluations, reputation… just… reading reports and looking at evidence of field work. Too many people use this as an excuse to throw up their hands and s
52.
by virgildotcodes 5mo ago
What, lol? You want me to write a comprehensive account of each country in Africa that had foreign interventions and enumerate them? What’s the character limit for comments on HN, how many full comments do you think I’d need to get to somet
53.
by virgildotcodes 5mo ago
Are you under the impression that western activity in Africa ceased with the end of colonialism? No fomented coups, conflicts, revolutions, arms and funding for rebel groups, continuous bribes and support to corrupt government officials to
54.
by virgildotcodes 5mo ago
Better 20% of your money reaches a starving child than 0%.
55.
Ask HN: OpenAI, SpaceX/xAI, Anthropic all to IPO, is this a sign of the peak?
9 points by virgildotcodes 5mo ago|12 comments
56.
by virgildotcodes 5mo ago
EU debt to GDP is ~80% avg across member states, US is ~123%. US CPI 3.8% as of April, EU HICP 3.2% as of April. IMF projects 2.3% growth US vs 1.1% growth EU in 2026. Not sure I would say the EU is in a borderline catastrophic economic sit
57.
by virgildotcodes 5mo ago
Yeah for sure, speaking purely on the American common framing of big L Liberals as akin to social liberals rather than classical/economic liberals.
58.
by virgildotcodes 5mo ago
While we’re at it I, too, would rather be given $xx billion a month and a pony than be in a union and only get a $350k bonus. I think I am making a shrewd decision here if my math and equine knowledge holds.
59.
by virgildotcodes 5mo ago
We’ve gotta add American Liberals, majority of Democratic Party to the list. The Sanders faction is unfortunately not yet the prevailing force.
60.
by virgildotcodes 5mo ago
Maybe that’s still what’s happening, they’re talking about average after all :)

More ›