BosqueLanguage
@BosqueLanguage
Followers
164
Following
234
Media
1
Statuses
238
Twitter account for the Bosque Development Platform. Tweets by Mark Marron.
Lexington, KY
Joined April 2019
RT @cgillum: Insightful article, "Why I'm Betting Against AI Agents in 2025 (Despite Building Them)": It definitel….
utkarshkanwat.com
I've built 12+ production AI agent systems across development, DevOps, and data operations. Here's why the current hype around autonomous agents is mathematically impossible and what actually works...
0
6
0
RT @miike: New Galois blog: “Specifications Don’t Exist”. If we want to formally verify more systems, we need formal specifications, but mo….
0
12
0
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
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
RT @RajeevAlur: Looking forward to discuss the promise of neurosymbolic approaches to trustworthy AI at @NSF CISE
nsf.gov
CISE Distinguished Lecture Series
0
5
0
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
RT @TechAtBloomberg: #CFP: Applications for Bloomberg’s 2025-2026 #Infrastructure & #Security Ph.D. #Fellowship are now being accepted. Su….
0
12
0
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
RT @CACMmag: "Systems Correctness Practices at Amazon Web Services," by @MarcJBrooker and @ankushpd, surveys the portfolio of formal method….
0
7
0
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
RT @TheDavisJam: My student @AmPaschal01 recently presented his work "ZTDJava" at @ICSEconf. He brought a new perspective to securing syst….
davisjam.medium.com
This is a brief for the research paper “ZTDJava: Mitigating Software Supply Chain Vulnerabilities with Zero-Trust Dependencies”, published…
0
2
0
RT @IMDEA_Software: 🔍 Looking for a fully-funded research opportunity? IMDEA Software Institute offers 14 positions for research #interns &….
0
3
0
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.
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
1
1
2
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
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
RT @_onurmutlu_: Working on memory systems, memory allocators, or other topics related to computer memory? . Please consider submitting you….
0
16
0
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
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