Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
social.tchncs.de is one of the many independent Mastodon servers you can use to participate in the fediverse.
A friendly server from Germany – which tends to attract techy people, but welcomes everybody. This is one of the oldest Mastodon instances.

Administered by:

Server stats:

3.8K
active users

social.tchncs.de: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#modularity

0 posts0 participants0 posts today
Architecture News<p>Design Milk : Cuddle-Worthy Curves Marry Modularity in King Living’s 1977 Sofa <a href="https://design-milk.com/cuddle-worthy-curves-marry-modularity-in-king-livings-1977-sofa/?utm_source=rss&amp;utm_medium=rss&amp;utm_campaign=cuddle-worthy-curves-marry-modularity-in-king-livings-1977-sofa" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">design-milk.com/cuddle-worthy-</span><span class="invisible">curves-marry-modularity-in-king-livings-1977-sofa/?utm_source=rss&amp;utm_medium=rss&amp;utm_campaign=cuddle-worthy-curves-marry-modularity-in-king-livings-1977-sofa</span></a> <a href="https://masto.ai/tags/sustainabledesign" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sustainabledesign</span></a> <a href="https://masto.ai/tags/modularfurniture" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>modularfurniture</span></a> <a href="https://masto.ai/tags/HomeFurnishings" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HomeFurnishings</span></a> <a href="https://masto.ai/tags/homefurnishings" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>homefurnishings</span></a> <a href="https://masto.ai/tags/modularseating" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>modularseating</span></a> <a href="https://masto.ai/tags/modernseating" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>modernseating</span></a> <a href="https://masto.ai/tags/sectionalsofa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sectionalsofa</span></a> <a href="https://masto.ai/tags/moderndesign" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>moderndesign</span></a> <a href="https://masto.ai/tags/modularsofa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>modularsofa</span></a> <a href="https://masto.ai/tags/KingLiving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>KingLiving</span></a> <a href="https://masto.ai/tags/modularity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>modularity</span></a> <a href="https://masto.ai/tags/furniture" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>furniture</span></a> <a href="https://masto.ai/tags/sectional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sectional</span></a> <a href="https://masto.ai/tags/modular" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>modular</span></a> <a href="https://masto.ai/tags/seating" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>seating</span></a> <a href="https://masto.ai/tags/sofa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sofa</span></a></p>
EVSHIFT<p><a href="https://www.evshift.com/319736/peugeot-e-3008-3008-tutorial-modularity/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">evshift.com/319736/peugeot-e-3</span><span class="invisible">008-3008-tutorial-modularity/</span></a> Peugeot E-3008 &amp; 3008 | Tutorial | Modularity <a href="https://channels.im/tags/Allure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Allure</span></a> <a href="https://channels.im/tags/automobile" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>automobile</span></a> <a href="https://channels.im/tags/CARS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CARS</span></a> <a href="https://channels.im/tags/Design" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Design</span></a> <a href="https://channels.im/tags/e3008" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>e3008</span></a> <a href="https://channels.im/tags/ElectricCars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ElectricCars</span></a> <a href="https://channels.im/tags/ElectricVehicles" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ElectricVehicles</span></a> <a href="https://channels.im/tags/EMotion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EMotion</span></a> <a href="https://channels.im/tags/EV" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EV</span></a> <a href="https://channels.im/tags/Excellence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Excellence</span></a> <a href="https://channels.im/tags/French" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>French</span></a> <a href="https://channels.im/tags/ICockpit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ICockpit</span></a> <a href="https://channels.im/tags/Modularity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Modularity</span></a> <a href="https://channels.im/tags/peugeot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>peugeot</span></a> <a href="https://channels.im/tags/Technology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Technology</span></a> <a href="https://channels.im/tags/tutorial" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>tutorial</span></a></p>
EVSHIFT<p><a href="https://www.evshift.com/318807/peugeot-e-5008-smart-modularity-2/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">evshift.com/318807/peugeot-e-5</span><span class="invisible">008-smart-modularity-2/</span></a> Peugeot E-5008 | Smart Modularity <a href="https://channels.im/tags/E5008" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>E5008</span></a> <a href="https://channels.im/tags/ElectricCars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ElectricCars</span></a> <a href="https://channels.im/tags/ElectricVehicles" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ElectricVehicles</span></a> <a href="https://channels.im/tags/EV" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EV</span></a> <a href="https://channels.im/tags/Modularity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Modularity</span></a> <a href="https://channels.im/tags/peugeot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>peugeot</span></a> <a href="https://channels.im/tags/smart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>smart</span></a></p>
EVSHIFT<p><a href="https://www.evshift.com/318542/peugeot-e-5008-smart-modularity/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">evshift.com/318542/peugeot-e-5</span><span class="invisible">008-smart-modularity/</span></a> Peugeot E-5008 | Smart Modularity <a href="https://channels.im/tags/E5008" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>E5008</span></a> <a href="https://channels.im/tags/ElectricCars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ElectricCars</span></a> <a href="https://channels.im/tags/ElectricVehicles" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ElectricVehicles</span></a> <a href="https://channels.im/tags/EV" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EV</span></a> <a href="https://channels.im/tags/Modularity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Modularity</span></a> <a href="https://channels.im/tags/peugeot" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>peugeot</span></a> <a href="https://channels.im/tags/PeugeotCars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PeugeotCars</span></a> <a href="https://channels.im/tags/PeugeotUK" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PeugeotUK</span></a> <a href="https://channels.im/tags/smart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>smart</span></a></p>
Chuck Darwin<p>We are now concerned with more radical possibilities. </p><p>A paradigmatic example is topology. </p><p>In modern “analytic topology”, a “space” is defined to be a set of points equipped with a collection of subsets called open, <br>which describe how the points vary continuously into each other.<br> (Most analytic topologists, being unaware of synthetic topology, would call their subject simply “topology.”) </p><p>By contrast, in synthetic topology we postulate instead an axiomatic theory, on the same ontological level as ZFC, <br>whose basic objects are spaces rather than sets.</p><p>Of course, by saying that the basic objects “are” spaces we do not mean that they are sets equipped with open subsets. </p><p>Instead we mean that “space” is an undefined word, <br>and the rules of the theory cause these “spaces” to behave more or less like we expect spaces to behave. </p><p>In particular, synthetic spaces have open subsets (or, more accurately, open subspaces), <br>but they are not defined by specifying a set together with a collection of open subsets.</p><p>It turns out that synthetic topology, like synthetic set theory (ZFC), is rich enough to encode all of mathematics. </p><p>There is one trivial sense in which this is true: <br>among all analytic spaces we find the subclass of indiscrete ones, <br>in which the only open subsets are the empty set and the whole space. </p><p>A notion of “indiscrete space” can also be defined in synthetic topology, <br>and the collection of such spaces forms a universe of ETCS-like sets <br>(we’ll come back to these in later installments). </p><p>Thus we could use them to encode mathematics, entirely ignoring the rest of the synthetic theory of spaces. <br>(The same could be said about the discrete spaces, <br>in which every subset is open; <br>but these are harder (though not impossible) to define and work with synthetically. </p><p>The relation between the discrete and indiscrete spaces, <br>and how they sit inside the synthetic theory of spaces, <br>is central to the synthetic theory of cohesion, <br>which I believe David is going to mention in his chapter about the philosophy of geometry.)</p><p>However, a less boring approach is to construct the objects of mathematics directly as spaces. </p><p>How does this work? <br>It turns out that the basic constructions on sets that we use to build (say) the set of real numbers have close analogues that act on spaces. </p><p>Thus, in synthetic topology we can use these constructions to build the space of real numbers directly. </p><p>If our system of synthetic topology is set up well, <br>then the resulting space will behave like the analytic space of real numbers<br> (the one that is defined by first constructing the mere set of real numbers and then equipping it with the unions of open intervals as its topology).</p><p>The next question is, <br>why would we want to do mathematics this way? </p><p>There are a lot of reasons, <br>but right now I believe they can be classified into three sorts: <br>modularity, <br>philosophy, and <br>pragmatism. </p><p>(If you can think of other reasons that I’m forgetting, please mention them in the comments!)</p><p>By “<a href="https://c.im/tags/modularity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>modularity</span></a>” I mean the same thing as does a programmer: </p><p>even if we believe that spaces are ultimately built analytically out of sets, <br>it is often useful to isolate their fundamental properties and work with those abstractly. </p><p>One advantage of this is <a href="https://c.im/tags/generality" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>generality</span></a>. <br>For instance, any theorem proven in Euclid’s “neutral geometry” <br>(i.e. without using the parallel postulate) <br>is true not only in the model of ordered pairs of real numbers, <br>but also in the various non-Euclidean geometries. </p><p>Similarly, a theorem proven in synthetic topology may be true not only about ordinary topological spaces, <br>but also about other variant theories such as topological sheaves, smooth spaces, etc. </p><p>As always in mathematics, if we state only the assumptions we need, our theorems become more general.</p><p> <a href="https://c.im/tags/analytic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>analytic</span></a> <a href="https://c.im/tags/synthetic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>synthetic</span></a></p>
Jendrik Johannes<p>You can now watch the recording of my <a href="https://mastodon.social/tags/DPESummit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DPESummit</span></a> talk: Boosting Developer Productivity Through Better Modularity</p><p>Thoughts on: Why do we have too much accidental complexity in the modularity setup of many software projects? How can that be improved in the Java ecosystem?</p><p>🎥 Video: <a href="https://dpe.org/sessions/jendrik-johannes/boosting-developer-productivity-through-better-modularity" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">dpe.org/sessions/jendrik-johan</span><span class="invisible">nes/boosting-developer-productivity-through-better-modularity</span></a></p><p>🗂️ Slides/Example: <a href="https://github.com/jjohannes/java-module-system" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/jjohannes/java-modu</span><span class="invisible">le-system</span></a></p><p><a href="https://mastodon.social/tags/Gradle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Gradle</span></a> <a href="https://mastodon.social/tags/Java" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Java</span></a> <a href="https://mastodon.social/tags/JPMS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>JPMS</span></a> <a href="https://mastodon.social/tags/Modularity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Modularity</span></a></p>
Glyn Moody<p>Why Generative AI’s Lack Of <a href="https://mastodon.social/tags/Modularity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Modularity</span></a> Means It Can’t Be Meaningfully Open, Is Unreliable, And Is A Technological Dead End - <a href="https://www.techdirt.com/2024/12/03/why-generative-ais-lack-of-modularity-means-it-cant-be-meaningfully-open-is-unreliable-and-is-a-technological-dead-end/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">techdirt.com/2024/12/03/why-ge</span><span class="invisible">nerative-ais-lack-of-modularity-means-it-cant-be-meaningfully-open-is-unreliable-and-is-a-technological-dead-end/</span></a> don't miss the first (AI-generated) comment, which underlines the strengths and weakness of <a href="https://mastodon.social/tags/genAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>genAI</span></a> technology. <a href="https://mastodon.social/tags/opensource" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>opensource</span></a></p>
Glyn Moody<p>Why Generative AI’s Lack Of <a href="https://mastodon.social/tags/Modularity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Modularity</span></a> Means It Can’t Be Meaningfully Open, Is Unreliable, And Is A Technological Dead End - <a href="https://www.techdirt.com/2024/12/03/why-generative-ais-lack-of-modularity-means-it-cant-be-meaningfully-open-is-unreliable-and-is-a-technological-dead-end/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">techdirt.com/2024/12/03/why-ge</span><span class="invisible">nerative-ais-lack-of-modularity-means-it-cant-be-meaningfully-open-is-unreliable-and-is-a-technological-dead-end/</span></a> don't miss the first (AI generated) comment, which underlines the strengths and weakness of <a href="https://mastodon.social/tags/genAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>genAI</span></a> technology.. <a href="https://mastodon.social/tags/opensource" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>opensource</span></a></p>
Óli Gneisti (English)<p>I have had a <a href="https://social.linux.pizza/tags/Framework" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Framework</span></a> laptop for over two and a half years. It was a bit of a gamble because they were still quite new but I bought one because I like repairability and modularity (of course it hasn't needed any repairs).</p><p>When the time came for my older son to get laptop I bought a Framework for him. This is for the same reasons but also because even if the parts would become unavailable I could scavenge parts from one machine to fix the other.</p><p>I also have a <a href="https://social.linux.pizza/tags/Fairphone" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Fairphone</span></a> and the next time someone in the household needs a phone I will buy another one of those for the same reasons. It might not be modular but it is repairable and having two in the household makes it even more convenient.</p><p><a href="https://social.linux.pizza/tags/RightToRepair" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RightToRepair</span></a> <a href="https://social.linux.pizza/tags/Modularity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Modularity</span></a></p>
Jendrik Johannes<p>I did not create much new content in the past months. But I constantly do open source work: mainly on improving usability of the Java Module System with Gradle and in general better Module Management with Gradle.</p><p>The topic can be confusing as Java is modular since ever, but introduced the Java Module System only in newer versions.</p><p>If you want to learn more about this, you may enjoy my video series on the topic: <a href="https://www.youtube.com/playlist?list=PLWQK2ZdV4Yl092zlY7Dy1knCmi0jhTH3H" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/playlist?list=PLWQ</span><span class="invisible">K2ZdV4Yl092zlY7Dy1knCmi0jhTH3H</span></a></p><p><a href="https://mastodon.social/tags/Java" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Java</span></a> <a href="https://mastodon.social/tags/Gradle" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Gradle</span></a> <a href="https://mastodon.social/tags/JPMS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>JPMS</span></a> <a href="https://mastodon.social/tags/Modularity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Modularity</span></a></p>
🧿🪬🍄🌈🎮💻🚲🥓🎃💀🏴🛻🇺🇸<p>It's 2024; <a href="https://mastodon.social/tags/JavaScript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>JavaScript</span></a> <a href="https://mastodon.social/tags/libraries" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>libraries</span></a> should be shipping <a href="https://mastodon.social/tags/ESModules" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ESModules</span></a> *only*</p><p><a href="https://mastodon.social/tags/webDev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>webDev</span></a> <a href="https://mastodon.social/tags/frontend" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>frontend</span></a> <a href="https://mastodon.social/tags/js" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>js</span></a> <a href="https://mastodon.social/tags/modules" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>modules</span></a> <a href="https://mastodon.social/tags/esm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>esm</span></a> <a href="https://mastodon.social/tags/commonjs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>commonjs</span></a> <a href="https://mastodon.social/tags/modularity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>modularity</span></a> <a href="https://mastodon.social/tags/nodejs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>nodejs</span></a> <a href="https://mastodon.social/tags/deno" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>deno</span></a></p>
Public
🏳️‍⚧️ 🎃 Every Day Is Shaunaween 🧙‍♀️👗🌸👻🌸👗

- Wears #programmersocks and #spinnyskirt
- #blahaj is my #rubberduck #programming buddy
- Obsessed with #refactoring #code #onthefly
- Loves #businessintegration #modularity #automation and #userexperience
- Loves #eventdriven design
- Knows what goes wrong when #cacheinvalidationstrikesagain
- Knows when to use #regex, when to use #xml, #html, and #json processing libraries, and when to use parser grammar engines like #antlr
- Loves #elegant code and #syntactic sugar
- Wants to use #problemsolving to #build a better world
- Knows #csharp #dotnet #LINQ #regex #vbnet #php #perl #sql and leaning #go #golang
- Listens to #nin #aphextwin #Ashnikko # but hasn't been able to get into #100gecs yet despite knowing why I should
- Wants to #getfedihired

ExploreLive feeds
About