@underyx

38 Followers
85 Following
19 Posts
I have approximate knowledge of many things.
Personal sitehttps://underyx.me
GitHubhttps://github.com/underyx
Employerhttps://semgrep.dev
hi did one of you forget a rug at turk & market?
I worked on a feature with GPT-4, then worked on a blog post, and now I'm proud of it. Here ya go: https://semgrep.dev/blog/2023/gpt4-and-semgrep-detailed
We put GPT-4 in Semgrep to point out false positives & fix code

Semgrep is a code search tool many use for security scanning (SAST). We added GPT-4 to our cloud service to ask which Semgrep findings matter before we notify developers, and on our internal projects, it seemed to reason well about this task. We also tried to have it automatically fix these findings, and its output is often correct.

We put GPT-4 in Semgrep to point out false positives & fix code
Emacs orc-mode
rare error

just realized this is what error handling is gonna look like in 5 years

raw = chatgpt.send("Please return thing as JSON")
try:
reply = json.loads(raw)
except JSONDecodeError:
raw = chatgpt.send("Sorry, I cannot parse that as JSON, can you try again?")
reply = json.loads(raw)

What's the default spread to put on a sandwich?
butter/margarine
50%
mayo
50%
cream cheese
0%
Poll ended at .
cumin 2 just dropped

I spent around 8 hours total over the holiday break trying to catalogue all the games I ever played at https://infinitebacklog.nl/users/bence

I probably got around 50-60% of them.

Infinite Backlog | All your games and friends in one place

Organize your games across platforms into one library, track achievements and statistics and connect & compete with friends!

Infinite Backlog
Musk blamed a Twitter account for an alleged stalker. Police see no link.

The incident last week underscored how Elon Musk’s personal concerns can influence his governance of a social media platform used by hundreds of millions of people.

The Washington Post
"In general, any type of cross-posting to our platform is not in violation of this policy, even from the prohibited sites listed above." is a nice part of twitter's mastodon link ban policy