HackerTrans
TopNewTrendsCommentsPastAskShowJobs

vok

no profile record

Submissions

You can beat the binary search

lemire.me
360 points·by vok·3 ay önce·166 comments

The Music of the Spheres

smbc-comics.com
2 points·by vok·3 ay önce·1 comments

Foreign Language Training (National Foreign Affairs Training Center)

state.gov
2 points·by vok·10 ay önce·0 comments

Google Gemini earns gold medal in ICPC World Finals coding competition

arstechnica.com
5 points·by vok·10 ay önce·1 comments

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

phoronix.com
2 points·by vok·geçen yıl·1 comments

The Gentle Seduction

skyhunter.com
3 points·by vok·geçen yıl·1 comments

Kessel Run

kesselrun.af.mil
3 points·by vok·geçen yıl·0 comments

Tim Friede

en.wikipedia.org
1 points·by vok·geçen yıl·0 comments

Comparing Parallel Functional Array Languages: Programming and Performance

arxiv.org
91 points·by vok·geçen yıl·23 comments

Using Code Generation to Solve Open Instances of Combinatorial Design Problems

arxiv.org
2 points·by vok·geçen yıl·0 comments

The Unbearable Slowness of Being

arxiv.org
4 points·by vok·2 yıl önce·0 comments

Aider Is SOTA for Both SWE Bench and SWE Bench Lite

aider.chat
5 points·by vok·2 yıl önce·0 comments

Hamilton Technologies Inc

htius.com
2 points·by vok·2 yıl önce·0 comments

Masterpiece

lesswrong.com
2 points·by vok·2 yıl önce·0 comments

Drones are hit and miss for Ukrainian soldiers

reuters.com
2 points·by vok·2 yıl önce·0 comments

Poison Gas Hints at Potential for Life on an Ocean Moon of Saturn

nytimes.com
3 points·by vok·3 yıl önce·0 comments

Can Generalist Foundation Models Outcompete Special-Purpose Tuning? (Medical QA)

arxiv.org
2 points·by vok·3 yıl önce·0 comments

comments

vok
·11 ay önce·discuss
Corrected link: https://www.youtube.com/watch?v=nO9aot9RgQc
vok
·geçen yıl·discuss
https://www.smbc-comics.com/comic/version
vok
·geçen yıl·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 yıl önce·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 yıl önce·discuss
There's interesting discussion with the authors here: https://www.alphaxiv.org/abs/2408.10234
vok
·2 yıl önce·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 yıl önce·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 yıl önce·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 yıl önce·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
·3 yıl önce·discuss
Beautiful. Try typing:

2 3 + 4 5

in the upper-left, under "kyte/k".
vok
·3 yıl önce·discuss
There has been a programming competition for the Manchester Baby, producing some quite nice demos: http://curation.cs.manchester.ac.uk/digital60/www.digital60....