#ub — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #ub, aggregated by home.social.
-
😥:
“Everything In C Is Undefined Behavior”, Thomas Habets (https://blog.habets.se/2026/05/Everything-in-C-is-undefined-behavior.html).
Via HN: https://news.ycombinator.com/item?id=48203698
On Lobsters: https://lobste.rs/s/dtcfd6/everything_c_is_undefined_behavior
#Programming #C #CPP #CPlusPlus #UB #UndefinedBehavior #Standards
-
😥:
“Everything In C Is Undefined Behavior”, Thomas Habets (https://blog.habets.se/2026/05/Everything-in-C-is-undefined-behavior.html).
Via HN: https://news.ycombinator.com/item?id=48203698
On Lobsters: https://lobste.rs/s/dtcfd6/everything_c_is_undefined_behavior
#Programming #C #CPP #CPlusPlus #UB #UndefinedBehavior #Standards
-
😥:
“Everything In C Is Undefined Behavior”, Thomas Habets (https://blog.habets.se/2026/05/Everything-in-C-is-undefined-behavior.html).
Via HN: https://news.ycombinator.com/item?id=48203698
On Lobsters: https://lobste.rs/s/dtcfd6/everything_c_is_undefined_behavior
#Programming #C #CPP #CPlusPlus #UB #UndefinedBehavior #Standards
-
😥:
“Everything In C Is Undefined Behavior”, Thomas Habets (https://blog.habets.se/2026/05/Everything-in-C-is-undefined-behavior.html).
Via HN: https://news.ycombinator.com/item?id=48203698
On Lobsters: https://lobste.rs/s/dtcfd6/everything_c_is_undefined_behavior
#Programming #C #CPP #CPlusPlus #UB #UndefinedBehavior #Standards
-
Я дал LLM писать unsafe Rust полгода. Miri плакал
Полгода я давал LLM писать unsafe Rust в боевых проектах и разбирал каждый блок под miri и санитайзерами. Категории ошибок, которые модели делают стабильно: aliasing, провенанс, layout в alloc/dealloc, забытый ManuallyDrop, гонки в FFI-колбэках, ручные Send/Sync, uninit-память, Pin. Каждая категория идёт с минимальным примером и фиксом.
https://habr.com/ru/articles/1035914/
#Rust #unsafe #miri #FFI #UB #aliasing #MaybeUninit #Pin #LLM #AI
-
Я дал LLM писать unsafe Rust полгода. Miri плакал
Полгода я давал LLM писать unsafe Rust в боевых проектах и разбирал каждый блок под miri и санитайзерами. Категории ошибок, которые модели делают стабильно: aliasing, провенанс, layout в alloc/dealloc, забытый ManuallyDrop, гонки в FFI-колбэках, ручные Send/Sync, uninit-память, Pin. Каждая категория идёт с минимальным примером и фиксом.
https://habr.com/ru/articles/1035914/
#Rust #unsafe #miri #FFI #UB #aliasing #MaybeUninit #Pin #LLM #AI
-
Я дал LLM писать unsafe Rust полгода. Miri плакал
Полгода я давал LLM писать unsafe Rust в боевых проектах и разбирал каждый блок под miri и санитайзерами. Категории ошибок, которые модели делают стабильно: aliasing, провенанс, layout в alloc/dealloc, забытый ManuallyDrop, гонки в FFI-колбэках, ручные Send/Sync, uninit-память, Pin. Каждая категория идёт с минимальным примером и фиксом.
https://habr.com/ru/articles/1035914/
#Rust #unsafe #miri #FFI #UB #aliasing #MaybeUninit #Pin #LLM #AI
-
Я дал LLM писать unsafe Rust полгода. Miri плакал
Полгода я давал LLM писать unsafe Rust в боевых проектах и разбирал каждый блок под miri и санитайзерами. Категории ошибок, которые модели делают стабильно: aliasing, провенанс, layout в alloc/dealloc, забытый ManuallyDrop, гонки в FFI-колбэках, ручные Send/Sync, uninit-память, Pin. Каждая категория идёт с минимальным примером и фиксом.
https://habr.com/ru/articles/1035914/
#Rust #unsafe #miri #FFI #UB #aliasing #MaybeUninit #Pin #LLM #AI
-
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
-
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
-
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
-
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
-
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
-
Nice video where we can see mongolia during the winter.
1st Arrival In Ulaanbaatar, Mongolia 🇲🇳 (World's Coldest Capital) - YouTube
-
Nice video where we can see mongolia during the winter.
1st Arrival In Ulaanbaatar, Mongolia 🇲🇳 (World's Coldest Capital) - YouTube
-
Nice video where we can see mongolia during the winter.
1st Arrival In Ulaanbaatar, Mongolia 🇲🇳 (World's Coldest Capital) - YouTube
-
Nice video where we can see mongolia during the winter.
1st Arrival In Ulaanbaatar, Mongolia 🇲🇳 (World's Coldest Capital) - YouTube
-
Playing with #craft #epoxy #resin . Hubs made this from the box of the #lego set our daughter bought and assembled for herself. Coming soon: some #mtg #magicthegathering #tmnt #ub #universesbeyond pieces! I need daylight to #phtotograph them.
-
Playing with #craft #epoxy #resin . Hubs made this from the box of the #lego set our daughter bought and assembled for herself. Coming soon: some #mtg #magicthegathering #tmnt #ub #universesbeyond pieces! I need daylight to #phtotograph them.
-
Playing with #craft #epoxy #resin . Hubs made this from the box of the #lego set our daughter bought and assembled for herself. Coming soon: some #mtg #magicthegathering #tmnt #ub #universesbeyond pieces! I need daylight to #phtotograph them.
-
https://www.europesays.com/es/508719/ Un equipo de arqueólogos de la UB identifica un papiro de la Ilíada en una tumba egipcia #arqueologos #Barcelona #BreakingNews #BreakingNews #castellano #Egipto #equipo #ES #España #FeaturedNews #FeaturedNews #Headlines #historia #identifica #LatestNews #LatestNews #News #Noticias #NoticiasDestacadas #NoticiasDestacadas #papiro #Spain #Titulares #ub #ÚltimasNoticias #ÚltimasNoticias
-
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
-
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
-
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
-
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
-
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
-
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.
💙
-
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.
💙
-
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.
💙
-
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.
💙
-
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.
💙
-
https://www.europesays.com/es/489596/ Un estudio identifica un origen en dos fases de la leucemia infantil más frecuente #anos #carreras #clones #desencadenar #dos #enfermedad #ES #España #Estudio #fases #frecuente #Health #identifica #infantil #instituto #Investigación #josep #latentes #Leucemia #liderada #origen #permanecer #preleucémicos #pueden #revela #Salud #Spain #ub
-
50 tys zł dostaną ubecy, enkawudziści i komunistyczni oprawcy. Kat ofiarą, a Żołnierz Wyklęty przestępcą.To jest upokorzenie Polski. https://zurl.co/GG1Sp
#NowaLewica #Czarzasty #ŻołnierzeWyklęci #RozliczenieZKomunizmem #UB #NKWD #MarszałekSejmu -
Как найти 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
-
Как найти 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
-
Как найти 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
-
Как найти 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
-
Jornada de Rectores y Rectoras #CRUE en la #UIB:
Mesa redonda: “La financiación del sistema universitario español. Retos y problemas” moderada por el rector UIB y en la que participan Amaya Mendikoetxea, vocal Junta Rectora CRUE y rectora #UAM; Francisco Oliva, vocalJunta Rectora CRUEy rector #UPO, Julián Garde, presidente de Crue-I+D+i y rector #UCLM y Joan Guàrdia, presidente de Crue-Profesorado y rector #UB. -
Jornada de Rectores y Rectoras #CRUE en la #UIB:
Mesa redonda: “La financiación del sistema universitario español. Retos y problemas” moderada por el rector UIB y en la que participan Amaya Mendikoetxea, vocal Junta Rectora CRUE y rectora #UAM; Francisco Oliva, vocalJunta Rectora CRUEy rector #UPO, Julián Garde, presidente de Crue-I+D+i y rector #UCLM y Joan Guàrdia, presidente de Crue-Profesorado y rector #UB. -
Jornada de Rectores y Rectoras #CRUE en la #UIB:
Mesa redonda: “La financiación del sistema universitario español. Retos y problemas” moderada por el rector UIB y en la que participan Amaya Mendikoetxea, vocal Junta Rectora CRUE y rectora #UAM; Francisco Oliva, vocalJunta Rectora CRUEy rector #UPO, Julián Garde, presidente de Crue-I+D+i y rector #UCLM y Joan Guàrdia, presidente de Crue-Profesorado y rector #UB. -
Soundtracking Innovation 🎹⚙️
Thrilled to announce my new Future Tech Pack is live! 🚀
The bundle has already been licensed for a project at the School of Telecommunications Engineering (Telecos) - University of Barcelona (UB)! 🎓✨
Creating from #Sabadell for the world. 🌍
📦 Get the BUNDLE (Save >20%):
🔗 https://payhip.com/b/bl0iU🎵 Full Catalog: https://payhip.com/MarcCorominasMusicLicenses
🌐 Web: https://www.marccorominasp.com#MusicLicensing #Telecos #UB #FutureTech #SoundDesign #ElectronicMusic #Sabadell #MusicForAds
-
Nuevo artículo de la sección #FenómenosExtraños. El inquietante caso de la estructura misteriosa.
#ROOR10 #programming #Programación #C #UB #UndefinedBehaviour #CLanguage #ABI #struct
https://ibolcode.net/roor/2026-03-el-inquietante-caso-de-la-estructura-misteriosa
-
Nuevo artículo de la sección #FenómenosExtraños. El inquietante caso de la estructura misteriosa.
#ROOR10 #programming #Programación #C #UB #UndefinedBehaviour #CLanguage #ABI #struct
https://ibolcode.net/roor/2026-03-el-inquietante-caso-de-la-estructura-misteriosa
-
Nuevo artículo de la sección #FenómenosExtraños. El inquietante caso de la estructura misteriosa.
#ROOR10 #programming #Programación #C #UB #UndefinedBehaviour #CLanguage #ABI #struct
https://ibolcode.net/roor/2026-03-el-inquietante-caso-de-la-estructura-misteriosa
-
Financiamentos a desabrigados em Minas seguirão modelo do RS, diz Lula
-
Universitätsbibliothek lädt ein zur „Langen Nacht der Hausarbeiten“: Neuer Schwung für ins Stocken geratene Schreibprojekte – Veranstaltung am 19. Februar bietet Infos und praxisnahe Beratung zum wissenschaftlichen Schreiben https://www.uni-heidelberg.de/de/newsroom/universitaetsbibliothek-laedt-ein-zur-langen-nacht-der-hausarbeiten-3
#universität #heidelberg #uniheidelberg #studium #hausarbeiten #ub #zsb -
Universitätsbibliothek lädt ein zur „Langen Nacht der Hausarbeiten“: Neuer Schwung für ins Stocken geratene Schreibprojekte – Veranstaltung am 19. Februar bietet Infos und praxisnahe Beratung zum wissenschaftlichen Schreiben https://www.uni-heidelberg.de/de/newsroom/universitaetsbibliothek-laedt-ein-zur-langen-nacht-der-hausarbeiten-3
#universität #heidelberg #uniheidelberg #studium #hausarbeiten #ub #zsb