HackerTrans
トップ新着トレンドコメント過去質問紹介求人

vok

no profile record

投稿

You can beat the binary search

lemire.me
360 ポイント·投稿者 vok·3 か月前·166 コメント

The Music of the Spheres

smbc-comics.com
2 ポイント·投稿者 vok·3 か月前·1 コメント

Foreign Language Training (National Foreign Affairs Training Center)

state.gov
2 ポイント·投稿者 vok·10 か月前·0 コメント

Google Gemini earns gold medal in ICPC World Finals coding competition

arstechnica.com
5 ポイント·投稿者 vok·10 か月前·1 コメント

Performance and Power of the Low-Cost EPYC 4005 vs. Original EPYC 7601 Zen 1

phoronix.com
2 ポイント·投稿者 vok·昨年·1 コメント

The Gentle Seduction

skyhunter.com
3 ポイント·投稿者 vok·昨年·1 コメント

Kessel Run

kesselrun.af.mil
3 ポイント·投稿者 vok·昨年·0 コメント

Tim Friede

en.wikipedia.org
1 ポイント·投稿者 vok·昨年·0 コメント

Comparing Parallel Functional Array Languages: Programming and Performance

arxiv.org
91 ポイント·投稿者 vok·昨年·23 コメント

Using Code Generation to Solve Open Instances of Combinatorial Design Problems

arxiv.org
2 ポイント·投稿者 vok·昨年·0 コメント

The Unbearable Slowness of Being

arxiv.org
4 ポイント·投稿者 vok·2 年前·0 コメント

Aider Is SOTA for Both SWE Bench and SWE Bench Lite

aider.chat
5 ポイント·投稿者 vok·2 年前·0 コメント

Hamilton Technologies Inc

htius.com
2 ポイント·投稿者 vok·2 年前·0 コメント

コメント

vok
·11 か月前·議論
Corrected link: https://www.youtube.com/watch?v=nO9aot9RgQc
vok
·昨年·議論
https://www.smbc-comics.com/comic/version
vok
·昨年·議論
Well, o3-mini-high just successfully found the root cause of a seg fault that o1 missed: mistakenly using _mm512_store_si512 for an unaligned store that should have been _mm512_storeu_si512.
vok
·2 年前·議論
I think that "Good Forth programmers arrange things so that they flow on the stack" has analogs in other languages. For example, arranging things in J so that short tacit expressions naturally provide the functions you need.
vok
·2 年前·議論
There's interesting discussion with the authors here: https://www.alphaxiv.org/abs/2408.10234
vok
·2 年前·議論
This "Computer use" demo:

https://www.youtube.com/watch?v=jqx18KgIzAE

shows Sonnet 3.5 using the Google web UI in an automated fashion. Do Google's terms really permit this? Will Google permit this when it is happening at scale?
vok
·2 年前·議論
With the right font (e.g. http://viznut.fi/unscii/) and line spacing, braille characters work fine with an even distribution of pixels and no gaps.
vok
·2 年前·議論
These strategies seem immediately practical. If you want to go beyond zero-shot for LLM coding, you may not need a complicated agent architecture - just start with escalation, retry, and warming.
vok
·2 年前·議論
APPS has 3 subsets by difficulty level: introductory, interview, and competition. It isn't clear which subset Claude 3 was benchmarked on. Even if it is just "introductory" it is still pretty good, but it would be good to know.