documented how #GoToSocial formats Mentions when federating, and how it tries to parse incoming Mentions:
documented how #GoToSocial formats Mentions when federating, and how it tries to parse incoming Mentions:
and hey, look at this:
HTTP3: ngtcp2 builds are no longer experimental
One step closer to HTTP/3 support in shipped #curl binaries.
github.com/curl/curl/pull/1223…
The other HTTP/3 backends are still experimental.GitHub
The new navigation API provides a new interface for navigations and session history, with a focus on single-page application navigations. - GitHub - WICG/navigation-api: The new navigation API prov...GitHub
Say hello to #trurl 0.9 github.com/curl/trurl/releases…
Your favorite command line tool for manipulating URLs.
Changes since previous release add --as-idn and punycode to IDN conversion add --curl to only count as valid URLs supported by libcurl add vs2022 project files Bugfixes since previous release ac...GitHub
In Filipino families, the eldest daughter is the "parentified" sibling, bearing "the brunt of domestic responsibilities: they are expected to cook, clean, run errands, and babysit their siblings while the parents are out working."
#Philippines #Filipinos #Women #Families #FilipinoCulture #Pinas #Pinoy #SpotPH #TootSEA #Asia #Asian
spot.ph/newsfeatures/culture/1…
We were born to a life of endless responsibilities.Pia Regalado (Spot PH)
To clarify, when you or another user in your server follows a remote user, from that moment on, all new posts from that remote user start to federate with your server. By federate, you can…Hugo Gameiro (Masto.host)
Twitter ("X") má nyní podle nové zprávy hodnotu asi 19 miliard dolarů. Elon Musk tuto aplikaci kupoval za cca 44 miliard dolarů.
Gratuluji Elone, "dobře" to vedeš ...
independent.co.uk/tech/x-twitt…
‘We’re rapidly transforming the company from sort of what it was,’ Musk told employees recentlyVishwam Sankaran (The Independent)
Drobnou dílčí aktualizaci dubnového TDE 14.1.0 přichystali tvůrci tohoto forku starého dobrého KDE 3.5. Novinek není mnoho, implementována je ale…David Ježek (Internet Info, s.r.o.)
Caramba, qué sorpresa, si al final resulta que privatizar una infraestructura crítica igual no era tan buena idea. Un fuerte abrazo a mi compañera Pilar que en la clase de Política de 5º de Teleco cuando nos pretendían convencer de que esto era una idea maravillosa fue la única que discutió esto con el profesor. Que la miraron como si estuviera loca, pero al final se ha demostrado que tenía toda la razón del mundo.
elpais.com/economia/2023-10-31…
El ente público admite que lleva a cabo un análisis relativo a una eventual adquisición de una participación accionarialEl País (Ediciones EL PAÍS S.L.)
Good morning, Reproducible Builds Summit 2023!
Unos cien policías acudieron al Salón Ex Casino en la colonia Doctores, donde se realizaría el evento.Ángel Vargas (La Jornada)
The first half hour of @rjmccall’s talk provides really good insight into Apple’s plans and motivation for Swift: a single successor language for C/C++/Obj-C for the entire stack, including kernel and embedded systems. Focused on correctness, safety, and security. Incremental adoption is key, hence the importance of interop with C, Obj-C, and now C++. #Swift
“Introducing a Memory-Safe Successor Language in Large C++ Code Bases”: youtube.com/watch?v=lgivCGdmFr…
https://www.cppnow.orghttps://www.linkedin.com/company/cppnow---Introducing a Memory-Safe Successor Language in Large Code Bases - John McCall - CppNow 2023...YouTube
reshared this
Stuttgart 2005: Memories of GUADECs past - viruta.org/guadecs-past-2005.h…
Stuttgart 2005: Recuerdos de GUADECs pasadas - viruta.org/guadecs-past-2005-e…
@menelion
Ну просто когда из режима "поиграть что-то на комбике/guitar rig сам с собой" переходишь в режим "сделать трек" - это может быть не самой очевидной вещью.
Потому что играя сам с собой как минимум я добавлял в звук больше жира - низов, нижней середины. Само по себе оно так круче звучит. Но это совсем не применимо для того чтобы звучала пачка инструментов вместе. Я до этого не сразу дошёл 🤷♂️
Landgericht Berlin gibt Klage des vzbv gegen die LinkedIn Ireland Unlimited Company weitgehend stattVerbraucherzentrale Bundesverband
It's been a while coming, but I formally submitted my PhD thesis earlier today.
A Framework for Semiring-Annotated Type Systems
personal.cis.strath.ac.uk/jame…
Abstract:
The use of proof assistants as a tool for programming language theorists is becoming ever more practical and widespread. There is a range of satisfactory implementations of simply typed calculi in proof assistants based on dependent type theory.
In this thesis, I extend an account of Simply Typed λ-calculus so as to be able to represent and reason about calculi whose variables have restricted usage patterns. Examples of such calculi include a logic with an S4 □-modality, in which certain variables cannot be used “inside” a box (□); and Linear Logic, in which linear variables have to be used exactly once. While there are existing implementations of some of these calculi in proof assistants, many of these implementations share little with the best presentations of simply typed calculi without variable usage restrictions, and thus end up being poorly understood or suboptimal in facilitating mechanised reasoning.
Concretely, the main result of this thesis is a framework for representing and reasoning about a wide range of calculi with restricted variable usage. All of these calculi support novel simultaneous renaming and substitution operations. Furthermore, I provide several other examples of generic and specific programs facilitated by the framework. All of this work is implemented in the proof assistant Agda.
Blur - "Song 2 (Odyssey Remix)"Inspired by watching a livestream of Super Mario Odyssey for 6+ hours and hearing these sounds near-constantly until I could h...YouTube
"Success means being an agent of change for women in the spirit industry," Dr. Joy Spence shared about the Appleton Rum, James Beard Foundation Women's Leadership partnership.Malaika Jabali (Essence)
Privacy Cell 1.10 has been released.

youtu.be/_IAm4Uqw49A?si=Jthseg…
Funny video about learning programming languagesYouTube
Getting ready for Halloween, recovering from changing the clocks, or dreaming about fall on a spring day down south? We hear you! Today we're listening to some spooky Lofi tunes to get in the work groove and have more treats than tricks. What are your tunes to get energized, find focus, or wind down? 🎧 🎃
#Halloween #Productivity #NowPlaying
youtube.com/watch?v=wZ0edJjBXv…
🎼 | Listen on Spotify, Apple music and more→ https://fanlink.to/LofiGirl-Halloween2023🌎 | Lofi Girl on all social media→ https://fanlink.to/lofigirl-soci...YouTube
Hi, the testsuite for libp11-0.4.12 breaks in 3.0.12, works in 3.0.11. The testsuite: https://sources.debian.org/src/libp11/0.4.12-1/debian/tests/engine/ The segfault occurs while generating a cert...GitHub
@bagder all assertion failures, stack protector, unhanded exception, etc.
It’s true that abort shouldn’t be called in normal operation but by definition it isn’t normal operation
@bagder @malwareminigun C++ exceptions are generally a no-no, since they are not ABI stable.
Also, another thing I generally dislike is using setjmp / longjmp - that is just bad design. Some image decoding libraries seem to think this is a acceptable way doing error handling.
In 2000, Palm was worth more than Google, Meta & Amazon combined.
Let's see how Google, Meta & Amazon fare in 2040.
Luxury Beliefs Are Status Symbols
Link: robkhenderson.com/p/status-sym…
Discussion: news.ycombinator.com/item?id=3…
The struggle for distinctionRob Henderson (Rob Henderson's Newsletter)
The GNOME Code of Conduct applies to everyone including contributors and users/participants/reporters.
Don't hesitate to politely remind each other
• Be friendly
• Be empathetic.
• Be respectful.
• Be considerate.
• Be patient and generous.
• Try to be concise.
See thread for a Markdown formatted excerpt ready to copy and paste in our online spaces.
- **Be friendly.** Use welcoming and inclusive language.
- **Be empathetic.** Be respectful of differing viewpoints and experiences.
- **Be respectful.** When we disagree, we do so in a polite and constructive manner.
- **Be considerate.** Remember that decisions are often a difficult choice between competing priorities.
- **Be patient and generous.** If someone asks for help it is because they need it.
- **Try to be concise.** Read the discussion before commenting.
This week, we are kicking off a continuing “QA Weekly Focus” to attract attention to certain topics and areas. For this first week, let’s look into issues related to our SVG support.Stéphane Guillou (LibreOffice QA Blog)
LibreOffice reshared this.
The Latin American LibreOffice Community proudly invites you to join our 2023 Latin American LibreOffice Conference – LATAM 2023. Please confirm that you want to play a YouTube video.Olivier Hallot (The Document Foundation)
I independently reproduced the #NixOS minimal installation ISO!
This is an amazing milestone for me personally: I've been involved in #ReproducibleBuilds since 2017 and #NixOS since 2019, and have been slowly chipping away at this problem. While there is much more to do to further reap the benefits of reproducibility, this is a long-awaited tangible benefit.
For more about the What, Why, How and What Next, check the post below :)
discourse.nixos.org/t/nixos-re…
We have successfully created an independent, bit-by-bit-identical rebuild of the nixos-minimal ISO published by Hydra 🎉 Why is this useful? While there are a number of ‘side-benefits’, the main point of Reproducible Builds is that it gives us a rel…NixOS Discourse
Peter Vágner likes this.
Peter Vágner reshared this.
You can Tune in to the Blind Android Users podcast and find all episodes hereSalih Kunduz (Accessible Android)
Peter Kovář
in reply to daniel:// stenberg:// • • •