HackerTrans
TopNewTrendsCommentsPastAskShowJobs

vok

no profile record

Submissions

You can beat the binary search

lemire.me
360 points·by vok·3 เดือนที่ผ่านมา·166 comments

The Music of the Spheres

smbc-comics.com
2 points·by vok·3 เดือนที่ผ่านมา·1 comments

Foreign Language Training (National Foreign Affairs Training Center)

state.gov
2 points·by vok·10 เดือนที่ผ่านมา·0 comments

Google Gemini earns gold medal in ICPC World Finals coding competition

arstechnica.com
5 points·by vok·10 เดือนที่ผ่านมา·1 comments

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

phoronix.com
2 points·by vok·ปีที่แล้ว·1 comments

The Gentle Seduction

skyhunter.com
3 points·by vok·ปีที่แล้ว·1 comments

Kessel Run

kesselrun.af.mil
3 points·by vok·ปีที่แล้ว·0 comments

Tim Friede

en.wikipedia.org
1 points·by vok·ปีที่แล้ว·0 comments

Comparing Parallel Functional Array Languages: Programming and Performance

arxiv.org
91 points·by vok·ปีที่แล้ว·23 comments

Using Code Generation to Solve Open Instances of Combinatorial Design Problems

arxiv.org
2 points·by vok·ปีที่แล้ว·0 comments

The Unbearable Slowness of Being

arxiv.org
4 points·by vok·2 ปีที่แล้ว·0 comments

Aider Is SOTA for Both SWE Bench and SWE Bench Lite

aider.chat
5 points·by vok·2 ปีที่แล้ว·0 comments

Hamilton Technologies Inc

htius.com
2 points·by vok·2 ปีที่แล้ว·0 comments

comments

vok
·11 เดือนที่ผ่านมา·discuss
Corrected link: https://www.youtube.com/watch?v=nO9aot9RgQc
vok
·ปีที่แล้ว·discuss
https://www.smbc-comics.com/comic/version
vok
·ปีที่แล้ว·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 ปีที่แล้ว·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 ปีที่แล้ว·discuss
There's interesting discussion with the authors here: https://www.alphaxiv.org/abs/2408.10234
vok
·2 ปีที่แล้ว·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 ปีที่แล้ว·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 ปีที่แล้ว·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 ปีที่แล้ว·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.