Это текст Александра Беспалова, но его в Телеграме нет, поэтому просто процитирую тут. Это второй репост за всю историю канала, но очень уж понравилась
Поговорил с чатом о Канте, получилось забавно.
Одна из основных мыслей Канта, которая потом поломала всю философию была такая, что "априорные категории (причинность, время, пространство,...) создают возможность эмпирического познания". Т.е. знание науки это не отражение (иногда ошибочное) природы, как считали ранее. Это результат наложения каких-то "встроенных (в голову) схем" на опыт жизни, для получения какого-то вторичного продукта, который называется — "мир-для-нас". А "мир-как-есть" для нас недоступен, в принципе.
Дальнейшее развитие философии происходило в обсуждении, насколько вообще ок так делать и можно ли с этим всем хоть что-то познать вообще? Что создало для философии XX века ощущение полной шизы и бессмысленного копания в смыслах слов.
Но это, в наше время, банальное наблюдение, которое все и так знают, более ли менее (если не кондовые сциентисты).
И "истина" в этом смысле это просто более устойчивое соответствие модели эксперименту (запомните это определение слова). Под устойчивостью понимается то, что соответствие не рушится от изменения среды.
Допустим, мы считаем, что от тяжести вещи зависит скорость падения. Это наша модель. Тут приходит Галилей и начинает по наклонной плоскости катить шарики разного веса и они всегда разгоняются более ли менее одинаково. Модель не устойчива к изменению "среды". А вот модель, где ускорение свободного падения не зависит от массы, устойчива к наблюдениям кидания шариков разной массы с разным ускорением, потому что можно легко туда добавить сопротивление воздуха и получить разные разгоны на выходе.
Но это тоже довольно обычно, как мне показалось.
А вот что меня зацепило, это то, что из этого следует, что "истина" это не универсальная цель или метафизический эталон, а часть противоречивого эволюционного механизма выживания.
Если модель более устойчива к изменению контекста, то общество, которое ей обладает, способно приспособиться к более широкому спектру возможных сред обитания (относительно обществ, которые не обладают "истиной").
При этом (как положено внутри эволюционных механизмов), внутри хорошо структурированного общества "стремление к истине" это не самая удачная личная стратегия выживания.
Хорошо структурированное общество создает внутри себя устойчивый контекст, в котором начинают эффективно работать простые эвристики (чувствительные к любым изменениям контекста). Они гораздо менее энергозатратные, чем "стремление к истине". И на личном уровне, внутри структурированного общества, стремление к истине (как модели устойчивой к изменениям) может быть просто вредно.
Поэтому в обществе организуются пласты создателей и потребителей инфоцыганского и сходного контента. Этот пласт перераспределяет ресурсы внутри общества, но НЕ делает общество более адаптивным к возможным изменениям среды. Если общество начинает состоять только из таких людей, оно рушится, потому что не способно выдержать никаких изменений.
Но в этом и хитрость эволюции. Выживают только те структурированные общества, где хоть как-то это (на личном уровне не эффективное) стремление к "истине" проявлено. Оно позволяет протащить общество через изменения за счет более устойчивых моделей (само)управления.
И вот мы приходим через тысячи лет эволюции к состоянию, где "истина" сакрализируется, потому что (на личном уровне и в контексте общества) вообще непонятно нахрена это все нужно. Отсюда метафизическое представление Канта об истине как об имманентном свойстве суждения (как бы это часть способности мыслить, в принципе. Без нее нет смысла говорить об осмысленной деятельности). Но ларчик (возможно) открывается проще. Все общества, где "истина" это не ценность хотя бы для некоторой части людей, умерли. И все общества, где она обесценится, исчезнут.
#life
#elixir#elixir#language_server_protocol#lsp
Expert is the official language server for Elixir, helping your code editor understand and work with Elixir code better. You can easily install it by downloading the right version for your system or build it from source if you prefer. Expert supports the latest features through nightly builds and integrates smoothly with your editor, improving coding with features like error checking and code completion. Using Expert makes writing Elixir code faster and less error-prone, boosting your productivity and coding experience. It is open source under Apache License 2.0 and supported by sponsors, ensuring ongoing development and support.
https://github.com/elixir-lang/expert
#elixir#debug_adapter_protocol#elixir#language_server#language_server_protocol#lsp
ElixirLS is a tool that helps you write and debug Elixir code more easily by providing features like code completion, go-to-definition, inline error reporting, and a powerful debugger that supports breakpoints and step-through debugging. It works with many editors and IDEs through standard protocols, making it flexible to use. It also integrates Dialyzer for static code analysis to catch bugs early and offers a server that helps AI tools understand your code better. Using ElixirLS speeds up development, improves code quality, and makes debugging simpler and more efficient. It supports recent Elixir and OTP versions and can be customized for your project needs.
https://github.com/elixir-lsp/elixir-ls
#Italia🇮🇹
#Regionali
#Puglia
Risultati finali. Seggi.
Sezioni scrutinate: 4.032/4.032 (100%).
Partito Democratico - Candidato Presidente Decaro (#PD|S&D): 14
Decaro Presidente: 7
Per la Puglia Decaro Presidente: 4
Movimento 5 Stelle (#M5S|LEFT): 4
🟧Totale liste di centro-sinistra: 29¹
Fratelli d'Italia - Giorgia Meloni (#FdI|ECR): 11
Forza Italia - Berlusconi - PPE - Lobuono Presidente (#FI|PPE): 5
Lega Puglia (#LSP|PfE): 4
Indipendente di centro-destra: 1
🟦Totale liste di centro-destra: 21
¹ Cui si aggiunge il Presidente eletto Antonio #Decaro (PD)
@TuttoElezioni
#Italia🇮🇹
#Regionali
#Puglia
Risultati parziali.Liste.
Sezioni scrutinate: 3.361/4.032 (83,36%).
Partito Democratico - Candidato Presidente Decaro (#PD|S&D): 25,69%
Decaro Presidente: 12,77%
Per la Puglia Decaro Presidente: 8,75%
Movimento 5 Stelle (#M5S|LEFT): 7,39%
Avanti popolari con Decaro candidato Presidente: 4,20%
Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT): 4,16%
🟧 Totale liste di centro-sinistra: 62,97%
Fratelli d'Italia - Giorgia Meloni (#FdI|ECR): 18,55%
Forza Italia - Berlusconi - PPE - Lobuono Presidente (#FI|PPE): 8,99%
Lega Puglia (#LSP|PfE): 7,94%
Noi moderati - Civici per Lobuono (#NM|PPE): 0,83%
La Puglia con noi: 0,08%
🟦 Totale liste di centro-destra: 36,40%
@TuttoElezioni
#Italia🇮🇹
#Regionali
#Campania
Risultati finali. Seggi.
Sezioni scrutinate: 5.825/5.825 (100%).
Partito Democratico (#PD|S&D): 10
Movimento 5 Stelle 2050 (#M5S|LEFT): 5
A testa alta: 4
Avanti Campania: 3
Casa riformista per la Campania: 3
Roberto Fico Presidente: 3
Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT): 2
Mastella Noi di Centro Noi Sud: 2
🟧 Totale liste di centro-sinistra: 32¹
Giorgia meloni per Cirielli - Fratelli d'Italia (#FdI|ECR): 7
PPE Forza Italia Berlusconi (#FI|PPE): 6
Lega - Cirielli Presidente (#LSP|PfE): 3
Cirielli Presidente per la Campania - Moderati e riformisti: 2
🟦 Totale liste di centro-destra: 18
¹ Cui si aggiunge il Presidente eletto Roberto #Fico (M5S)
@TuttoElezioni
#Italia🇮🇹
#Regionali
#Campania
Risultati parziali.Liste.
Sezioni scrutinate: 3.640/5.825 (62,49%).
Partito Democratico (#PD|S&D): 18,90%
Movimento 5 Stelle 2050 (#M5S|LEFT): 9,37%
A testa alta: 7,73%
Casa riformista per la Campania: 6,16%
Roberto Fico Presidente: 5,50%
Avanti Campania: 5,24%
Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT): 4,64%
Mastella Noi di Centro Noi Sud: 3,89%
🟧Totale liste di centro-sinistra: 61,41%
Giorgia meloni per Cirielli - Fratelli d'Italia (#FdI|ECR): 11,75%
PPE Forza Italia Berlusconi (#FI|PPE): 10,84%
Lega - Cirielli Presidente (#LSP|PfE): 5,37%
Cirielli Presidente per la Campania - Moderati e riformisti: 4,57%
Noi moderati - Cirielli Presidente (#NM|PPE): 1,18%
Cirielli Presidente Unione di Centro Democrazia Cristiana (#UDC|PPE): 0,51%
Democrazia Cristiana con Rotondi - Centro per la libertà: 0,45%
Pensionati consumatori - Cirielli Presidente: 0,20%
🟦Totale liste di centro-destra: 34,87%
🟥 Campania popolare - Giuliano Granato Presidente: 2,15%
@TuttoElezioni
#Italia🇮🇹
#Regionali
#Marche
Risultati preliminari. Liste.
Sezioni scrutinate: 1.572/1.572 (100%).
🟦 Fratelli d'Italia (#FdI|ECR): 27,41%
🟦 Forza Italia (#FI|PPE): 8,60%
🟩 Lega (#LSP|PfE): 7,37%
⬜️ I Marchigiani: 4,25%
⬜️ Civici Marche: 2,59%
⬜️ Liste civiche-Unione di Centro (#UdC|PPE): 1,91%
🟦 Noi Moderati (#NM|PPE): 1,64%
Totale liste centro-destra: 53,77%
🟧 Partito Democratico (#PD|S&D): 22,50%
⬜️ Matteo Ricci Presidente: 7,34%
🟨 Movimento 5 Stelle (#M5S|LEFT): 5,08%
🟥 Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT): 4,15%
⬜️ Progetto Marche: 1,92%
⬜️ Avanti con Ricci: 1,43%
⬜️ Pace Salute Lavoro: 1,13%
Totale liste centro-sinistra: 43,55%
Altri: 2,68%
@TuttoElezioni
#Italia🇮🇹
#Regionali
#Marche
Risultati preliminari.Liste.
Sezioni scrutinate: 1.413/1.572 (89,88%).
🟦 Fratelli d'Italia (#FdI|ECR): 27,54%
🟦 Forza Italia (#FI|PPE): 8,60%
🟩 Lega (#LSP|PfE): 7,35%
⬜️ I Marchigiani: 4,27%
⬜️ Civici Marche: 2,62%
⬜️ Liste civiche-Unione di Centro (#UdC|PPE): 1,92%
🟦 Noi Moderati (#NM|PPE): 1,60%
Totale liste centro-destra: 53,90%
🟧 Partito Democratico (#PD|S&D): 22,54%
⬜️ Matteo Ricci Presidente: 7,20%
🟨 Movimento 5 Stelle (#M5S|LEFT): 5,12%
🟥 Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT): 4,10%
⬜️ Progetto Marche: 1,90%
⬜️ Avanti con Ricci: 1,44%
⬜️ Pace Salute Lavoro: 1,12%
Totale liste centro-sinistra: 43,42%
Altri: 2,68%
@TuttoElezioni
#Italia🇮🇹
#Regionali
#Veneto
Risultati finali. Seggi.
Sezioni scrutinate: 4.729/4.729 (100%).
Lega - Liga Veneta Stefani Presidente (#LSP|PfE): 19
Fratelli d'Italia - Giorgia Meloni (#FdI|ECR): 9
Forza Italia Berlusconi Autonomia per il Veneto (#FI|PPE): 3
Liga Veneta Repubblica V.A.: 1
Unione di Centro (#UdC|PPE): 1
🟦 Totale liste di centro-destra: 33¹
Partito Democratico - Manildo Presidente (#PD|S&D): 10
Alleanza Verdi e Sinistra (#AVS|G/EFA|LEFT): 2
Movimento 5 Stelle (#M5S|LEFT): 1
Uniti per Manildo Presidente: 1
Le civiche venete per Manildo Presidente: 1
🟧Totale liste di centro-sinistra: 15
⬛️ Szumski resistere Veneto: 2
¹ Cui si aggiunge il Presidente eletto Alberto #Stefani (LSP)
@TuttoElezioni
#rust#code_quality#ide#language#language_server#lsp#python#rust#type_check#type_checker#typecheck#typechecker#types#typing
Pyrefly is a fast tool for checking Python code. It helps catch mistakes before you run your code, making it easier to write reliable programs. Pyrefly can work with both new and old Python projects, even if they don't have type information. It integrates well with editors like VSCode, providing features like auto-completion and code refactoring. This makes coding faster and more efficient, helping you avoid bugs and making your code easier to understand and maintain.
https://github.com/facebook/pyrefly