txhwind

no profile record

comments

This is the first shoelace knot my parents taught me. We call it "butterfly knot". It's always my default choice with muscle memory, unless the shoelace is not long enough to create the "bufferfly wings". It's secured enough for daily use, and easy to release. Also the best choice for apron knot.

txhwind

bulan laludiscuss

Does the official relay server cost a lot on network?

txhwind

bulan laludiscuss

Very nice! an open-sourced alternative of Codex Remote Control, allowing full customization

txhwind

bulan laludiscuss

I prefer synthetic dataset since the first day hearing distillation. The engineering friction is much lower than soft logits, and I have not observed or heard performance loss (in Speech and language area).

txhwind

bulan laludiscuss

Could you share some latest articles or papers comparing both methods, especially on lanuage modelling case? I was not conviced by this claim when reading the original Knowledge Distillation paper. ChatGPT said there are some later works showing: 1. the gain may come from label smoothing; 2. soft logits are more meaningful for students much smaller than teacher.

txhwind

2 bulan yang laludiscuss

How is the water animation implemented?

txhwind

2 bulan yang laludiscuss

I'm curious on the use of rsync in version control. What's the source and destination?

txhwind

2 bulan yang laludiscuss

now we may have a more powerful "Prolog" - LLM Agent, though not precise and correct somtimes.

txhwind

2 bulan yang laludiscuss

I really hate modern time schedule. It's nightmare to be forced to get up 6am or 7am every workday since childhood. The only relief is natural wakeup on weekend.

txhwind

2 bulan yang laludiscuss

another "obscurity": I'm not valuable enough to be attacked, compared with the cost. But what if cost has been reduced a lot?

txhwind

2 bulan yang laludiscuss

Fucking abbreviations. Who knows it's DeepSeek, Dark Souls or DualShock? All possible on HN.

txhwind

3 bulan yang laludiscuss

The proof will be more friendly to nowadays programmers if we treat all "Gödel numbers" as bytecode of a programming language. It's trivial that functions like "prove" and "subst" can be implemented based on abilities like bytecode parsing and expression tree manipulation.