BosqueLanguage @BosqueLanguage
Twitter account for the Bosque Development Platform. Tweets by Mark Marron. github.com/BosqueLanguage… Lexington, KY Joined April 2019-
Tweets119
-
Followers161
-
Following28
-
Likes126
We blogged about Type Spec: "Introducing TypeSpec: A New Language for API-Centric Development" typespec.io/blog/2024-04-2…
Should programming be more than "Blindly Manipulating Symbols" and "Writing Dead Programs"? If you think so, join us at LIVE, the world's premier gathering on live programming! liveprog.org Submissions are due July 7th. Check out the FAQ or lmk if you have Qs! 🙏
The submission site for R2 of #ECOOP24 is open for both resubmissions from R1 🔄 and new submissions ✨ ecoop24.hotcrp.com Good luck to everyone submitting or resubmitting! 🍀 🔔 Deadlines 📅 Research Papers: April 17 Artifacts: April 23
Time to submit to SAS24!!!!!!!! 2024.splashcon.org/home/sas-2024
Our team in Cambridge is looking to recruit two postdoc researchers to work in the space of Security/Privacy/Systems/PL. It's a great team to work in with a massive potential for impact. You also get @markrussinovich as your (skip-)skip-level manager as an added bonus. (1/4)
Heard we (@UniKentComp)'ve 4 PhD scholarships. No details yet, but it's likely "short notice" for applications. If you know someone who's into Programming Languages and is interested in going deep, check our list of suggested topics: research.kent.ac.uk/programming-la… #phd #funding
Utc+X is not a timezone, it's an offset. Tz names like EST are ambiguous A minute isn't always 60 seconds A day isn't always 24 hours A day from now and 24 hours from now mean something different Some times are invalid or ambiguous Some tzs have fractional offsets
@DominikTornow This is not really true. If you record the choices that were taken during non deterministic simulation, you can repro the bugs. That is what most model checkers and systematic testing tools have been doing.
Please consider submitting a paper to ISMM 2024! It's a great conference with many innovations in memory management; particularly great ideas in GC have been published there. Also, the community is welcoming and fun. It's co-located with PLDI as always. conf.researchr.org/home/ismm-2024
Looking at the TLA+ spec for Raft feels like cheating. There's almost nothing cryptic about this. I'm just porting code from one language to another. Where's the ambiguity of prose? github.com/ongardie/raft.…
Just a reminder that the deadline for the IDE workshop, co-located with @ICSEconf 2024, is in two weeks (December, 7th). Anything related to IDEs, 4+1 pages short papers, 1 or 2+1 pages position papers. Let's build the coolest community together! All info: ide-workshop.github.io
It's research intern application season at MSR. Come work with us at RiSE! jobs.careers.microsoft.com/global/en/job/…
If you wish to nominate yourself to serve on the ISSTA/ECOOP’24 Tool Demos PC, please fill in this Google Form by December 1, 2023: docs.google.com/forms/d/e/1FAI… @moarbugs
📢ISSTA accepts technical paper submissions. Get your research and experience papers, and replicability studies ready! You can submit in 2 rounds: 🗓 Dec 15, 2023 🗓 Apr 12, 2024 More info: tinyurl.com/issta24-cfp Submission site: issta2024.hotcrp.com
#SAS2024 will be co-located with #SPLASH2024, see you next year in Pasadena!
On my way to LCPC lcpcworkshop.org/LCPC23/prog.ht…. Looking forward to a great conference and the latest in parallel programming and languages!
Seriously, it would be difficult to find better opportunities than the one that involves Excel, Python, and AI. @AndrewDGordon's team is well-connected with the Excel product group and also collaborates with several other research teams including ours. Consider applying!
Seriously, it would be difficult to find better opportunities than the one that involves Excel, Python, and AI. @AndrewDGordon's team is well-connected with the Excel product group and also collaborates with several other research teams including ours. Consider applying!
Symbolic Automata: ω-Regularity Modulo Theories Margus Veanes, Thomas Ball, Gabriel Ebner, Olli Saarikivi. arxiv.org/abs/2310.02393
Alice @BrandyTayl261
3 Followers 795 FollowingMatthew Parkinson @ParkyMatthew
575 Followers 554 Following Working at Microsoft Research on various programming language things.Pepijn van den Broek @pepijn_98
16 Followers 255 Following Love building websites, android apps and useless APIs. I mainly use Go, TS, Kotlin and want to learn Rust/ZigBrian Terlson @bterlson
7K Followers 714 Following TypeSpec, JavaScript, TypeScript, Azure Bluesky: @b.trl.snErivelton de Andrade @EriveltondeAndr
119 Followers 334 FollowingRytis @rytis_a
357 Followers 736 Following @[email protected] Developer, 🌹 @ #Vilnius, #Lithuania 🇱🇹. He/him | #BLM | ⬜🟥⬜| 🇺🇦Lucas Kramer @lrkramer5
86 Followers 1K Following Catholic | PhD student at @UMNComputerSci with @MELTgroup | Somewhat obsessed with spaceSean Jensen-Grey 🇺.. @seanjensengrey
516 Followers 5K FollowingAlec @alecgargett
2 Followers 31 FollowingPantazis Deligiannis @pdeligia
165 Followers 343 Following Principal Research Engineer @MSFTResearch building a neurosymbolic AI engine for automating software engineering tasks • PhD @ImperialCollege • opinions my ownGudmund @gudmvatn
151 Followers 2K FollowingJeff Pierson @JeffreyHPierson
218 Followers 262 FollowingSadhGerson @KWijzer
76 Followers 2K Following Psychological turmoil precipitated a transformative, awakening experience or state that unfortunately lasted for only a few weeks.||| Ⓦ | P | @Dlt_hpc
167 Followers 770 Following Opinions are my own | Banker during the day, at night a programming and DLT enthusiast |REGnosys @REGnosys
259 Followers 257 Following Comply better, faster, cheaper - together. REGnosys is a collaborative low-code platform for regulated financial institutions. #RegTech #ReportingMichael Rätzel @michael_raetzel
128 Followers 64 Following Creator of @PineVM, making software development enjoyable and sustainable 🌿blaap @blaap
195 Followers 2K FollowingImmad Naseer @immadnaseer
77 Followers 144 Following Principal Software Engineer @Azure • Leading and educating teams in building reliable distributed services@[email protected] @lemmster
1K Followers 575 Following Principal Research Software Engineer at Microsoft ResearchDariush @Dariush1122
147 Followers 400 Following اینجا از زندگی مینویسم و برای سرزمینم ایران . بنا ندارم از نوشتن در راه آزادی و آبادی وطنم بهراسم -فعال در صنعت فناوری اطلاعاتMarcus Edwards @comp_phys_mark
787 Followers 3K Following Christian. PhD student @ECEUBC. Former Software Engineer @TeamPhotonic. MSc - Quantum Info Sci @UWaterloo. BSc - CS and Physics @Laurier. Views my own.Deepak Raj H R @the_slow_one
38 Followers 150 FollowingKamil Adam WriteOnly .. @TheKamilAdam
796 Followers 3K Following rosję należy odciąć od wszystkiego, a putina od tlenu . Haskell, Rust and Scala Software Enginerejor @ejor
27 Followers 522 FollowingYann Achard @achard_y
22 Followers 34 FollowingHenno van Arkel @hennovanarkel
167 Followers 2K Following @[email protected] Hacker. Dutchie lost in the High Desert. Opinions my own. He/him. 🇳🇱 🇪🇸 🇺🇸Jonathan Rovieri @jrovieri
6 Followers 46 FollowingMichael Leonard @beachhutdev
51 Followers 2K FollowingIvo Balbaert @CVOAZRuby
29 Followers 24 FollowingAnders Holmgren @andersmholmgren
217 Followers 2K Followingalexod @alexod
7 Followers 569 FollowingJithin Mathew @jithinkmatthew
470 Followers 4K FollowingJosé Abel @Jose_Abel34
162 Followers 856 FollowingDominic Savoie @pHzBox
107 Followers 320 FollowingJon Kleiser @jkleiser
76 Followers 133 Following@[email protected] --lea.. @orta
21K Followers 2K Following @[email protected] - Not responding here. Working on @PuzzmoToday. Ex @TypeScript. Ex-@ArtsyOpenSource. Paranoid with @DangerSystems. Aphantasic. He/Him.Hoang NQ @hoangnq3004
6 Followers 161 Following Fullstack Dev ▫️ ReactNative mobile - React frontend - NodeJS & PHP backend ▫️ Learning GoISMM @ISMMconf
113 Followers 0 Following The ACM SIGPLAN International Symposium on Memory Management. Tuesday 25 June 2024, Copenhagen, Denmark. Hashtag #ISMM24. Tweets by @stevemblackburn.Ben Zorn (he/him) @be.. @benzorn
2K Followers 864 Following Partner Researcher, RiSE group, Microsoft Research, Redmond. Interests include programming languages, spreadsheets, responsible AI, generative AI, CRA-Industry.@[email protected] @lemmster
1K Followers 575 Following Principal Research Software Engineer at Microsoft ResearchMatthew Parkinson @ParkyMatthew
575 Followers 554 Following Working at Microsoft Research on various programming language things.Formal Methods 2024 @FMsymp
598 Followers 256 Following The 26th International Symposium on Formal Methods. #FM2024Ankush Desai @ankushpd
881 Followers 759 Following Scientist @AWS. Formal methods, systematic testing, fuzzing applied to distributed systems. Creator of P : https://t.co/Xnbk9a6xUwSumit Gulwani @SumitGulwani
2K Followers 332 Following Inventor of @msExcel Flash Fill. Scientist @MSFTResearch leading @ProseMSFT (Program synthesis, AI4Code). Connecting ideas, people, and research & practice. DadCAV @confCAV
655 Followers 0 Following 36th International Conference on Computer-Aided Verification. July 22-27, 2024 in Montréal 🇨🇦. Publicity Co-Chairs: @NorineCoenen & @frenkel_hadar. Use #cav24MPLR @MPLR_Conf
331 Followers 162 Following International Conference on Managed Programming Languages & Runtimes (MPLR'23). Official hashtag: #MPLR23VMIL Workshop at SPLA.. @VMIL2024
227 Followers 222 Following Virtual Machines and Language Implementations. Co-located with SPLASH'24.Pantazis Deligiannis @pdeligia
165 Followers 343 Following Principal Research Engineer @MSFTResearch building a neurosymbolic AI engine for automating software engineering tasks • PhD @ImperialCollege • opinions my ownImmad Naseer @immadnaseer
77 Followers 144 Following Principal Software Engineer @Azure • Leading and educating teams in building reliable distributed servicesBrian Terlson @bterlson
7K Followers 714 Following TypeSpec, JavaScript, TypeScript, Azure Bluesky: @b.trl.snStatic Analysis Sympo.. @symposiumSAS
273 Followers 2 Following 31th International Static Analysis Symposium, co-located with @splashcon #SAS2024ICST @icstconference
2K Followers 813 Following The 17th IEEE Conference on Software Testing, Validation and Verification (Toronto, Canada). Use #ICST2024Nikolaj Bjorner @BjornerNikolaj
1K Followers 330 FollowingECOOP’24 Conference @ECOOPconf
1K Followers 116 Following European Conference on Object-Oriented Programming Practical and theoretical investigations of programming languages, systems and environments #ECOOP24‹Programming› 202.. @programmingconf
1K Followers 154 Following The International Conference on the Art, Science, and Engineering of Programming. Official hashtag for 2024: #prog24SPLASH Conference @splashcon
3K Followers 294 Following SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2023 #SPLASH23ICSE @ICSEconf
11K Followers 1K Following The premier International Conference on Software Engineering (50th anniversary). April 27-May 3, 2025. Official hashtag: #icse2025.FSE 2024 @FSEconf
4K Followers 1K Following ACM International Conference on the Foundations of Software Engineering (FSE)Dynamic Language Symp.. @dynlangsym
353 Followers 170 Following Dynamic Languages Symposium (DLS) is a place for researchers and practitioners to share results and experience on all aspects of dynamic languages. 👩💻👩🔬👨🔬👨💻ISSTA Conference @issta_conf
2K Followers 14 Following The 33rd edition of the ACM SIGSOFT International Symposium on Software Testing and AnalysisPLDI @PLDI
5K Followers 1K Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2024. Tweets by @andersmiltner or @lastland0.Oege de Moor @oegerikus
5K Followers 540 Following CEO and founder of XBow. Previously: VP of GitHub Next - the team behind GitHub Copilot, CEO and founder of Semmle (acquired by GitHub), prof at Oxford.FINOS @FINOSFoundation
3K Followers 2K Following We're a Community Creating #OpenSource Solutions for #FinancialServices & #Fintech. Join us at https://t.co/a6FCcx19c7RiSE Team @ MSR @RiSE_MSR
902 Followers 51 Following Research in Software Engineering team at Microsoft Research.Microsoft Research @MSFTResearch
553K Followers 2K Following We advance science and technology to benefit humanity. https://t.co/kz0nARXbwT Register for Microsoft Research Forum ⬇️ Get our newsletterI'm excited to see the TypeSpec team going all official! Been working with this great language and team for more than a year now internally and I couldn't be persuaded to author API descriptions in any other language now. typespec.io/blog/2024-04-2…
We blogged about Type Spec: "Introducing TypeSpec: A New Language for API-Centric Development" typespec.io/blog/2024-04-2…
Should programming be more than "Blindly Manipulating Symbols" and "Writing Dead Programs"? If you think so, join us at LIVE, the world's premier gathering on live programming! liveprog.org Submissions are due July 7th. Check out the FAQ or lmk if you have Qs! 🙏
I am extremely honored to be named a Fellow of the American Association for the Advancement of Science (AAAS). It is a lifetime dream to be recognized for my contributions by this esteemed organization!
Ben Zorn, Partner Researcher, has been elected as an @aaas Fellow for his distinguished contributions to programming language design and implementation, and volunteer leadership in the profession.
My JSON hot take: it's good enough, just leave it alone. The ecosystem is ossified and you can't change it anyway. Focus on JSON's replacement, something that could be implemented on the web platform, that solves more problems than just the lack of comments.
What is the state of the art for fuzzing service level APIs. One work that I know of is Restler: microsoft.com/en-us/research…. What are the others and more recent/scalable approaches? cc. @moarbugs @RiggerManuel @FuzzingLabs
The submission site for R2 of #ECOOP24 is open for both resubmissions from R1 🔄 and new submissions ✨ ecoop24.hotcrp.com Good luck to everyone submitting or resubmitting! 🍀 🔔 Deadlines 📅 Research Papers: April 17 Artifacts: April 23
I've had a lot of fun designing and teaching a course on classic "imperative" data structures and algorithms *in OCaml* at Yale-NUS College in 2019-2022. As it's not going to be offered ever again, I'm making all its materials public. Enjoy! ilyasergey.net/YSC2229/
@krisajenkins Not a general purpose programming language, but P has explicit support for state machines and simulation tools for proving their properties: github.com/p-org/P
Fully agree that type inference was a neat idea that mostly ended up having a negative impact on codebases Try looking at the codebase for a Standard ML compiler. It can be very difficult to read because it's often a ton of nested functions with implicit typed arguments/return…
@gsnedders Added this footnote to the post I'm working on
@bterlson tl;dr: this isn't at all specific to JSON, it's about ints *in general*, and the JSON module simply has the same limit as everything else, as it uses the same codepath as everything else (hence why I couldn't find any limit in the _json module).
I have a blog again! Going to be writing stuff mostly about TypeSpec and related tech. First up - why TypeSpec is the best way to write OpenAPI: blog.trl.sn/blog/typespec-… (an opinion that should come as no surprise 😂)
In a past life I worked on configuration management at Google and saw first hand how a huge number of global outages were caused by bad configuration updates. Configuration management of sophisticated distributed systems is an inherently challenging problem, but we don't help…
So - what *is* going on in the shops this week? Sainsbury's, Tesco's, McDonalds, Greggs etc all reported issues in the last few days and now my phone is blowing up with people asking whether it's connected. Here's what I think: - it's *probably* a configuration problem somewhere…
Heard we (@UniKentComp)'ve 4 PhD scholarships. No details yet, but it's likely "short notice" for applications. If you know someone who's into Programming Languages and is interested in going deep, check our list of suggested topics: research.kent.ac.uk/programming-la… #phd #funding
Utc+X is not a timezone, it's an offset. Tz names like EST are ambiguous A minute isn't always 60 seconds A day isn't always 24 hours A day from now and 24 hours from now mean something different Some times are invalid or ambiguous Some tzs have fractional offsets
The submission website is open! 2024.splashcon.org/track/splash-2…
@DominikTornow This is not really true. If you record the choices that were taken during non deterministic simulation, you can repro the bugs. That is what most model checkers and systematic testing tools have been doing.
Traveling by train can be more sustainable than by plane. And imagine how much work could you get done in the 21 days it takes!
Can LLMs uncover new knowledge - the scientific equivalent of AlphaGo’s move 37? In a Nature paper today, we @GoogleDeepMind unveil that FunSearch, our new LLM based approach for program search, has uncovered new results in Maths and Computing. See details below.
Introducing FunSearch in @Nature: a method using large language models to search for new solutions in mathematics & computer science. 🔍 It pairs the creativity of an LLM with an automated evaluator to guard against hallucinations and incorrect ideas. 🧵 dpmd.ai/x-funsearch