Filter
Exclude
Time range
-
Near
Jacek (Jomsborg.eth) retweeted
If you had no chance to learn from Tim Roughgarden, please do. The clarity of his lectures is top noch. I saw Technion Univ on knees.
Jun 12
jane street, two sigma, man group put their actual code on github 22 repos from firms running $200 billion combined - all public, all free nobody's talking about this because nobody thought to check what's in those repos isn't just tooling - it's their mental model these firms don't ask "will price go up?" they model markets as adversarial games - every participant simultaneously optimizing against every other that's why their signals hold - retail's don't two sigma's repo covers how they structure and clean data at scale man group's work spans signal generation, portfolio construction, factor models jane street's tools teach probability and microstructure exactly how their quants think this is game theory applied to markets - nash equilibria, auction dynamics, opponent modeling not chart patterns or indicator crossovers code is free, frameworks in public repos, math in every probability textbook Bookmark before it gets buried retail paid for courses on same stuff these firms gave away information gap was never intelligence, just knowing where to look
1
2
40
Replying to @timelessdev
The latest news is that these ideas are transforming machine learning, AI, blockchain, and other crypto currency technologies.
6
276
Not really; just had the resources to try Qwen3.6 27B and wanted to explore the idea
1
9
3,662
no rush, disable the skill if not helpful
2
582
... Nobel for exoplanets was for 1995, while Wolszczan was first in 1992: en.wikipedia.org/wiki/Exopla… Sadly these awards are also for soft power ... while Poland just doesn't care.
2
31
Awards require some action, while seems Poland does nothing - like for Trautman, Wolszczan, Ekert ... only for neighboring in en.wikipedia.org/wiki/Timeli…
1
2
71
Replying to @timelessdev
select a source for which you have the tex and let your coding agent set up a Lean repo as explained in repoprover readme
1
2
587
It's on Mars.
2
24
Specs are outputs that capture the current state. Progress is measured by how intent is resolved into bounded execution and verifiable outcomes, not by maintaining documents.
2
14
Replying to @timelessdev
Not quite! But Chapter 8 should be added to the early access any day now (just submitted it last week)
1
1
353
może jakiś polski krab - rak nieborak z bielikiem;-)
2
11
Similar semantics to TLA , to my taste better syntax, better devex, very active community. Highly recommended
3
73
How come you chose quint as your language over other formal languages? (I dunno anything about them, so I'm just wondering, for my own future work).
1
2
71
No, we use model based testing against our quint spec with quint connect, differential fuzz testing against an in-memory implementation, and a set of predefined state transition tests. but no proof
1
6
219
Replying to @timelessdev
To też się dzieje, np. Warto śledzić polski startup molecule.one/

3
409
Mine is untouched :)
2
8
04.03 ma być walne zgromadzenie, więc pewnie po tej dacie będzie już wszystko wiadome.
2
7
what are you hinting at? he said not necessarily better at raw arithmetic. which is true.
3
51