ckcheng

10 ms·

61.
by ckcheng 2y ago
That’s a lot of different things to consider and try, thanks! What worked for me was drinking massive amounts of water throughout the day. Not so much to cause hyponatremia, of course, but it was a cheap easy way to establish a baseline for
62.
by ckcheng 2y ago
> o1-preview is about on par with Anthropic's Claude 3.5 Sonnet in terms of accuracy but takes about 10X longer to achieve similar results to Sonnet. > o1's performance increase did come with a time cost. It took 70 hours on
63.
Number of people employed in agriculture, 1801 to 2019(ourworldindata.org)
3 points by ckcheng 2y ago|2 comments
64.
by ckcheng 2y ago
Jevons Paradox? https://en.wikipedia.org/wiki/Jevons_paradox
65.
by ckcheng 2y ago
> Golangs stupidly verbose error handling forces you to constantly think about the unhappy paths. Every function is littered with error handling and it makes you aware of possible problems and rigorously forces you to not forget them. Th
66.
by ckcheng 2y ago
> Comcast's AI phone chatbot. No matter how I tried, it could not understand "cancel Hulu Seems working as intended? I’ve used a bank and Starbucks chatbots for customer service. Both times they seem so rudimentary and bad tha
67.
by ckcheng 2y ago
It was discussed 27 days ago: Null-Restricted and Nullable Types https://news.ycombinator.com/item?id=41136974
68.
by ckcheng 2y ago
From the linked page: > The package, offering up to $20,000 is comprised of $10,000 in relocation cash, PLUS up to $10,000, dollar for dollar match, for approved renovations on an existing home, OR for a down payment on a newly construct
69.
by ckcheng 2y ago
This submission got marked as dupe but that’s incorrect. Click “past” and you’ll see it was never submitted previously. I only mention this because I think my other comment confused the issue. My other comment says there was a previous disc
70.
by ckcheng 2y ago
Previously discussed: https://news.ycombinator.com/item?id=23383868
71.
Terran Trade Authority(en.wikipedia.org)
1 points by ckcheng 2y ago|2 comments
72.
by ckcheng 2y ago
They were going to undo at least the inside-US portion of the Section 174 amendment. It’s made it past the House but not the senate yet. [0] What’s strange is “Effectively, this rule change [initial Section 174 amendment] was designed to en
73.
by ckcheng 2y ago
> the demonstrated ability to turn a child quickly into an expert—in chess, music ...—sets a clear challenge before the schools. Can educators find ways to encourage students to engage in the kind of effortful study... What's intere
74.
by ckcheng 2y ago
> I can't believe he didn't notice immediately too. Is it possible that maybe Kasparov noticed and just like you, he went with it instead of making the hosts look bad?
75.
by ckcheng 2y ago
Surely you mean: “Tarski was a mathematician” is true if and only if Tarski was a mathematician. [1] [1]: https://en.m.wikipedia.org/wiki/T-schema
76.
Levels.fyi Available in CAD(old.reddit.com)
3 points by ckcheng 2y ago|0 comments
77.
by ckcheng 2y ago
> The definition of GC encompassing RC has fallen out of favour because it doesn’t capture the essential distinctions that people want to make: firstly, are cycles broken automatically? secondly, is there any tracing process happening be
78.
by ckcheng 2y ago
I asked around and all I got was this: https://news.ycombinator.com/item?id=41150581
79.
by ckcheng 2y ago
To try answering myself: It's because algebraic type problems are typically of the form "Prove algebraic equation E", where E is relatively easy to translate into Lean language. Whereas combinatoric problem types are of the f
80.
Ask HN: Why did AlphaProof fail at IMO combinatorial problems?
4 points by ckcheng 2y ago|2 comments
81.
by ckcheng 2y ago
There doesn’t seem to be much information on how they attempted and failed to solve the combinatorial type problems. Anyone know any details?
82.
Linsk: Access Linux-native file systems (e.g. LVM, LUKS) on Windows and macOS(github.com)
1 points by ckcheng 2y ago|0 comments
83.
Why Zuckerberg's multibillion-dollar gamble doesn't just matter to Meta(theguardian.com)
4 points by ckcheng 2y ago|1 comments
84.
by ckcheng 2y ago
Ascension (miniseries)? https://en.m.wikipedia.org/wiki/Ascension_(miniseries)
85.
by ckcheng 2y ago
> Smartphones ... were the catalyst for mobile-first tech companies, like Spotify (founded 2006,) WhatsApp (2009,) Instagram (2010,) Uber (2010,) Snap (2011,)... > The smartphone and cloud revolutions coincided almost perfectly with w
86.
by ckcheng 2y ago
It can happen in many places … even in Boston: > Hyponatremia occurs in a substantial fraction of nonelite marathon runners and can be severe. > As marathon running has surged in popularity during the past quarter-century, reports hav
87.
by ckcheng 2y ago
> In Canada ... all of our mortgages are full recourse. Except in Saskatchewan and Alberta [1]. [1]: https://financialpost.com/personal-finance/mortgages-real-es...
88.
by ckcheng 2y ago
Not mine! Just sharing what I found. I was looking for an alternative to rogue amoeba’s loopback too
89.
BlackHole: macOS Audio Loopback Driver(github.com)
339 points by ckcheng 2y ago|125 comments
90.
by ckcheng 2y ago
That's a very interesting way of looking at errors. Wouldn’t the grammar of errors have to also be LR? Doesn’t that limit the kind of errors you can report?

More ›