HackerTrans
TopNewTrendsCommentsPastAskShowJobs

cod1r

no profile record

Submissions

OCaml 5.5.0

discuss.ocaml.org
10 points·by cod1r·21 hari yang lalu·0 comments

Flow type checker being ported to rust

github.com
2 points·by cod1r·bulan lalu·0 comments

Nested Callbacks (2013)

blog.michellebu.com
2 points·by cod1r·2 bulan yang lalu·0 comments

An OpenClaw-powered game world builder

github.com
2 points·by cod1r·5 bulan yang lalu·0 comments

First Proof

1stproof.org
1 points·by cod1r·5 bulan yang lalu·1 comments

I Told You So

geohot.github.io
4 points·by cod1r·5 bulan yang lalu·0 comments

My Thoughts on AI

sarah.engineer
2 points·by cod1r·5 bulan yang lalu·0 comments

[untitled]

1 points·by cod1r·6 bulan yang lalu·0 comments

LLMs and Your Career

notes.eatonphil.com
3 points·by cod1r·6 bulan yang lalu·0 comments

A programming language for libraries translated to all the others

github.com
1 points·by cod1r·6 bulan yang lalu·0 comments

ARM Has a JavaScript Instruction

notnotp.com
7 points·by cod1r·6 bulan yang lalu·1 comments

“Erdos problem #728 was solved more or less autonomously by AI”

mathstodon.xyz
619 points·by cod1r·6 bulan yang lalu·363 comments

Accepting that you won't know it all

blog.prdai.dev
2 points·by cod1r·8 bulan yang lalu·0 comments

Template Interpreters

zackoverflow.dev
4 points·by cod1r·8 bulan yang lalu·0 comments

ImGui React Runtime

github.com
2 points·by cod1r·8 bulan yang lalu·0 comments

[untitled]

5 points·by cod1r·8 bulan yang lalu·0 comments

Chromium Browser DoS Attack via Document.title

github.com
5 points·by cod1r·8 bulan yang lalu·0 comments

Obamify

obamify.com
4 points·by cod1r·9 bulan yang lalu·1 comments

A JavaScript engine written in Zig

codeberg.org
7 points·by cod1r·9 bulan yang lalu·0 comments

OCaml 5.4.0 Released

discuss.ocaml.org
14 points·by cod1r·9 bulan yang lalu·0 comments

comments

cod1r
·bulan lalu·discuss
moments like this really get me excited for AI and the future. im glad their new baby is healthy
cod1r
·bulan lalu·discuss
every time openai or anthropic uses their models to do some unheard of stuff like make a c compiler or solve an unsolved math problem.
cod1r
·bulan lalu·discuss
WUT UP YOU FRICKEN H-nvm.

i watch ur streams on twitch lol
cod1r
·3 bulan yang lalu·discuss
> social and emotional competence

I feel that so much. I'm a first generation vietnamese american (born and raised in america) and it's very disappointing to see my own family lash out (at each other or even strangers) when there is some issue where the answer is unknown.

It's also very frustrating when there's such a strong emphasis on the idea that elders always know best and anybody younger cannot question them.

Discipline, wisdom, and maturity are probably the main aspects that I think define how "adult" somebody is.
cod1r
·5 bulan yang lalu·discuss
HOUSTON REPRESENT!!
cod1r
·5 bulan yang lalu·discuss
[flagged]
cod1r
·5 bulan yang lalu·discuss
It's definitely an explosion of complexity but also something that AI can help manage. So :shrug: ...

Based on current trends, I don't think people care about knowing how all the parts work (even before these powerful LLMs came along) as long as the job gets done and things get shipped and it mostly works.
cod1r
·6 bulan yang lalu·discuss
2025 wrap

started committing to healthier habits like going to the gym and jogging.

got some programming work experience under my belt.

started to cook for myself.

learned how to use a multimeter and fixed my house heating.

went to GDC and explored san francisco.

also finishing advent of code is always a highlight in my book :)
cod1r
·7 bulan yang lalu·discuss
This is great and I love it. Very polished work.
cod1r
·7 bulan yang lalu·discuss
I suffered with this problem quite often with my previous job. There would be something vague assigned to me and I didn't quite get what to do but I also felt like if I asked questions, it'd give off a vibe like I didn't know what I was doing so I would just start programming and making a bunch of assumptions.

That wasted a lot of time which is a lesson to be learned from.

I also struggled with self management.
cod1r
·7 bulan yang lalu·discuss
sweeeeeeeeeeeet
cod1r
·8 bulan yang lalu·discuss
Oh man, this is a really nice ending to his story. I'm glad this happened.
cod1r
·9 bulan yang lalu·discuss
This is sort of a bummer but as long as Eric feels less stressed and more happy, I'm all for it.
cod1r
·9 bulan yang lalu·discuss
Shifts an images pixels around so that it resembles Obama smiling
cod1r
·9 bulan yang lalu·discuss
I don't usually read articles and just only take the clickbait headline but this one seemed interesting enough to read after my jog and I enjoyed it.
cod1r
·10 bulan yang lalu·discuss
I don't know if i should be embarrassed for not knowing what is a fruit and what is a vegetable.
cod1r
·tahun lalu·discuss
i envy dimitri's ambition and capabilities. i want to be able to dedicate that much effort and more into something I'm passionate about. mostly personal discipline/skill issues but MAJOR props to dimitri and this awesome project.
cod1r
·3 tahun yang lalu·discuss
Yandex search is superior 100%. I use it too when I'm trying to reverse search for an image.