Harris Brakmić

7.5K posts

Harris Brakmić banner
Harris Brakmić

Harris Brakmić

@brakmic

Software Engineer

Bonn, Germany Katılım Şubat 2009
175 Takip Edilen1.8K Takipçiler
Harris Brakmić
Harris Brakmić@brakmic·
🚨 WARNING: Chrome browser can permanently set the global microphone volume, without notifying the user. This functionality is enabled by default. 😱 Disable it under chrome://flags (experimental).
Harris Brakmić tweet media
English
0
0
0
108
Harris Brakmić
Harris Brakmić@brakmic·
Vibe coding isn’t meant for serious software, it’s like typing code from 80s magazines for fun. It’s all about play and discovery, not something you’d ship to customers.
English
1
0
2
87
Harris Brakmić retweetledi
BosqueLanguage
BosqueLanguage@BosqueLanguage·
Yes! #BosqueLang is going even further, looking at rich #API specs that are easy for Agents (and humans) to use. With explicit and type-safe designs, as well as the ability to provide strong safety guarantees -- I never want an agent to "accidentally" wire $50K to an offshore bank! In fact we have been working for a few years on an entire programming language designed for supporting formal methods and #Agentic #programming ! github.com/BosqueLanguage… dl.acm.org/doi/pdf/10.114… arxiv.org/pdf/2407.06356
English
0
1
1
1.1K
Harris Brakmić retweetledi
BosqueLanguage
BosqueLanguage@BosqueLanguage·
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 (youtube.com/live/-Br66SUjs…). I think you need a bit more than pre/post conditions though. Agents may makeup values specifically to satisfy them. So, I think you also need a way to specify that certain operations were used in deriving the values -- sort of like I should get API keys by calling a keyvault instead of hardcoding them. In both cases I get the same key-value but one of the derivations is correct while the other is not.
YouTube video
YouTube
Erik Meijer@headinthebox

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 Computers [1] From Function Frustrations to Framework Flexibility

English
1
1
2
306
Harris Brakmić
Harris Brakmić@brakmic·
Just finished a little experiment creating a C++ PKCE library for #Keycloak—complete with C, Python, and Lua wrappers. It’s more of a learning project than a polished solution. If you’re curious about the details, here’s the write-up: blog.brakmic.com/writing-a-keyc…
Harris Brakmić tweet mediaHarris Brakmić tweet mediaHarris Brakmić tweet mediaHarris Brakmić tweet media
English
0
0
0
195
Harris Brakmić
Harris Brakmić@brakmic·
Say hello to colorful #BosqueLanguage in JupyterLab! Now, I should probably write an article on this ... before my memory takes a vacation!
GIF
Harris Brakmić tweet media
English
0
0
0
77
Harris Brakmić
Harris Brakmić@brakmic·
🚀 Excited to share that my @BosqueLanguage Kernel for #JupyterLab can now compile and execute code! 🎉 Next up: syntax colorization... because apparently, I have no clue how to make code colorful in Jupyter yet. 😂 Stay tuned for the colorful chaos! #BosqueLanguage
Harris Brakmić tweet mediaHarris Brakmić tweet media
English
0
1
2
133