
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
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
9
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
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