kbr-

7 ms·

1.
Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf](raw.githubusercontent.com)
5 points by kbr- 2d ago|1 comments
2.
by kbr- 1y ago
> Imagine you are sitting in a meeting at work. The discussion is around the plan your team had set in motion last quarter, and the results are being reviewed. Data is being twisted and harassed to confess to whatever version of reality
3.
by kbr- 1y ago
You may also want to pass a resource through something like a channel, promise/future pair or similar. So it's not just down/up the callstack, sometimes it's "sideways". In those cases RAII is a life savior. Ot
4.
by kbr- 1y ago
It makes things easier. Usually the move constructor (or move assignment operator) will cause the moved-from object to stop being responsible for releasing a resource, moving the responsibility to the moved-to object. Simplest example: move
5.
by kbr- 1y ago
The author of the post claims that defer eliminates the need for RAII. Well, goto also eliminates the "need" but language features are about making life easier, and life is much easier with RAII compared to having only defer.
6.
by kbr- 1y ago
Yeah it's weird but the author of this post claiming that defer can replace RAII kinda suggests that. RAII isn't just about releasing the resource you acquired in the current scope in the same scope. You can pass the resource acro
7.
by kbr- 1y ago
> It’s a simple keyword, but it singlehandedly eliminates the need for any kind of RAII. What if you want to put a resource object (which needs a cleanup on destruction) into a vector then give up ownership of the vector to someone? I wr
8.
by kbr- 2y ago
To the author, if you're reading this: If you were on such good terms with VP of Eng and C-levels, why didn't you reach out to them and ask what's going on? They could interfere and prevent your layoff.
9.
by kbr- 2y ago
Surely there must be a way to counteract this with an app...
10.
by kbr- 2y ago
Ok, I was thinking about something else than stylistic preferences, e.g. making an off-by-one error in an implementation of an algorithm during live coding. Something that indeed would be usually catched by a careful code review, but candid
11.
by kbr- 2y ago
> The main issue that I see is that interviewers get extra picky with all the minor details and they fail candidates due to minor issues that would get solved in a code review or just with a bit more time You see a "minor issue that
12.
by kbr- 2y ago
Ahhahah that's beautiful, I'm crying. Skynet sends Terminator to eradicate humanity, the Terminator uses this as its internal reasoning engine... "instructions unclear, dick caught in ceiling fan"
13.
by kbr- 2y ago
I think most women are aware that if they go to a nightclub and wear their most attractive outfit, they will receive a lot of attention. And yes, if you receive a lot of attention, some of that will be unwanted. Adults realize that and deal
14.
by kbr- 2y ago
OP will surely deliver, let's just wait.
15.
by kbr- 2y ago
Do you mean you implement your own CoT on top of some open source available GPT? (Basically making the model talk to itself to figure out stuff)
16.
by kbr- 2y ago
The economy is meant to serve some people; some people take out of economy more than they give, some people give more than they take.
17.
by kbr- 2y ago
What if your job sucks so much energy out of you, it's even hard to imagine to do something on the side?
18.
by kbr- 2y ago
Thank you for the insights.
19.
by kbr- 2y ago
> It is reasonable to be skeptical of advice on marketing from someone who is selling a product. OTOH you should probably be even more skeptical of marketing advice from someone who did not successfully apply marketing to sell their pr
20.
by kbr- 2y ago
Of course they do
21.
Ask HN: Research on Effectiveness of FOMO Marketing?
2 points by kbr- 2y ago|7 comments
22.
by kbr- 4y ago
Same experience. I've spent hours trying to teach it about Peano numbers. "A thingie is either N or Sx where x is a thingie". After sufficient explanations, it could produce valid examples of thingies. N, SN, SSN, and so on.
23.
by kbr- 4y ago
I'm trying to teach it addition. I'm failing. > Definition: a "thingie" is either a "nuthingie", or "s(x)" where x is a thingie. So the possible thingies are: nuthingie, s(nuthingie), s(s(nuthi
24.
by kbr- 4y ago
This model doesn't cover the staging area though.
25.
by kbr- 4y ago
On a high level, it is "all of the code" in each commit. Node = commit (= all files + some metadata). Edge = pointer to a parent. On a lower level, a commit is itself a bunch of pointers to files. Different commits can share files
26.
by kbr- 4y ago
What you say is impossible, we pretty successfully apply at ScyllaDB (see https://github.com/scylladb/scylladb/commits/master ). I'm not sure 100% of the commits compile & pass all tests - there may b
27.
by kbr- 4y ago
Is there any place I could report issues or ask questions about the course other than Twitter? If the author is reading this, the proposed solution to the `merge` challenge is: function merge<A, B>(a: A, b: B): A & B { ret
28.
by kbr- 4y ago
I guess the (crazy, I know) assumption that I made is that I have some analytical, symbolic expression for a function that describes the state of the universe at every point. This "state" describes some fundamental quantity (not n
29.
by kbr- 4y ago
> The point is that it can’t be simulated on any lattice of any density. It doesn’t matter how fine the lattice is compared to the sensitivity of the measurement. It feels like you want to do sth like: first discretize (choose a lattice)
30.
by kbr- 4y ago
> The theorem is called the Nielsen-Ninomiya theorem. Among the class of quantum field theories that you cannot discretize is the one that describes our universe, the Standard Model.

More ›