HackerTrans
TopNewTrendsCommentsPastAskShowJobs

vok

no profile record

Submissions

You can beat the binary search

lemire.me
360 points·by vok·il y a 3 mois·166 comments

The Music of the Spheres

smbc-comics.com
2 points·by vok·il y a 3 mois·1 comments

Foreign Language Training (National Foreign Affairs Training Center)

state.gov
2 points·by vok·il y a 10 mois·0 comments

Google Gemini earns gold medal in ICPC World Finals coding competition

arstechnica.com
5 points·by vok·il y a 10 mois·1 comments

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

phoronix.com
2 points·by vok·l’année dernière·1 comments

The Gentle Seduction

skyhunter.com
3 points·by vok·l’année dernière·1 comments

Kessel Run

kesselrun.af.mil
3 points·by vok·l’année dernière·0 comments

Tim Friede

en.wikipedia.org
1 points·by vok·l’année dernière·0 comments

Comparing Parallel Functional Array Languages: Programming and Performance

arxiv.org
91 points·by vok·l’année dernière·23 comments

Using Code Generation to Solve Open Instances of Combinatorial Design Problems

arxiv.org
2 points·by vok·l’année dernière·0 comments

The Unbearable Slowness of Being

arxiv.org
4 points·by vok·il y a 2 ans·0 comments

Aider Is SOTA for Both SWE Bench and SWE Bench Lite

aider.chat
5 points·by vok·il y a 2 ans·0 comments

Hamilton Technologies Inc

htius.com
2 points·by vok·il y a 2 ans·0 comments

Masterpiece

lesswrong.com
2 points·by vok·il y a 2 ans·0 comments

Drones are hit and miss for Ukrainian soldiers

reuters.com
2 points·by vok·il y a 2 ans·0 comments

comments

vok
·il y a 11 mois·discuss
Corrected link: https://www.youtube.com/watch?v=nO9aot9RgQc
vok
·l’année dernière·discuss
https://www.smbc-comics.com/comic/version
vok
·l’année dernière·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
·il y a 2 ans·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
·il y a 2 ans·discuss
There's interesting discussion with the authors here: https://www.alphaxiv.org/abs/2408.10234
vok
·il y a 2 ans·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
·il y a 2 ans·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
·il y a 2 ans·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
·il y a 2 ans·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.
vok
·il y a 3 ans·discuss
Beautiful. Try typing:

2 3 + 4 5

in the upper-left, under "kyte/k".