nah he says that sort of thing all the time. it's one of those "technically true but also definitely trolling" things he likes to say because he finds rust people annoying. IMO if people want to use fil-c and don't mind the perf hit they should go nuts!
it's not a language (and he doesn't call it one). it's an implementation / instrumentation pass for C/C++ that makes memory errors abort. that's great. but it's exactly C/C++ as source language(s). so if you like C/C++ (or have a gargantuan C/C++ codebase you can't port) and you want to trade perf and memory overhead for dynamic safety it seems like a fine option. it's in a similar ballpark as "building with asan in production" but covers different cases.
(I also find his trolling annoying but I think it somewhat incidental; it's not like the project exists to spite rust people, it's there for good reason, just like asan!)
people keep wanting ASAN in production (i mostly hear about it on Android) to the point where it was modified to make that at least partly supported (originally ASAN was considered not to be a security boundary at all); clearly the need is there
TIL about ASAN. This statement in Wikipedia is simply wrong however: "this class of tools was first introduced by Google's AddressSanitizer (or ASan) of 2012"
UBSan/ASan/MSan/TSan were revolutionary when they were introduced; before them your only option (if you used something like gcc on linux) was valgrind, which while effective had some serious limitations, and the sanitizers were like suddenly having normal compiler diagnostics for even previously undiagnosable issues
I've never heard of Rational Purify before (is it some proprietary IBM thing?), but I think Borland had memory check tools back in DOS days too
Purify is the grandparent of all of these, in the sense of instrumenting C object code and trapping every single memory access in a C program and tracking byte-validity of all addresses. It was slow but immediately, astonishingly valuable. It was also proprietary and patented and cost thousands of dollars a seat. Proprietary code used it, FOSS rarely had the luxury until Valgrind.
For a while people (eg. myself, at Red Hat) were prevented from working on Valgrind because of the Purify patents. To dodge them we worked on Mudflap instead, which was "sufficiently different", at least until IBM bought Rational (which had previously bought Pure) and gave assurances they wouldn't enforce them. And of course Red Hat also wound up at IBM anyway. Everything converges.
As an additional quirk of history: Reed Hastings wrote Purify! It's what he made his initial blob of money from. You could say it's indirectly why we have both Valgrind, Asan _and_ Netflix.
So some people are wondering if whatever the MAGA/Linux crowed is up to is planned and on purpose.
Yes, it is. They accuse us of what they would be doing themselves. Wayland, systemd, etc.. it's all a conspiracy to them _because_ it's the way the approach things and accuse us of the same.
They always weaponize disagreements within the broader community for their political agendas. Every project of them is like this.
It's sad to see how many do not understand those dynamics.
every time i read something about fsync() i end up feeling more and more that postgres just opening the NVMe device via virtio in userspace is the way to go if you want your data to reliably reach the drive
I think I remember people saying that Obsidian as a markdown-based note taking app is accessible enough to actually be productive. I just tried again and... well, is there some magic switch or something I have to use in order to make it, well, good? To me it feels kinda bloated, with alot of useless and unlabelled clickables, the editor is basically just a text editor which doesn't seem to work properly with braille displays in NVDA and live preview isn't really a thing. What am I doing wrong?
as a sighted Obsidian user, I think you're actually getting the full experience. It has many features and each one is accessed through an unlabeled tiny icon in a random place - so unless you want to be constantly reading the documentation, it's a basic text editor with a fancy-looking frame.
This sounds like my experience. It's what originally pushed me to using vscode which is pretty accessible and has a built-in markdown preview. It's probably missing a lot of creature comforts that an editor meant for general writing would have, but it is screen-reader friendly
@PepperTheVixen Well, Obsidian isn't just an editor, its a notebook system, so it allows tagging, linking and way more that VS Code doesn't do. But Joplin seems to be pretty good here.
Hot take: I love #Symfony, it's really the best #PHP framework out there (at least, the most powerful), but this obsession with #YAML is just… something. When I read workflows, even sample ones, my brain issues a warning about possible stack overflow 😂 A sample from a blog post about enums in workflows in 7.4: ``` # config/packages/workflow.yaml framework: workflows: blog_publishing: type: 'workflow' marking_store: type: 'method' property: 'status' supports: - App\Entity\BlogPost initial_marking: !php/enum App\Enumeration\BlogPostStatus::Draft places: !php/enum App\Enumeration\BlogPostStatus transitions: to_review: from: !php/enum App\Enumeration\BlogPostStatus::Draft to: !php/enum App\Enumeration\BlogPostStatus::Reviewed publish: from: !php/enum App\Enumeration\BlogPostStatus::Reviewed to: !php/enum App\Enumeration\BlogPostStatus::Published reject: from: !php/enum App\Enumeration\BlogPostStatus::Reviewed to: !php/enum App\Enumeration\BlogPostStatus::Rejected ``` Maybe it's just me, but to me it's extremely hard to read and debug.
@ramsey Yes, a bit easier. I would prefer something like fluent interfaces, but as I see, Symfony steers away from them in config (and I trust the team who say there are reasons for it).
@ramsey There used to be a security config with fluent interfaces in Symfony before. but anyway, PHP arrays are far better 😊 I saw a PR about it and even commented. I mean, about workflows in PHP.
I don’t see the difference between using PHP arrays vs. YAML. You’re basically modeling the same structures. Plus, with YAML, you don’t have to do funky syntax and/or concatenation to support multi-line text.
@ramsey But with arrays, you don't need to guess what your indentation is and what will break of you have a single space in the wrong place for an anon list of objects...
@ramsey @Crell It's when you need to put an enum case or a constant in a YAML config, you do this. From the same example: from: !php/enum App\Enumeration\BlogPostStatus::Draft to: !php/enum App\Enumeration\BlogPostStatus::Reviewed
A global Symfony conference in English, bringing together developers from around the world to share knowledge, network, and explore the latest in web development.
I absolutely hate YAML… one misplaced space, and your GitHub actions workflow file can break the build of your Hugo based website when publishing to gitHub Pages YAML and JSON files are my least favorite file types to work with. They make me want to pull out my hair, or go to the top of the Columbia tower in downtown Seattle and toss my laptop off the roof. That would be a 73 story drop by the way.
Agreed. I absolutely *hate* frameworks and other projects that put code in config files like this, and it's something that always turns me away whenever I start think "maybe I should finally learn Symfony" again. And if it must be done, YAML is a particularly poor choice for it: noyaml.com/
My fave Nette does it too (and in its own bespoke config file format no less) but at least it's to a far lesser degree than Symfony and friends do it.
Теперь понял о чём ты тогда рассказывал. Мда уж, понять можно, но так себе и не сразу. Навеяло воспоминания про всякие конструкции из реактивного Спринга. Вот там такое можно накрутить, с другой стороны, в императивном стиле смотрелось бы ещё хуже.
@Yinshi Я бы хотел флюэнт стайл. Ну типа такого: $config->doSomething()->thenSomethingElse()->andthisAlso(). В Джаве это были бы точки вместо стрелок. Очень удобно, особенно если каждая строка с точки начинается. Ну типа LINQ в Шарпике.
Дада, в .NET есть места где можно писать в таком стиле, оно и называется Fluent API. В EF Core так можно конфигурировать например, или библиотека для валидации, забыл как называется. А LINQ крутая вещ, в своё время знатно насобачился и много использовал в проекте, тем более там конвертировалось сразу в SQL. Я бы и сам мог его написать, но лень же, да и пусть компилятор за меня поработает. Главное контролировать что на выходе, а то есть ситуации, когда лучше самому написать SQL.
Вообще, пока я тут погружаюсь во всё это дело, радует что помню больше чем предполагал. Конечно не смогу зафигачить многопоточный код, используя примитивы синхронизации вроде семафоров, или настраивать пул потоков, но в целом картина в голове более приличная.
Symfony 7.4 replaces the fluent PHP config with a new array-based format with full autocompletion, static analysis, and dynamically generated array shapes.
A lot of Germans are posting in German about #Giessen today, and since many of our friends overseas may be confused, here's a summary:
The current iteration of the Nazi-Party, the AfD, is holding a summit in the town of Giessen today. They announced the formation of a youth org (Hitler-Jugend?). A ton of people came to protest. The police are busy protecting the Nazis, and politicians in the current government see fit to attack the protesters.
The province’s new platform for registering children for places in public daycares is being managed by an American tech company, sparking concerns about...
I sometimes see people describing resistance to LLM assisted coding as gatekeeping and I get that, software engineering culture is absolutely rife with gatekeeping, I quite literally dedicated dedicated my career to developer education because I want more people to have access to these opportunities.
But here's the thing, in order to fully participate in the world of software you will still need to learn to code, giving people the impression that isn't the case is not empowering.
Hi all, if you follow me here, please follow me at @clv1 where I am moving to. In addition, please accept my follow request there if I am following you here. thanks!
So thankful for all of you who have followed me on here so far, and made me feel so welcome! I'm very new to this platform still, but I'm loving it! Here's to more great sex, kink, and general shenanigans, friends!🥰
This interview with Adam Przeworski on the Democracy Paradox podcast should be informative and inspiring to anyone interested in democratic theory and political science. Some of his recent papers are cited in the overview. democracyparadox.com/2025/11/2… #DemocraticTheory #PoliticalScience
#SARA got a quick update today — a new release with just one feature, but hopefully a useful one. The Music Folder is now available as an additional playlist type you can configure. It works very simply: you add a folder with audio files, and those files appear in SARA just like any other playlist. You can browse them, preview them with the Space key, add them to a music playlist with Enter, or copy and paste them into, for example, a news-type playlist if that suits your workflow better. I’ve also added a new default shortcut, CTRL+P, which works with both music-style playlists and opens the window for setting mix points. In the NVDA add-on, I also changed the default behavior of the “Do Not Disturb” mode — it is now disabled by default. I found that it interfered too much, and it’s better to enable it intentionally when you’re working under time pressure or running a busy show where you can’t afford any distractions. gitrls.com/michaldziwisz/sara/
The past below is shared with permission by Tenzin YW on the Action for Happiness app:
Wisdom (Sherab): Seeing Things as They Truly Are
In Tibetan Buddhism, wisdom is one of the six paramitas; qualities that help us live with clarity and compassion. Wisdom isn’t about accumulating more knowledge. It is the understanding that arises when the mind is calm, open, and willing to see reality as it is.
For the Action for Happiness community, this kind of wisdom is deeply practical. It helps us respond to life with kindness rather than habit, and to meet ourselves and others with patience rather than judgment.
At the end of each day, try asking yourself:
“What did I learn today about myself?”
You don’t need a long list. One honest insight even a small one is enough.
Wisdom grows when we pause, soften, and tell ourselves the truth with gentleness.
HN: "Facebook podle soudních dokumentů už v roce 2019 zastavil interní studii, která ukazovala, že sociální sítě zhoršují psychický stav uživatelů. Studie zkoumala náhodný vzorek uživatelů, kteří na měsíc přestali používat Facebook a Instagram. Po prvním týdnu uživatelé hlásili nižší sklon k depresím, pocitům osamocení, nervozity a nutkání se porovnávat s ostatními.
Tyto předběžné výsledky neodpovídaly očekáváním firmy, a tak výzkum předčasně ukončila."
So, I have a newsletter called Apps Weekly. One of the supposed articles is one about 5 ways to stop Youtube ads, but when you activate the link, it brings you to a Google search results... because I can't do that by myself? Do better, or something.
For those of you who have an echo show who are #Blind, what's it like? My brother ordered one and I'm curious to know your experience. What can you do with it?
Our daughter has a smaller one. It helps a lot for her to see answers to questions as well as hear them. There's a version of voice view for you to use the screen if you wish, and you can use the camera both to ask alexa what things are with a pretty poor form of object recognition and to video call others who have compatible shows or have set up the alexa app. You might also be able to use the camera in routines, I haven't looked to see what hers offers in that area.
The thing to realize about Wayland is that noone is out to get you.
Most of the problems people have a knee jerk reaction about were either fixed in the past few years or are being actively worked on. Sometimes it takes a long time because people want to actually do it properly and not just do a quick hack, and that can involve some experimentation and failures before a good solution is settled on. Also creating standards that all major DEs and UI toolkits will agree on can be a challenge.
X11 was made in a time where you ran your software on a mainframe but ran the GUI on a separate computer, noone thought about security yet and hardware accelerated rendering wasn't a concern. At this point it's a massive clusterfuck full of hacks that noone wants to maintain. This is why Wayland exists, because people actually want to work on it, and they want to use the experience from the past to make something that works much better in the modern world, where your GUI apps run directly on your computer, want hardware acceleration, and you may want them to be sandboxed for security reasons.
There is XWayland for compatibility, with implementations ranging from being built into the compositor (KWin) to being a layer on top (xwayland-satellite). I know at least one maintainer of a Wayland compositor that specifically only supports the latter approach because they don't want to deal with implementing any cursed X11 logic.
I keep telling my financial advisor that the reason we haven't bought life insurance is that it is too much paperwork but the reality is I don't want to know I'm worth more dead than alive.
Friendly reminder -- or a heads up, if you didn't see the other post -- that anything/EVERYTHING at my Bandcamp is currently 1/2 off if you use the code "fiddy" at checkout.
Works on anything from a single track to the whole discography! You can pay $6.66 and get every bit of music I have ever released!
Instrumental psychedelia for discerning psychonauts.
Need a ship to explore inner space? The Ether Diver will take you where you need to go, and bring you back in one piece.
The improbability of Rosencrantz and Guildenstern Are Dead and the way scenes from Hamlet are woven into the narrative, captivated me the first time I read it, and made me a Stoppard fan for life.
3️⃣ Here's the 3rd post highlighting key new features of the upcoming v257 release of systemd. #systemd257
So after the relatively heavy fare of the 2nd episode, here's something to digest more easily.
A shaft of light burst into his consciousness. He remembered only the restraints, the prick of Montresor’s needle, being colder than he’d ever been in his life.
More light. “Good, you’re awake. Can you walk?” A hand reaching down to aid him.
“For the love of God, Montresor!”
“Yes, for the love of God. Now come with me, I have so much to show you.” He lifted a hatch in the floor.
“Amontillado?” “Better than that!” Under the floor, impossibly, a window, and the stars slowly swinging by.
Graydon Hoare
in reply to John Regehr • • •✧✦Catherine✦✧
in reply to Graydon Hoare • • •Graydon Hoare
in reply to ✧✦Catherine✦✧ • • •it's not a language (and he doesn't call it one). it's an implementation / instrumentation pass for C/C++ that makes memory errors abort. that's great. but it's exactly C/C++ as source language(s). so if you like C/C++ (or have a gargantuan C/C++ codebase you can't port) and you want to trade perf and memory overhead for dynamic safety it seems like a fine option. it's in a similar ballpark as "building with asan in production" but covers different cases.
(I also find his trolling annoying but I think it somewhat incidental; it's not like the project exists to spite rust people, it's there for good reason, just like asan!)
cliffordheath
in reply to Graydon Hoare • • •✧✦Catherine✦✧
in reply to cliffordheath • • •cliffordheath
in reply to ✧✦Catherine✦✧ • • •✧✦Catherine✦✧
in reply to cliffordheath • • •UBSan/ASan/MSan/TSan were revolutionary when they were introduced; before them your only option (if you used something like gcc on linux) was valgrind, which while effective had some serious limitations, and the sanitizers were like suddenly having normal compiler diagnostics for even previously undiagnosable issues
I've never heard of Rational Purify before (is it some proprietary IBM thing?), but I think Borland had memory check tools back in DOS days too
Graydon Hoare
in reply to ✧✦Catherine✦✧ • • •Purify is the grandparent of all of these, in the sense of instrumenting C object code and trapping every single memory access in a C program and tracking byte-validity of all addresses. It was slow but immediately, astonishingly valuable. It was also proprietary and patented and cost thousands of dollars a seat. Proprietary code used it, FOSS rarely had the luxury until Valgrind.
For a while people (eg. myself, at Red Hat) were prevented from working on Valgrind because of the Purify patents. To dodge them we worked on Mudflap instead, which was "sufficiently different", at least until IBM bought Rational (which had previously bought Pure) and gave assurances they wouldn't enforce them. And of course Red Hat also wound up at IBM anyway. Everything converges.
As an additional quirk of history: Reed Hastings wrote Purify! It's what he made his initial blob of money from. You could say it's indirectly why we have both Valgrind, Asan _and_ Netflix.
web.stanford.edu/class/cs343/r…