@DgardsGaming@ryudawolf yes, the official name of the official court is "People's Court" cuz China is technically socialist if you forget, so as the "People's Procuratorate" and ofc "People's Government"
@DgardsGaming@ryudawolf Not really.
It's technically a suggestion, yes. BUT since it's one from the supreme court, it'll "kinda" be enforeced as an official decision, but not as important as an "official" official decision.
Like you should know things work a bit differently here.
A good example is that you may use Proof Assistants' compilers (like LEAN4) to actually verify proofs of almost any mathematical propositions. That is something LLMs can never achieve. LLMs may be heuristic, but never be the proof of anything.
This is the worst analogy i've ever seen in a while. Compilers are complicated, yes. But the real difference is that compilers are NOT black boxes. It's not just compiler being deterministic, they are also formally verifiable, which is a fundamental difference.
I MADE THE WORST DECISION OF MY FUCKING LIFE
I DECIDED TO WATCH THIS FUCKING GP AT 1 AM
1 FUCKING AM BECAUSE I SEE LEC WAS P1 BEFORE I WENT TO BED
FUCK THIS
— Вот мой новый VPN сетап. Как вам?
— Ух ты, красивый, вы только посмотрите.
— Только вчера дописал конфиг. sing-box + GeoIP базы Antizapret для сплит-роутинга на клиенте, FakeIP против утечек DNS, Shadowsocks 2022 over Cloak в качестве транспорта. Первый хоп на сервера VK Cloud в России, потом в Нидерланды. Фолбек на коммерческие сервера RedShield через AmneziaWG2.0.
— Оnлично, Бейтман, но всё это пустяки. Смотри. Сплит трафика по приложениям: браузерный трафик идёт через Naive Proxy, тяжёлый трафик — через Hysteria2 с Brutal, на разные VPS, также с мультихопом через Россиию. Telegram через MTProto. Подключено два интернет-провадйера, между которыми роутер переключается по round-robin в случае потери связи. DNS leak исключён за счёт использования DoH к Quad99 и блокировки исходящего трафика на 53 порт. Ну как?
— Красиво. Высший класс. (Не думал, что у него столько вкуса. Не могу поверить, что Брайсу больше понравился стек Ван-Пата)
— Но постойте. Вы ещё ничего не видели. VLESS через Xray-Core с транспортом в виде WebSocket и gRPC — трафик идёт до известных CDN: Cloudflare, NGENIX, Yandex CDN и CDN77, с domain-fronting и ротацией в зависимости от пинга и загрузки. Глобальный фолбек в виде Tor Snowflake (WebRTC) через хоп на резидентный IP в Беларуси, с которым устанавливается параллельный настоящий звонок для маскировки.
— Очень красиво... А покажи-ка VPN Пола Алена.
Какой лаконичный стек... Это же золотой стандарт индустрии... VLESS + Reality + XTLS-Vision + uTLS... И первый хоп подобран со вкусом: белосписочный VPS в Yandex Cloud... Максировка под сертификат Yandex Market из той же подсети, защита от активного пробинга... Боже, даже фолбек есть: нелегальный turn-proxy через абьюз WebRTC звонков Вконтакте...