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·قبل سنتين·0 comments

Aider Is SOTA for Both SWE Bench and SWE Bench Lite

aider.chat
5 points·by vok·قبل سنتين·0 comments

Hamilton Technologies Inc

htius.com
2 points·by vok·قبل سنتين·0 comments

Masterpiece

lesswrong.com
2 points·by vok·قبل سنتين·0 comments

Drones are hit and miss for Ukrainian soldiers

reuters.com
2 points·by vok·قبل سنتين·0 comments

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

nytimes.com
3 points·by vok·قبل 3 سنوات·0 comments

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

arxiv.org
2 points·by vok·قبل 3 سنوات·0 comments

The Dawn of LMMs: Preliminary Explorations with GPT-4V(ision)

arxiv.org
1 points·by vok·قبل 3 سنوات·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
·قبل سنتين·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
·قبل سنتين·discuss
There's interesting discussion with the authors here: https://www.alphaxiv.org/abs/2408.10234
vok
·قبل سنتين·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
·قبل سنتين·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
·قبل سنتين·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
·قبل سنتين·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 سنوات·discuss
Beautiful. Try typing:

2 3 + 4 5

in the upper-left, under "kyte/k".
vok
·قبل 3 سنوات·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....
vok
·قبل 3 سنوات·discuss
Related: https://news.ycombinator.com/item?id=36486490