optimalsolver

6 ms·

1. 181.▲
   by optimalsolver 1y ago

   Bankrupting a business where you have a mathematically insurmountable edge is actually impressive.
2. 182.▲
   by optimalsolver 1y ago

   https://tvtropes.org/pmwiki/pmwiki.php/Main/InMyLanguageThat...
3. 183.▲
   A Fast, Densely Stored Hashmap Based On Robin-Hood Backward Shift Deletion(github.com)

   2 points by optimalsolver 1y ago|0 comments
4. 184.▲
   by optimalsolver 1y ago

   I often wonder how we impart this kind of knowledge to AI. Imagine someone steps into a subway carriage with only one other passenger in it. They're not likely to sit directly beside or opposite the other person. Would a robot follow t
5. 185.▲
   by optimalsolver 1y ago

   Accidentally correct is the best kind of correct.
6. 186.▲
   by optimalsolver 2y ago

   I was tempted to pay to get around rate-limits for Claude, until I found out that paying subscribers are also severely rate-limited.
7. 187.▲
   by optimalsolver 2y ago

   What? Bugs in the test code are what lead to bugs in production code.
8. 188.▲
   by optimalsolver 2y ago

   >And it’s a misnomer to call it a boom. In a boom, someone’s actually making money What does that say about the current AI boom (when you exclude shovel supplier NVIDIA)?
9. 189.▲
   by optimalsolver 2y ago

   Also African painted dogs.
10. 190.▲
    by optimalsolver 2y ago

    If the shortest proof for some theorem is several thousand pages long and beyond the ability of any biological mind to comprehend, would mathematicians not care about it? Which is to say, if you only concern yourself with theorems which hav
11. 191.▲
    by optimalsolver 2y ago

    That was GPT-2.
12. 192.▲
    by optimalsolver 2y ago

    >Presumable individual aggression versus fertility is an inverted U shaped curve in which fertility rises with aggression to an inflection point and then declines Are you sure about the decline part?
13. 193.▲
    by optimalsolver 2y ago

    >you’d very quickly have complete dependency on the AI That's a feature, not a bug. At least from OAI/Anthropic's point of view.
14. 194.▲
    by optimalsolver 2y ago

    Sounds like just the kind of person you'd want in command of a powerful AGI.
15. 195.▲
    by optimalsolver 2y ago

    IBM of the early 1940s.
16. 196.▲
    by optimalsolver 2y ago

    Now that OAI has "PhD level" agents, I assume they're largely scaling back recruitment?
17. 197.▲
    by optimalsolver 2y ago

    You got a loicense for that beaver?
18. 198.▲
    by optimalsolver 2y ago

    Considering Grok was saying he and Trump are the biggest spreaders of disinformation, and that they're both the most deserving of the death penalty, maybe it won't be so bad: https://finance.yahoo.com/news/elo
19. 199.▲
    The Kernighan-Lin Search Algorithm(arxiv.org)

    65 points by optimalsolver 2y ago|2 comments
20. 200.▲
    Hello. I'm A Compiler. (2013)(stackoverflow.com)

    2 points by optimalsolver 2y ago|0 comments
21. 201.▲
    by optimalsolver 2y ago

    >AI can eventually create AI's that are built up out of robust and provable logic That's the approach behind Max Tegmark and Steven Omohundro's "Provably Safe AGI": https://arxiv.org/abs/2309
22. 202.▲
    by optimalsolver 2y ago

    So 2025 really is the year of agents.
23. 203.▲
    by optimalsolver 2y ago

    So the graph there shows a huge jump in GDP per capita after Labour took power and opened up the UK to mass immigration in 1997. Am I reading this info right?
24. 204.▲
    by optimalsolver 2y ago

    Declined relative to its peak in the 2010s. It's climbing again. Ironically the decline set in after Brexit. It's also way higher than it ever was back when Britain was monoracial.
25. 205.▲
    by optimalsolver 2y ago

    UK's birth rate is 1.44. Someone is going to have to pay for your upkeep in old age. Most political problems of today stem from the fact that politicians are unwilling to explain this basic fact to their none-too-bright constituents.
26. 206.▲
    Why Disdain For Managed Funds Like ARKK That Destroy Total Market Funds? (2021)(bogleheads.org)

    1 points by optimalsolver 2y ago|0 comments
27. 207.▲
    by optimalsolver 2y ago

    You need benchmarks with the following three properties: 1) No known solutions, so there's no "ground truth" dataset to train on 2) Presumably hard to solve 3) But easy to verify a solution if one is provided. This, of course
28. 208.▲
    On Eating The Sun(lesswrong.com)

    1 points by optimalsolver 2y ago|0 comments
29. 209.▲
    by optimalsolver 2y ago

    Another thing Trek (and other SF) didn't predict was that AI would speak with Bay Area vocal fry. Someone should re-dub the Enterprise computer's lines with it.
30. 210.▲
    by optimalsolver 2y ago

    HN readers might be interested to know that the machine's codebase was recently ported to C++ 17 from Fortran. It was a nightmare to maintain!