Bun Rust rewrite: "codebase fails basic miri checks, allows for UB in safe rust"

https://github.com/oven-sh/bun/issues/30719

#HackerNews #BunRust #Rewrite #UB #SafeRust #MiriChecks #Codebase

Nice video where we can see mongolia during the winter.

1st Arrival In Ulaanbaatar, Mongolia 🇲🇳 (World's Coldest Capital) - YouTube

https://www.youtube.com/watch?v=072TdwVQf9w

#mongolia #ub #travel #vlog

El #CRAI de la universidad de Barcelona #UB participa a la VI Jornada Estadística #REBIUN a la #UAM | Centre de Recursos per a l'Aprenentatge i la Investigació - CRAI UB

https://crai.ub.edu/noticies/el-crai-de-la-ub-participa-la-vi-jornada-estadistica-rebiun-la-uam

Der neue UniReport ist da!

Die Universitätsbibliothek ist natürlich auch diesmal wieder vertreten – ihr findet uns auf Seite 27.

👉 Hier reinschauen: https://www.unireport.info/aktuelle-ausgabe

Viel Freude beim Lesen!

#UniReport #UB #Bibliothek #Campusleben #wissenschaft #bibliotheken

Today was the first of several accepted student weekends at #UB. Hearing all of the stuff happening in our department gave me a real moment of pride... not just because it's an awesome school (and we are), and not just because of the awesome demos being shown off (and they were), but because of how much of UB CSE's strength comes from its students.

- Undergraduate TAs ('SAs' in our official parlance) are held as positions of prestige, with students actively competing for opportunities to mentor their peers.
- Student run organizations lie ACM and DivTech are there to support students looking for jobs or looking for community.
- Students self-organize UBHacking, a national-scale hackathon with hundreds of participants each year... and they put in the work, from planning, all the way through to hand-checking every submission for rules violations.

Put simply, UB CSE students give a s**t. They take pride in lifting each other up... and I think that's just the best thing ever.

💙

Как найти UB, которое никто не хочет замечать: разбираем clang-tidy изнутри

Привет, Хабр! Меня зовут Анастасия Черникова, я занимаюсь разработкой компиляторных технологий и инструментов на базе LLVM в Синтакоре. Неопределенное поведение (undefined behavior, UB) по-разному выглядит с точки зрения компилятора и разработчика. Для первого оно, как правило, открывает дополнительные возможности для оптимизации. Для программиста же UB может стать проблемой, особенно если оно остается незамеченным и не учитывается при разработке. В этой статье рассмотрим подход к поиску UB с использованием статического анализа. В качестве примера я использую clang-tidy: сначала разберу, как устроены существующие чекеры и как работают AST matchers, а затем покажу, как расширять их и добавлять собственные проверки, если стандартных возможностей оказывается недостаточно. Отправимся на поиски и поимку UB →

https://habr.com/ru/companies/yadro/articles/1017930/

#llvm #clangtidy #ast #check #cpp #undefined_behavior #UB #compiler #sanitizers