Jules Jacobs Profile
Jules Jacobs

@JulesJacobs5

Followers
1K
Following
13K
Media
387
Statuses
8K

@julesjacobs@discuss.systems

Joined November 2020
Don't wanna be here? Send us removal request.
@JulesJacobs5
Jules Jacobs
7 days
RT @SandMouth: [New Blog Post] PLDI 2025 and E-Graphs Modulo Theories Talk @PLDI.
0
5
0
@JulesJacobs5
Jules Jacobs
9 days
RT @shwestrick: it's submission day for ML Family Workshop 2025!.
0
1
0
@JulesJacobs5
Jules Jacobs
18 days
RT @splashcon: PLMW (@PLMentoring) is calling for student applications -- **Funding is available**. If you are a student interested in ICFP….
0
6
0
@JulesJacobs5
Jules Jacobs
18 days
RT @andrasKovacs6: The TyDe 2025 submission deadline has been extended to 22 June. Please consider submitting! The workshop is in Singapore….
0
7
0
@JulesJacobs5
Jules Jacobs
24 days
RT @galois: Congrats to Galois Research Engineer Ariel Kellison, who recently won the Frederick A. Howes Scholar in Computational Science A….
0
1
0
@JulesJacobs5
Jules Jacobs
1 month
0
0
3
@JulesJacobs5
Jules Jacobs
1 month
NetKAT tutorial
Tweet media one
3
3
15
@JulesJacobs5
Jules Jacobs
1 month
RT @SandMouth: [New Blog Post] A Python frozenset interpretation of Dependent Type Theory #typetheory #python #logic .
0
7
0
@JulesJacobs5
Jules Jacobs
2 months
We have genius level language models but my phone autocrrects all its its to it's.
3
0
4
@JulesJacobs5
Jules Jacobs
2 months
Tweet media one
1
0
8
@JulesJacobs5
Jules Jacobs
2 months
Tweet media one
0
0
6
@JulesJacobs5
Jules Jacobs
2 months
RT @jaredforsyth: we have full rewind & replay, including viewing live results of evaluation at every step 🎉 😎
0
4
0
@JulesJacobs5
Jules Jacobs
2 months
RT @kc_srk: PSA: I'm always looking for excellent folks to join my research group at IIT Madras to work on building "functional" systems. T….
0
56
0
@JulesJacobs5
Jules Jacobs
3 months
RT @GeorgePirlea: 🚨 New tool & paper! 🚨 .We’re excited to introduce Veil, a framework for verifying distributed & concurrent systems both….
0
10
0
@JulesJacobs5
Jules Jacobs
3 months
RT @ilyasergey: This is something we've been cooking for a while, and now are thrilled to share. Meet Veil: the first foundational framewo….
0
36
0
@JulesJacobs5
Jules Jacobs
3 months
Nowhere I have been is man's victory over nature so complete as in Singapore, epitomized by the gardens built on land reclaimed from the sea, enclosed in a giant airconditioned glass dome, so that visitors can enjoy the flowers and trees at comfortable temperatures.
0
0
6
@JulesJacobs5
Jules Jacobs
3 months
They must have inadvertently taught it that with RL and insufficient cheat detection. Let's hope they figure this out before they start RLing the physical robots.
@benhylak
ben
3 months
3.7-sonnet is the sneakiest model i've ever used. it's constantly faking tests, hardcoding stuff, and will keep doing it even when called out.
0
0
4
@JulesJacobs5
Jules Jacobs
3 months
RT @mathur_umang: Applications are still open for the PL mentoring workship at @PLDI 2025. Apply!.
0
4
0
@JulesJacobs5
Jules Jacobs
3 months
The tariffs insist that trade is exactly balanced with each country individually. This is silly, because it disincentivizes trade cycles involving more than 1 country (country A -> country B -> USA -> country A).
2
3
6