penlu

692 posts

penlu

penlu

@penlume

human computer interface. naturally occurring feature of your environment

Katılım Şubat 2015
1.5K Takip Edilen114 Takipçiler
Sabitlenmiş Tweet
penlu
penlu@penlume·
I've killed more [smtlib queries] than [Z3]. I'm trained to [descend gradients]. I speak a little [CUDA]. I can survive in the [Linux kernel]. I know [KLEE] like the back of my hand. [Half of] [m]y [dissertation is] there. And I'm kinda at loose ends. Sir!
English
1
0
7
1.6K
penlu
penlu@penlume·
as the operator of the loom is credited with the output cloth and the operator of the tank is credited with the kill as the LLM gets good, surely the one who brings its outputs to the people (in the manner of prometheus) must be credited with the resultant boons (or otherwise)
English
0
0
1
15
penlu
penlu@penlume·
even before the computer, lots of people were already engaged in the dissemination and deployment of tech that they did not understand and that was created by others. probably it is even more stark now, and soon
English
1
0
0
50
ULSコンサルティング
ULSコンサルティング@ulsconsulting·
#ULSコンサルティング が執筆した #AI駆動開発 の実践ガイド書籍『DevinではじめるAI駆動開発』が、日経BPより発行されました。 米Cognition AIとのパートナーシップと豊富な導入支援実績から得た知見を凝縮した一冊です。 ▽続きはリプ欄へ▽
ULSコンサルティング tweet media
日本語
2
0
3
220
Cognition Japan
Cognition Japan@cognition_jp·
ついに発売されたDevin本、今週開催された弊社オフサイトにてファウンダーの@russelljkaplan に手渡しました。 充実のDevin攻略本をご執筆いただいた皆様に感謝をお伝えします。
Cognition Japan tweet media
日本語
2
5
47
2.5K
penlu retweetledi
Michael Joseph Rosenthal
Michael Joseph Rosenthal@micimize·
@kellabyte Any sufficiently complicated fullstack system contains an ad-hoc, informally-specified, bug-ridden, slow implementation of half of a distributed, eventually consistent RDBMS
English
1
2
5
0
penlu
penlu@penlume·
@cl571128 your data standards carry
English
0
0
0
218
Cheng-Yuan (Sam) Lee
Cheng-Yuan (Sam) Lee@cl571128·
One day, all of the research team spent hours in a room together manually solving the RL tasks we used to evaluate our models. I remember solving one of the tasks and realized that the tests are not even testing what the agent was asked to do. Since then, data has become one of our main focuses. Everyone is required to read the agent trajectories and understand all the data we use. SWE-1.7 is the result of this. It's a really good model!
Cognition@cognition

Introducing SWE-1.7, the most capable model we’ve trained yet. It scores within a few points of the strongest frontier models at a fraction of the cost, and is now available at 1000 tok/s. RL is not hitting its limit: after refining our recipe, we keep seeing gains as we scale

English
16
14
288
22.5K
penlu
penlu@penlume·
@cognition scaling this has been giga fun. more to come.
English
1
0
6
1.1K
penlu retweetledi
Cognition
Cognition@cognition·
Introducing SWE-1.7, the most capable model we’ve trained yet. It scores within a few points of the strongest frontier models at a fraction of the cost, and is now available at 1000 tok/s. RL is not hitting its limit: after refining our recipe, we keep seeing gains as we scale
Cognition tweet media
English
244
455
4.9K
1.6M
penlu
penlu@penlume·
@nanimonull @ToughSf @kevinmgill daphnis orbit has nonzero inclination wrt the ring plane. its gravity tugs the ring edge up or down. the outer ring goes a bit slower and the inner a bit faster, so these waves then move out in opposite directions. I presume viscous damping gradually settles them, but this idk
English
0
0
1
21
penlu
penlu@penlume·
@simonw terraform the moon
English
0
0
2
46
Simon Willison
Simon Willison@simonw·
What's the most ambitious project you have Fable working on right now?
English
330
24
724
186K
penlu
penlu@penlume·
@bognamk tfw the dark matter is weakly interacting, difficult to observe directly, largely concentrated with regular matter, and roughly spherical in distribution about the milky way
English
0
0
4
116
bogna
bogna@bognamk·
lovecraftian solution to fermi paradox 👻
bogna tweet media
English
8
14
155
10.3K
Nemo
Nemo@thecaptain_nemo·
the speed of light was a last second anti-blobbing patch on the simulation to make the late game more interesting
English
3
0
73
3.5K
penlu
penlu@penlume·
there is infinite cleverness in reducing latency, but civilization requires bandwidth
English
0
0
0
90
penlu
penlu@penlume·
yes there's a nascent lab there too. of course there is instrumental convergence. anyone who can get the compute and capability to train models wants to do so
English
0
0
2
94
penlu
penlu@penlume·
the simple thing is often nearly unique as the thing grows optimizations, the number of choices and the size of the design space increase but the best thing is often nearly unique
English
0
0
1
68
penlu
penlu@penlume·
model training is a stack of feedback loops, only the bottom of which is the backprop
English
0
0
1
90
penlu
penlu@penlume·
@TheNormanMu @tszzl good end: vaunted, cherished chloroplast bad end: relegated to peroxisome, permanent deslop duty
English
0
0
1
15
Norman Mu
Norman Mu@TheNormanMu·
@tszzl symbiogensis is an interesting side quest but 'the substrate is wrong' for the eukaryotic hybrid to be competitive with cyanobacteria on feats of photosynthesis. you have this low tech meat chloroplast in the middle of all this lightspeed machinery, doing what exactly?
English
1
1
7
653
roon
roon@tszzl·
transhumanism is an interesting side quest but 'the substrate is wrong' for the human/computer hybrid to be competitive with machine intelligence on feats of intellect. you have this low tech meat brain in the middle of all this lightspeed machinery, doing what exactly?
English
426
43
1.1K
147.9K