HackerLangs
TopNewTrendsCommentsPastAskShowJobs

__0x01

62 karmajoined 6 yıl önce

Submissions

How do I market myself as a freelance Backend/Infrastructure engineer?

1 points·by __0x01·4 ay önce·0 comments

comments

__0x01
·5 gün önce·discuss
Thanks for this. I especially enjoyed the section on word counting software and word linking games.
__0x01
·2 ay önce·discuss
From the companion paper:

> The argument relies crucially on ideas that may, at least in retrospect, be attributed to Ellenberg-Venkatesh, Golod-Shafarevich, and Hajir-Maire-Ramakrishna.

Can someone please elaborate on this?
__0x01
·2 ay önce·discuss
> A problem with this is that in order to confirm the findings, you’ll need an expert human. But generally expert humans are busy doing other things.

The article suggests using LLMs to identify and fix UB. However as per the above, I think the issue is that we need more expert humans.

LLM generated code will eventually contain UB.

EDIT: added "eventually"
__0x01
·4 ay önce·discuss
> Correctness: 1,778 test cases from the official jsonata-js test suite + 2,107 integration tests in the production wrapper.

The AI generated code can still introduce subtle bugs that lead to incorrect behaviour.

One example of this is the introduction of functions into the codebase (by AI) that have bugs but no corresponding tests.

EDIT: correct quotation characters
__0x01
·4 ay önce·discuss
Can a datacenter practicably upgrade to the next generation of GPU every year?
__0x01
·4 ay önce·discuss
What was the interesting problem that Swiss watchmakers could have focused on, instead of pursuing brand?
__0x01
·5 ay önce·discuss
Please can you elaborate? We are more intersted in "the end" in what sense?
__0x01
·5 ay önce·discuss
Is "AI code review" a correct term?

A code review requires reasoning and understanding, things that to my knowledge a generative model cannot do.

Surely the most an AI code review ever could be is something that looks like a code review.
__0x01
·6 ay önce·discuss
> This is nothing but speculation

Did you read the paper?
__0x01
·6 ay önce·discuss
I also worry about a centralised service having access to confidential and private plaintext files of millions of users.
__0x01
·6 ay önce·discuss
Often when I look closely at the output of LLM generated code, I see repetition, redundant logic and deeply hidden bugs.

Notwithstanding the above, to my understanding LLM services are currently being sold below cost.

If all of the above is true, at some point the degredation of quality in codebases that use these tools will be too expensive to ignore.
__0x01
·6 ay önce·discuss
These LLM tools appear to have an unprecedented amount of access to the file systems of their users.

Is this correct, and if so do we need to be concerned about user privacy and security?
__0x01
·6 ay önce·discuss
Please can you provide a source for the above?
__0x01
·6 ay önce·discuss
My understanding was that atherosclerotic plaques are comprised of cholesterol or fatty deposits [1] and that these can lead to CVD.

The fat mechanism I understand, but what is the mechanism for sugar in CVD?

[1] https://www.heart.org/en/health-topics/cholesterol/about-cho...
__0x01
·7 ay önce·discuss
Engineering Room, panning over a bunch of hot Blackwells

"I can't change the laws of physics!"
__0x01
·8 ay önce·discuss
The monster babbleth no more, sire.
__0x01
·9 ay önce·discuss
Is cost a risk here? I'm assuming that sometime in the future the price for vibe coding/engineering will go up significantly.
__0x01
·9 ay önce·discuss
I have noticed that many of the most used and loved projects use C/C++.

With all of the unpopular press that they get, why has history often proven C/C++ to be the right choice time and time again?