
Jules Jacobs
@JulesJacobs5
Followers
1K
Following
13K
Media
387
Statuses
8K
RT @splashcon: PLMW (@PLMentoring) is calling for student applications -- **Funding is available**. If you are a student interested in ICFP….
0
6
0
RT @andrasKovacs6: The TyDe 2025 submission deadline has been extended to 22 June. Please consider submitting! The workshop is in Singapore….
0
7
0
RT @galois: Congrats to Galois Research Engineer Ariel Kellison, who recently won the Frederick A. Howes Scholar in Computational Science A….
0
1
0
RT @SandMouth: [New Blog Post] A Python frozenset interpretation of Dependent Type Theory #typetheory #python #logic .
0
7
0
RT @jaredforsyth: we have full rewind & replay, including viewing live results of evaluation at every step 🎉 😎
0
4
0
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
RT @GeorgePirlea: 🚨 New tool & paper! 🚨 .We’re excited to introduce Veil, a framework for verifying distributed & concurrent systems both….
0
10
0
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
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.
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
RT @mathur_umang: Applications are still open for the PL mentoring workship at @PLDI 2025. Apply!.
0
4
0