I'm loving the discussion of accessibility features in the new Navigation API (that replaces the History API). This should ameliorate many of the woes that Single Page Apps cause screen reader users. github.com/WICG/navigation-api…

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…

This entry was edited (2 years ago)

Dnes je to přesně rok, co jsem spustil svou #Mastodon sólo instanci u masto.host. Jak vypadá využití prostředků?
0,6 GB databáze a 9 GB mediálních souborů. Nevkládám sem videa, takže jde jen o obrázky, několik MB veliké fotografie nedávám moc často. Nemám nastaven zatím žádný limit na mazání souborů. Nefederuji s žádnou jinou instancí. Aktivní jsem denně.
This entry was edited (2 years ago)
in reply to Michal Špondr

On na Mastohost má nastavené mazání médií atd. Obrázky 90 dní atd.
Když někoho sleduješ z jiné instance, tak už s ním federuješ. Ve veřejné ose budeš mít uživatele třeba z našeho serveru, které ani nesleduješ, ale jejich média jsou i u tebe na serveru. @radim přemostil s jinou instancí a během pár dnů měl plný disk.

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…

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…

#telefónica

It's kind of cool how Apple compares M3s to M1s, and not M2s. Good they don't compare to Pentiums, for example. The numbers would be even more amazing!
According to the tech giant, the M3 lineup’s CPU (central processing unit) performance cores are 30% faster than the M1’s performance cores, while its efficiency cores are 50% faster. Performance cores are designed to handle more processor-intensive tasks, while efficiency cores take care of menial tasks. finance.yahoo.com/news/apple-d…

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…

This entry was edited (2 years ago)

reshared this

Одним из больших откровений в записи звука гитары для меня в своё время стало осознание того факта, что если гитара вне микса звучит как понос - это нормально.

#sound #guitar #music #log #thoughts #recording #mixing

in reply to André Polykanine

@menelion
Ну просто когда из режима "поиграть что-то на комбике/guitar rig сам с собой" переходишь в режим "сделать трек" - это может быть не самой очевидной вещью.

Потому что играя сам с собой как минимум я добавлял в звук больше жира - низов, нижней середины. Само по себе оно так круче звучит. Но это совсем не применимо для того чтобы звучала пачка инструментов вместе. Я до этого не сразу дошёл 🤷‍♂️

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.

I had a silly idea and checked if see if anyone had made it already and immediately found a perfect execution. Sometimes the internet isn't so bad youtube.com/watch?v=66yH8RZSwU…

The First Female Master Blender Is A Black Woman. Here’s Why She Values Impact Over Accolades | essence.com/news/first-female-…

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…

Please make sure that you don't use atexit() in a library. Also, while at it, please no exit() or abort(). Thanks! atexit() related issues are insanely troublesome to correct after the use has been introduced. Case point: github.com/openssl/openssl/iss… #development #coding #baddesign

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.

conduct.gnome.org/

See thread for a Markdown formatted excerpt ready to copy and paste in our online spaces.

#GNOME

This entry was edited (2 years ago)
in reply to Sonny

- **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.

conduct.gnome.org

This entry was edited (2 years ago)

Scalable Vector Graphics (SVG) support is improving in #LibreOffice, along with @inkscape interoperability! Learn more: qa.blog.documentfoundation.org… #foss #opensource

LibreOffice reshared this.

The countdown begins! 10 days to go until the Latin American #LibreOffice Conference 2023: blog.documentfoundation.org/bl… #foss #opensource

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…

Peter Vágner reshared this.

151st episode of the Blind Android Users podcast has landed on your favorite podcatcher of choice. This episode features One UI Sounds and vibration, Happy 15th Birthday to Android and AndroidMarket AKA Google Play Store accessibleandroid.com/podcast #Android #accessibility #podcast