BosqueLanguage Profile
BosqueLanguage

@BosqueLanguage

Followers
165
Following
233
Media
1
Statuses
234

Twitter account for the Bosque Development Platform. Tweets by Mark Marron.

Lexington, KY
Joined April 2019
Don't wanna be here? Send us removal request.
@BosqueLanguage
BosqueLanguage
9 days
RT @miike: New Galois blog: “Specifications Don’t Exist”. If we want to formally verify more systems, we need formal specifications, but mo….
0
9
0
@BosqueLanguage
BosqueLanguage
10 days
RT @smarr: The VMIL paper deadline is next week. Please submit abstracts already. We are looking forward to your work on language implemen….
0
3
0
@BosqueLanguage
BosqueLanguage
29 days
RT @headinthebox: Sneak peak at my next ACM Queue paper. The Universal Grammar of Computation: A Forty-Year Architectural Lineage from "B….
0
16
0
@BosqueLanguage
BosqueLanguage
1 month
RT @RajeevAlur: Looking forward to discuss the promise of neurosymbolic approaches to trustworthy AI at @NSF CISE
Tweet card summary image
nsf.gov
CISE Distinguished Lecture Series
0
5
0
@BosqueLanguage
BosqueLanguage
1 month
RT @jvanegue: The cat is out of the bag! Our very first @Bloomberg Infrastructure & Security Research Ph.D. Fellowship is just announced. C….
0
10
0
@BosqueLanguage
BosqueLanguage
1 month
RT @TechAtBloomberg: #CFP: Applications for Bloomberg’s 2025-2026 #Infrastructure & #Security Ph.D. #Fellowship are now being accepted. Su….
0
12
0
@BosqueLanguage
BosqueLanguage
2 months
RT @stevekrouse: I'm giving a talk in NY this Thurs, June 5. It's about vibe coding, and the future of programming. This is the hardest I'v….
0
5
0
@BosqueLanguage
BosqueLanguage
2 months
RT @CACMmag: "Systems Correctness Practices at Amazon Web Services," by @MarcJBrooker and @ankushpd, surveys the portfolio of formal method….
0
7
0
@BosqueLanguage
BosqueLanguage
2 months
RT @yminsky: I've been talking with @avsm about this, and he makes a cool point about OCaml and AI-assisted programming. Which is that OCam….
0
7
0
@BosqueLanguage
BosqueLanguage
2 months
RT @ankushpd: I am honored and excited to be giving a Keynote at the Runtime Verification (RV) conference. I will be talking about how runt….
0
1
0
@BosqueLanguage
BosqueLanguage
3 months
RT @IMDEA_Software: 🔍 Looking for a fully-funded research opportunity? IMDEA Software Institute offers 14 positions for research #interns &….
0
3
0
@BosqueLanguage
BosqueLanguage
4 months
This is a great perspective. The view that agents should generate "workflows" in code is something I agree with 100%. Gave a talk as Onward!, on work focused on a language for API/Data specs, with the same pitch (. I think you need a bit more than.
@headinthebox
Erik Meijer
4 months
Here is a draft version of "Guardians of the Agents: Formal Verification Of AI Workflows" [2], the third paper in my ongoing series on neural computers. As always comments and feedback is more than welcome. [0] Virtual Machinations: Using Large Language Models as Neural
Tweet media one
1
1
2
@BosqueLanguage
BosqueLanguage
4 months
RT @mchri5taki5: 📢We are opening 10 PhD positions at the Vienna University of Technology (@tu_wien) as part of our newly funded doctoral co….
0
10
0
@BosqueLanguage
BosqueLanguage
5 months
Well, got off track with blogging in the new year but trying to get things started again. New(ish) post up about first experiences with writing the Bosque compiler in Bosque itself. TLDR it is pretty nice.
1
0
1
@BosqueLanguage
BosqueLanguage
5 months
RT @_onurmutlu_: Working on memory systems, memory allocators, or other topics related to computer memory? . Please consider submitting you….
0
16
0
@BosqueLanguage
BosqueLanguage
6 months
RT @ipekozkaya: Join us in exploring how AI might transform end-to-end software systems development workflows at the Int Workshop on Envisi….
0
8
0
@BosqueLanguage
BosqueLanguage
6 months
RT @ankushpd: One of the key challenges that we mention is that basic ideas like deterministic simulation, property based testing, and glob….
0
22
0