Tai Le

A problem solver, developer, chef, bookworm and (hopefully soon), a pianist.

[Tai Le @letientai299]

Hi @jeremyWohlwend, may I know what are the license for the boltz evaluation dataset download from this Google Drive https://t.co/IiNqfql2Jk? Is it also using MIT License like the boltz repo?

[Tai Le @letientai299]

My AI agents write tons of markdown (research, design, code reviews) with diagrams. I can read plain markdown, but not diagrams. So I built dirsv. One Go binary, live previews Github/Gitlab/ADO flavored markdown and many other things.
https://t.co/BGktfqq8QA

[Tai Le @letientai299]

I’ve open-sourced https://t.co/D7a70Utw4r. It solves two problems

- Discussions vanish between chat sessions -> move to files, build an auditable trails of decisions.
- Bad behave (hallucinate, suppress lint warnings) -> comprehensive task-based rules, workflows.

Enjoy.

[Tai Le @letientai299]

@LinkedIn I turn coffee into code.

[Tai Le @letientai299]

To any one interesting in the Level 5 problem of Google Foobar, which took me 20 days to solve, I wrote about it here:

https://t.co/NXnHvatcS6

[Tai Le @letientai299]

God damn it. I finally pass all test cases for Foobar Level 5.

[Tai Le @letientai299]

God damn it. I finally pass all test cases for Foobar Level 5.

[Tai Le @letientai299]

Learning group theory right now, to fucking solve Google Foobar level 5.

[Tai Le @letientai299]

@haysstanford I love vim

[Tai Le @letientai299]

Learning group theory right now, to fucking solve Google Foobar level 5.

[Tai Le @letientai299]

@nixcraft If everyone just "continue from where they stopped", the communication wil be much clearer.

[Tai Le @letientai299]

I'm learning C again after working with Go in the past 2 years. Just 2 weeks in it and I'm already see too many foot guns in C.

[Tai Le @letientai299]

@Chau_codes Related:

https://t.co/nOzTEFXcZx

[Tai Le @letientai299]

@davidcrawshaw And that is?

[Tai Le @letientai299]

@GoLandIDE, I often mistype "goland" as "gold" in Spotlight Search and it understand what I mean. That's how good you are.

[Tai Le @letientai299]

TIL about https://t.co/MyBmnELDMe, a OSS tool for text expansion, which will be very helpful for typing frequently used words.

[Tai Le @letientai299]

@v_language What is ths trade off? How will the startup time be affected?

[Tai Le @letientai299]

@v_language I don't like way comma is used in the expression.
To the voters for repeat expression, what in your opinion make it better than the function call?

[Tai Le @letientai299]

Heisenbug is accepted as the hardest type of bug, because, by definition, it's computer bug that disappears or alters its characteristics when an attempt is made to study it. And here's a list of such bugs.

https://t.co/oLopr2vt8H

[Tai Le @letientai299]

#TIL you can recover from `git reset --hard` using `git fsck --lost-found` if you did `git add` before :D

[Tai Le @letientai299]

TIl I learned that "iff" is not a typo. It means "if and only if".

I was about to submit a PR to fix this "typo" in https://t.co/4FL0Z9mlzr :))

[Tai Le @letientai299]

TIL that vim has an options to replace file inode on every saving to ensure that the file won't be partially saved. And that break logging mechanism during edit log file (remove unwanted line).

https://t.co/890vtf6Tiy