home.social

#qbe — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #qbe, aggregated by home.social.

fetched live
  1. Loyalty absolutely does not pay when it comes to car insurance in Australia.

    I switch every year. 5 insurers in 6 years I'm up to. The disloyalty discount is better than any loyalty discount they offer, but I can't remember who I'm with right now...

    abc.net.au/news/2026-08-10/car
    #RAC #AAMI #Allianz #BudgetDirect #QBE

  2. For those interested in fooling around with niche compiler technology and programming languages: Here's a fun sketch of a correctness proof for Hare's sort::inplace stdlib function through symbolic execution of the QBE intermediate representation emitted by the Hare compiler.

    notes.8pit.net/notes/y7n8.html

    #HareLang #QBE #Compilers

  3. New #blog post. Let's write a peephole optimizer for #QBE that operates on #AArch64 assembly code. Three years ago, we did this for #AMD64 assembly code. But now that I have Arm machines, we can replicate the effort for another CPU architecture.

    briancallahan.net/blog/2025090

    #compiler #compilers #opensource #freesoftware #unix #bsd #freebsd #openbsd #netbsd #dragonflybsd #linux #illumos #macos #assembler #assembly

  4. Sent a message to the QBE mailing list about implementing an ARM32 target, if anyone's interested and has any comments: lists.sr.ht/~mpu/qbe/%3Carpqvf

    #QBE #ARM #Compilers

  5. Дрю ДеВолт — автор языка Hare и платформы кодохостинга SourceHut

    Дрю ДеВолт объясняет , что веб-интерфейс Github.com требует множества лишних действий. Гораздо эффективнее использовать консольный почтовый клиент , отправляя тот же пулл-реквест одной командой из консоли Американский разработчик Дрю ДеВолт (Drew DeVault) известен как создатель и исполнительный директор платформы для хостинга проектов SourceHut , которую Фонд сохранения свободы ПО выбрал как альтернативу майкрософтовскому сервису GitHub (наряду с CodeBerg ) в рамках кампании Give Up GitHub по уходу свободных проектов с этого коммерческого хостинга, задача которого — генерировать продажи Copilot. ДеВолт также известен как автор нового языка системного программирования Hare, который похож на С, только лучше и проще его.

    habr.com/ru/companies/ruvds/ar

    #ruvds_статьи #Дрю_ДеВолт #Drew_DeVault #sway #wlroots #srht #scdoc #aerc #chopsui #TrueCraft #KnightOS #qutebrowser #vim #IRCклиент #WeeChat #mutt #fish #mrsh #Redict #Redis #Hare #Helios #Himitsu #QBE #LLVM

  6. Randomly saw my own name in a video YouTube recommended to me (this one, at 23:35, youtube.com/watch?v=JTjNoejn4i)

    But I agree, #QBE is pretty neat. I'm even the maintainer of the #OpenBSD package of it (though @tobhe is probably smarter than me when it comes to actually using qbe).

  7. @mhd, compilers backed by #QBE are pretty fast, and I’m also waiting for #Zig’s self-hosted backend.

  8. A wild #blog post appears!

    Let's study the #LLVM and #GCC optimizers around the question of increments and decrements and see how they differ. Then we can make a decision as to whether or not we want to teach those optimizations to our #QBE optimizer we've been working on.

    briancallahan.net/blog/2022041

    #compile #compilers #optimizer #optimizers #compile #optimize #unix #c #programming #program #bsd #openbsd #freebsd #netbsd #dragonflybsd #linux #cproc

  9. A wild #blog post appears!

    I wrote a peephole optimizer for QBE. QBE missed a couple of easy optimization wins, so let's use it as an opportunity to learn how peephole optimizers work and write one of our own.

    briancallahan.net/blog/2022033

    #compiler #compilers #compilation #compile #optimize #optimizer #optimizers #unix #openbsd #netbsd #freebsd #dragonflybsd #linux #c #cproc #qbe

  10. I just published v1.0.0 of the IR Rust crate. This is my first ever project that actually hits v1.0!🎉

    github.com/garritfra/qbe-rs/re

  11. A wild #blog post appears!

    Today, we learn about QBE, a quick backend for compilers. It acts as a smaller version of LLVM: it reads in an intermediate language in SSA form and outputs optimized assembly.

    Let's get our hands dirty figuring out how QBE works! We'll write a Brainfuck compiler directly in QBE IR.

    briancallahan.net/blog/2021082

    #program #programming #code #coding #compile #compiler #compilers #qbe