HackerTrans
TopNewTrendsCommentsPastAskShowJobs

vok

no profile record

Submissions

You can beat the binary search

lemire.me
360 points·by vok·3 tháng trước·166 comments

The Music of the Spheres

smbc-comics.com
2 points·by vok·3 tháng trước·1 comments

Foreign Language Training (National Foreign Affairs Training Center)

state.gov
2 points·by vok·10 tháng trước·0 comments

Google Gemini earns gold medal in ICPC World Finals coding competition

arstechnica.com
5 points·by vok·10 tháng trước·1 comments

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

phoronix.com
2 points·by vok·năm ngoái·1 comments

The Gentle Seduction

skyhunter.com
3 points·by vok·năm ngoái·1 comments

Kessel Run

kesselrun.af.mil
3 points·by vok·năm ngoái·0 comments

Tim Friede

en.wikipedia.org
1 points·by vok·năm ngoái·0 comments

Comparing Parallel Functional Array Languages: Programming and Performance

arxiv.org
91 points·by vok·năm ngoái·23 comments

Using Code Generation to Solve Open Instances of Combinatorial Design Problems

arxiv.org
2 points·by vok·năm ngoái·0 comments

The Unbearable Slowness of Being

arxiv.org
4 points·by vok·2 năm trước·0 comments

Aider Is SOTA for Both SWE Bench and SWE Bench Lite

aider.chat
5 points·by vok·2 năm trước·0 comments

Hamilton Technologies Inc

htius.com
2 points·by vok·2 năm trước·0 comments

Masterpiece

lesswrong.com
2 points·by vok·2 năm trước·0 comments

comments

vok
·11 tháng trước·discuss
Corrected link: https://www.youtube.com/watch?v=nO9aot9RgQc
vok
·năm ngoái·discuss
https://www.smbc-comics.com/comic/version
vok
·năm ngoái·discuss
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 năm trước·discuss
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 năm trước·discuss
There's interesting discussion with the authors here: https://www.alphaxiv.org/abs/2408.10234
vok
·2 năm trước·discuss
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 năm trước·discuss
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 năm trước·discuss
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 năm trước·discuss
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.