31. července 2026

Prádelna 2030

Jak by mohla možná vypadat něčí prádelna 2030


Takto divně to nakreslil ChatGPT 

 


 












Samsung - Stay Connect

LG - Keep Remote Start ON

Gorenje - Remote Start (24 h)

Bosch - Remote Start (Home Connect)

Haier - Always-on Remote Control (hOn) 

AEG - Remote Start / Remote Start Mode

Siemens - Remote Start / Remote Control (Home Connect)

Hoover - Remote Control (hOn);
přesný ekvivalent „Stay Connect po dokončení“ nemá výrobce jasně pojmenovaný.







 Léto 2026  Unitree 


 

2× tříprstá ruka Dex3-1 (tactile verze), silově řízená (force-controlled)

7 DoF na každou ruku (palec 3, ukazovák 2, prostředník 2)

Každá ruka má 7 DoF a 33 taktilních senzorů, což umožňuje přesnější řízení úchopu a práci s objekty.

 














26. července 2026

Coding Factory runs this assembly line

Factory runs this assembly line


This is my personal software factory.

It turns ideas into working products while I sleep. No babysitting coding agents with prompts all day. 

Cursor and Claude Code made writing code way easier. The harder problem is building a system that can context engineer and manage itself.

My factory starts with a Skill called `/factory`. It's the foreman that remembers where the project stands and sends in the right worker for the job. 

Factory runs this assembly line:

1. `/factory-plan` - the interviewer

Reads the existing codebase (if there is one), extracts missing context from me via interview, and writes a product brief. 

2. `/factory-plan` - the planner 

The same skill turns the approved brief into small, testable features and development tasks.

3. `/factory-tests` - the professor 

Before anyone writes code, every task gets an exam. This skill defines the success criteria for each task, and how the coding agent can prove to itself that what it built works or needs iteration. 

4. `/factory-explain` - the presenter

Explains the plan to me like I'm 10, with visual metaphor and mermaid charts. Now that coding agents can write more code, faster than any human ever could, the new bottleneck is human understanding of the code. This skill solves that. 

5. `/factory-handoff` - from CTO to SWE 

This packages the brief, plan, tests, safety rails, and stop conditions into one work order. Factory uses the best models for the planning in the previous steps above, then hands the work order to a lower token usage model like Grok 4.5 for execution.

6. Cursor or Claude Code `/loop` - the coffee 

The night shift picks one task, builds it, takes its exam, records what happened, iterates if needed, then moves onto the next task. If it gets stuck, circuit breakers stop it from confidently digging a deeper hole while I sleep.

7. `/factory-review` - the teacher grades the homework

The student doesn't grade it's own homework. A fresh agent that never met the builder tries to break the result.  The reviewer rereads the original plan, reruns tests, and finds anything that's broken. 

8. `/auto-loom-proof` - shows the evidence 

Uses browser use and screen records itself performing the tests and adds an 11labs voiceover explaining what's being proven. It sends me the narrated demo video. 

9. `/factory-explain` - the code 

The factory updates a plain-language owner's manual explaining what actually got built. I understand my own codebase, so I can make decisions without becoming the bottleneck or outsourcing my thinking to AI. 


NOTE ON BUILDING AI 

Cursor and Claude Code have made writing code dramatically easier. But getting AI to work reliably and at scale for you can't be fully automated.

LLM-as-judge helps, but a judge needs a rubric, examples, and input from someone with subject matter expertise. You still need a human reviewing the work and teaching the system how to perform better.

You can check out my factory on github in the post below.


source: 
https://x.com/mfishbein/status/2081031938228232360




Permanent memory for AI agents. A 426-token prompt, a script, plug and play.
https://github.com/VictorTaelin/OptMem





Graph Engineering Clearly Explained 
from prompt → context → harness → loop → graph engineering:

https://x.com/akshay_pachaar/status/2081089131808243999




https://x.com/toddcohen

https://github.com/squidbay/factory


https://github.com/rennf93/roboco


A universal CLI client for MCP. mcpc supports persistent sessions, stdio/HTTP, OAuth 2.1, tasks, JSON output for code mode, proxy for AI sandboxes, x402, and more
https://github.com/apify/mcpc


Viral Marketing



A hive mind communication platform - buzz
https://github.com/block/buzz

Nástroje pro budování komunit - Jaké používáte vy? Jaké s nimi máte zkušenosti?
https://romanripa.substack.com/p/tip-nastroje-pro-budovani-komunit


Maps
Mapy
Mapa

GeoLibre v2.3.0 is here!
https://x.com/giswqs/status/2081066595527348507





7. července 2026

Andrej Karpathy Bilevel autoresearch - Loop Engineering

Loop Engineering: The Karpathy Method - and the workflow that just made it 5x better

Andrej Karpathy autoresearch

https://github.com/karpathy/autoresearch


Bilevel Autoresearch: Meta-Autoresearching Itself


Who knew early singularity could be this fun? :)

I just confirmed that the improvements autoresearch found over the last 2 days of (~650) experiments on depth 12 model transfer well to depth 24 so nanochat is about to get a new leaderboard entry for “time to GPT-2” too. Works 🤷‍♂️

https://x.com/karpathy/status/2030777122223173639



How I Built a Skill That Makes All My Other Skills Better (Using Karpathy's Autoresearch)

I had 20+ skills running my newsletter. The Karpathy Loop showed me most of them were operating at half their potential.



I Turned Andrej Karpathy’s Autoresearch Into a Universal Skill



I generalized Karpathy's autoresearch into a skill for Claude Code. Works on any codebase, not just ML.
 






TheGreenCedar / codex-autoresearch

A codex plugin for running optimization loops inside a codebase. It is useful when you have a measurable target and many possible changes to try: test runtime, build speed, bundle size, model loss, Lighthouse scores, memory use, query latency, or any other metric you can print from a script.

https://github.com/TheGreenCedar/codex-autoresearch


leo-lilinxiao / codex-autoresearch

Codex Autoresearch Skill — A self-directed iterative system for Codex that continuously cycles through: modify, verify, retain or discard, and repeat indefinitely. Inspired by Karpathy’s autoresearch concept.

https://github.com/leo-lilinxiao/codex-autoresearch  


ResearcherSkill 

Cursor/Claude/Codex současně: ResearcherSkill



  • Desítky paralelních experimentů:
    evo.
  • https://github.com/evo-hq/evo




    Správné zapojení do workflow


    Záměr a akceptační kritéria

            ↓

    běžný agent vytvoří funkci

            ↓

    autoresearch optimalizuje pouze měřitelnou vlastnost

            ↓

    testy a guardy odmítnou regrese

            ↓

    člověk zkontroluje nejlepší diff




    Jak nastavit měřitelné metriky

    Cíl: Co přesně zlepšujeme?

    Baseline: Aktuální hodnota.

    Primární metrika: Jedno číslo a směr.

    Cíl: Hodnota, které chceme dosáhnout.

    Benchmark: Jeden opakovatelný příkaz.

    Guardy: Co se nesmí zhoršit.

    Scope: Které soubory lze měnit.

    Rozpočet: Počet pokusů / čas / náklady.

    Stop: Cíl dosažen nebo N pokusů bez zlepšení.


    Např:

    Cíl: Zrychlit import CSV.

    Baseline: p95 = 4,8 s.

    Metrika: p95 v ms, nižší je lepší.

    Cíl: ≤ 3,0 s.

    Benchmark: npm run benchmark:csv

    Guardy: 100 % testů; shoda výstupu; RAM ≤ 600 MB.

    Scope: src/import/**.

    Rozpočet: 12 pokusů.

    Stop: 4 pokusy bez statisticky významného zlepšení.


    Nejdůležitější pravidlo:
    jedna optimalizovaná metrika + několik nepřekročitelných guardů. Jinak agent metriku „zlepší“ například vypnutím části práce nebo snížením správnosti. Evo na toto riziko výslovně upozorňuje.





    Hub → Spokes → Replies → Insights → Better Hubs

    COS OS

    I Connected ChatGPT to Typefully and Built an X Content Operating System


    Turn ChatGPT into a personal operating system, not a toy. Here’s how I structured it



    https://www.generals.bot

    https://EquiLibre.ai





    https://x.com/pesvklobouku/status/2075228900544655609




    1. července 2026

    Nemluví a je kvadriplegik leukodystrofie Tubb4a - H-ABC

    Můj bratr nemluví a je kvadriplegik v důsledku onemocnění zvaného leukodystrofie související s genem Tubb4a, známého také jako H-ABC:
     
    My brother is nonspeaking and quadriplegic due to a condition called Tubb4a-related Leukodystrophy also known as H-ABC:



    Giving my brother independence again


    Co se stalo s Benem?

    Chodíš na fyzioterapii?

    Jsou ty dlahy na ruce vůbec pohodlné?

    Měl něco podobného i Stephen Hawking?

    Funguje na úrovni třicetiletého člověka?

    Jak Ben jí?

    Dá se Benův stav vyléčit?

    Bolí ho to?

    Jak předcházíte proleženinám?

    Jak Ben komunikuje?

    Mluví Ben s Elouise?

    Opravdu to Ben píše na klávesnici?

    Uvažovali jste o Neuralinku?

    Je Ben opravdu tak šťastný?

    Jak Ben chodí na toaletu?

    Proč nosí Ben obličejový štít?

    Pořídil si Ben psa?

    Jakou hudbu má Ben rád?




    What happened to Ben?

    Are you doing physical therapy?

    Are those arm splints comfortable at all?

    Is this what Stephen Hawking had?

    Is he operating at the capacity of a 30-year-old?

    How does Ben eat?

    Can Ben's condition be cured?

    Does his condition hurt?

    How do you prevent pressure sores?

    How does Ben communicate?

    Does Ben talk to Elouise?

    Is Ben really typing that?

    Have you considered Neuralink?

    Is Ben really this happy?

    How does Ben use the bathroom?

    Why does Ben wear a face shield?

    Did Ben get a dog?

    What music does Ben like?




    Revealing the Answers | Life With a Rare Disease
    NARBE House







    Your Questions Answered
    This video goes over your most frequently asked questions about Ben.

    https://www.narbehouse.com  

    Free games built for switch users

    https://www.switchedgames.org 

    NARBE Foundation invests in projects that prove people with complex needs deserve autonomy, connection, and choice. We support the builders and share what works

    https://www.narbefoundation.org































    30. června 2026

    René Girard - obětní beránek

    René Girard - obětní beránek






    Peter Thiel on "The Portal", Episode #001: "An Era of Stagnation & Universal Institutional Failure."





    Institutional betrayal is a concept described by psychologist Jennifer Freyd

    Institutional courage is a concept described by psychologist Jennifer Freyd as the antidote to institutional betrayal



     Mikuláš Koperník v pojetí Monetae cudendae ratio, kde napsal: „špatná (znehodnocená) mince vyhání dobrou (neupravenou) minci z oběhu“


    Greshamův zákon je ekonomický zákon poprvé definovaný v šestnáctém století sirem Thomasem Greshamem, anglickým finančníkem a obchodníkem. Tvrdí, že „špatné peníze vytlačují dobré“


    „Špatné peníze vytlačují dobré pouze pokud jsou směnitelné s jinými měnami ve fixně vázaném poměru.“ 



    Antropolog Gregory Bateson Greshamův zákon aplikoval i v kulturním vývoji.
    Podle něho vždy zjednodušené myšlenky budou vytlačovat ty sofistikované a vulgarismus bude vytlačovat krásu, ale i přesto krása přetrvává.

    Bývalý americký viceprezident Spiro Agnew Greshamův zákon použil k popisu amerických zpravodajských médií, když řekl, že „špatné zprávy vytlačují ty dobré“






    Why We Stopped Progressing | Peter Thiel | EP 541
    Jordan B Peterson




    Edward Snowden Reveals How They Spy on You
    Thinkable


    Toto je 20 věcí, které o nás telefon ví, aniž bychom mu to řekli. Sleduje neustále a leccos si domyslí
    Martin Chroust
    23. července 2026

    GrapheneOS, Tailscale, OPNsene, Unbound, odfiltrovat ASN 32934 a 15169. To resi vetsinu problemu.

    LineageOS, Dns filter s pár tisíci položek, firefox+ublock origin. + blokace 3 stran. to řeší 99.99990%

    https://www.zive.cz/vysledky-vyhledavani/sc-236/?search=soukrom%C3%AD


    Claude ChatGPT bude do AI textů vkládat vodoznak. Jak se dá neviditelně podepsat něco, kde jsou jen znaky?









    Karoline Gosling
    German girl speaking out against feminism and supporting the patriarchy.
    Orthodox Christian
    https://x.com/KarolineGosling





    ai 2027

    Daniel Kokotajlo, Scott Alexander, Thomas Larsen, Eli Lifland, Romeo Dean
    Mid 2025
    Late 2025
    2026
    Mid 2026
    Late 2026
    Jan 2027

    We predict that the impact of superhuman AI over the next decade will be enormous, exceeding that of the Industrial Revolution.

    We wrote a scenario that represents our best guess about what that might look like.1 It’s informed by trend extrapolations, wargames, expert feedback, experience at OpenAI, and previous forecasting successes.


    Power 
    Power 2026
    Electricity Pricing in the Age of AI
    Neel Somani



     
    George Terry 







    DG Solutions







    privacy

    The ideological orientation of academic science research

    Brilliant article that shows that around 90% of the articles published in the #SocialSciences

    from 1960 - 2025 are politically situated "to the left of center."

    https://x.com/MartinFieder/status/2081037391628820939


    The ideological orientation of academic social science research 1960–2024
    https://link.springer.com/article/10.1007/s11186-026-09690-2

    James Manzi
    Open access  Published: 16 March 2026






    Neutrality Project - Political Neutrality Benchmark
    https://github.com/NeutralityProject/political-compass-benchmark


     




    Tracking Ai
    https://trackingai.org/political-test

     


     


    Source:
    Sam Altman
    https://x.com/sama/status/1738673279085457661





     
     
     
    Jordan B Peterson
    https://x.com/jordanbpeterson/status/2081409426230329718
     
     
    Society
    https://x.com/RmbrAlamoMovie/status/2077170260265013645










    profesor universities ideology left woke right 



    28. června 2026

    The Problem That Won’t Let You Go

    The Problem That Won’t Let You Go

    by: Jordan B Peterson 



    Dr. Jordan Peterson delivered the opening lecture of his
    “We Who Wrestle With God”
    Tour on February 4, 2024, at the Providence Performing Arts Center (PPAC) in Providence, Rhode Island.


    Dr. Jordan Peterson přednesl úvodní přednášku svého turné
    „My, kteří zápasíme s Bohem“
    dne 4. února 2024 v Providence Performing Arts Center (PPAC) v Providence ve státě Rhode Island.












    Search: Jordan+Peterson






    16. června 2026

    How to generate storyboard with Ai

    How to generate storyboard with LLM 

    Simple storyboard how to sketch
    (for full res. download)



    Generate storyboard with GPT Image 2

    Create a high-end 4:3 manufacturing pitch deck storyboard in a 3x4 grid, 12 frames, inspired by Třinecké železárny / Moravia Steel:
    the largest Czech steelmaking company, rooted in Moravian-Silesian industrial heritage.
    Use a premium industrial editorial layout: deep iron grey, graphite black, molten steel orange, subtle corporate red accents, clean white/black typography, precise engineering mood.

    Add a bold centered heading at the top of the storyboard:
    'TŘINECKÉ ŽELEZÁRNY - MORAVIA STEEL MANUFACTURING EDITORIAL'

    Structured flow:
    → raw material and coke
    → blast furnace / steel-making
    → molten steel in ladle
    → continuous casting of blooms and billets
    → rolling mill
    → rails
    → wire rod
    → seamless tubes
    → special bar steel
    → quality control
    → rail logistics
    → the customer is building a railway.

    Each frame split: top: cinematic industrial image with no text, bottom: short production process notes in clean editorial style.
    Visual mood: heavy Czech steel industry, Moravian-Silesian factory atmosphere, glowing molten metal, disciplined engineering precision, human operators and massive machinery together.

    The emotional center throughout is a river of molten steel pouring from a ladle, visually connecting the sequence.
    For some details look here: https://www.trz.cz/en/products/rails-and-accessories/

    Make the aspect ratio 4:3.


     




    Create a high-end 4:3 editorial pitch-deck storyboard in a 3x4 grid, 12 frames total.

    TOPIC:

    [INSERT TOPIC]

    TITLE:

    "[INSERT BOLD CENTERED TITLE]"

    VISUAL DIRECTION:

    Premium editorial layout, cinematic product-development / manufacturing / craft-process aesthetic.

    Use a refined, coherent color palette:

    [INSERT COLOR PALETTE]


    Mood:

    [INSERT MOOD: e.g., precision, speed, elegance, raw power, craftsmanship, heritage, innovation]

    Central emotional / visual motif repeated through the entire storyboard:

    [INSERT MOTIF: e.g., glowing molten line, aerodynamic red airflow, golden cream ribbon, laser beam path, wood grain, fracture line]



    STRUCTURED FLOW:

    Frame 1: [STARTING MATERIAL / INITIAL IDEA]

    Frame 2: [RESEARCH / SKETCH / SELECTION]

    Frame 3: [FIRST TECHNICAL PROCESS]

    Frame 4: [CORE TRANSFORMATION]

    Frame 5: [FORMING / SHAPING]

    Frame 6: [DETAILING / REFINEMENT]

    Frame 7: [TESTING / QUALITY CHECK]

    Frame 8: [HUMAN + TOOL / MACHINE COLLABORATION]

    Frame 9: [NEAR-FINISHED PRODUCT]

    Frame 10: [FINAL FINISH / POLISH / DECORATION]

    Frame 11: [PRESENTATION / PACKAGING / LAUNCH]

    Frame 12: [HERO CLOSURE / FINAL EMOTIONAL IMAGE]



    FRAME DESIGN:

    Each frame must be split into:

    * top 70%: cinematic image only, no text, no labels, no numbers

    * bottom 30%: short production/process notes in clean readable typography



    STYLE RULES:

    * consistent camera language, lighting, materials, and design system

    * clear continuity from raw material / idea to finished product

    * show human hands, tools, machines, or craft where relevant

    * minimal but premium composition

    * no logos, no real brand marks, no copyrighted characters?

    * no messy text, no random labels, no watermark


    OUTPUT:

    A single 4:3 storyboard sheet, 3 columns x 4 rows, clean margins, consistent gutters,

    high-end editorial presentation quality.






    Credit: all inspired by prompt from 𝐌 Strength04_X


    Step 1: Generate storyboard with GPT Image 2

    Create a high-end 4:3 manufacturing pitch deck storyboard in 3x4 grid (12 frames), industrial editorial layout, ThyssenKrupp/Tata Steel style, forge orange + iron grey palette.

    Add a bold centered heading at the top of the storyboard:
    'FORGE — STEEL MANUFACTURING EDITORIAL'.
    Structured flow:
    raw ore → furnace → pour → roll → form → ship closure.
    Each frame split: top cinematic image (no text) + bottom production process notes. Heavy industry minimal aesthetic, molten power mood, human and machine together.
    A river of molten steel pouring from a ladle is the emotional center throughout.

    Make the aspect ratio 4:3

     




    Live with video

    Step 2: Take each frame into Seedance 2.0.

    Set to 1080p to preserve text clarity
    Animate the provided 3x4 storyboard into a smooth cinematic video.
    Preserve exact shot order and continuity.
    Use slow molten pour arc, spark shower cascade, rolling mill compression, and finished steel sheet reflection.
    Lighting transitions from dark furnace fire orange to cool factory floor industrial white.
    Manufacturing editorial aesthetic, raw industrial power, precision at scale mood.

    No new shots, no reordering, molten steel pour remains emotional focus in all scenes.




    Why Enterprise Buyers Research You Before They Contact You  

    1. Trust Inflation Is Real, And Buyers Will Stalk You

    2. Your Entire Digital Footprint Is Now A Sales Asset 

    3. LLMs Are The New Referral Network

    4. The GEO Framework: Entity Clarity, Entity Consistency, Then Scale

    5. The Future Of B2B Discovery Is Conversational 





    Step 1: Generate storyboard with GPT Image 2

    Create a warm 4:3 pencil-sketch teaching storyboard in 3x4 grid (12 frames).

    A grandfather teaches his grandchildren how to sketch a HOUSE with pencil on paper.

    Quiet family atelier mood, soft daylight, wooden table, sketchbooks, pencils, erasers,

    simple teaching gestures, step-by-step learning.

    No visible faces. Nobody looks into camera. Faces are always hidden, turned away,

    cropped out, seen from behind, or covered by hands/paper. Heads are only partially

    glimpsed once in the entire storyboard.

    Add a bold centered heading at the top:

    'GRANDFATHER TEACHES PENCIL SKETCHING — HOUSE'.

    Structured flow:

    blank paper → basic rectangle → roof triangle → perspective lines → windows → door

    → chimney → shadows → texture → garden details → correction → finished house sketch.

    Each frame split:

    top cinematic pencil-sketch teaching scene, no text;

    bottom short process notes.

    Minimal nostalgic editorial layout, graphite grey + warm paper palette.

    Make the aspect ratio 4:3

     









    Step 2: Take each frame into Seedance 2.0.

    Set to 1080p to preserve text clarity.
    Animate the provided 3x4 storyboard into a smooth black-and-white cinematic video.
    Preserve the exact shot order and continuity.
    Use gentle pencil movement, calm hand gestures, light eraser corrections, paper texture,
    and the gradual completion of the human figure sketch.
    The lighting remains soft evening daylight; the hand and paper gradually feel more realistic.
    Graphite grey, quiet family atelier mood.
    Minimal nostalgic editorial aesthetic, intimate teaching atmosphere,
    calm step-by-step learning.

    No new shots except the final one, no reordering.
    No clearly visible faces. Nobody looks into the camera.
    On the right edge, the grandfather’s head briefly appears from a rear three-quarter angle;
    later, the grandchildren similarly appear briefly on the opposite edge,
    always without visible faces.
    In the first 11 shots, the human figure remains only a drawing made by hand and pencil on paper,
    never a posed real person.
    Only in the final shot is the grandfather seen from behind,
    holding 2 grandchildren in his arms: a boy and a girl;
    their faces are still only partially visible, but they are joyful.





    Sketching Practice Inside of a Room Perspective and 3D Form - YouTube





    algorithm algorithmic llm ai
    inspiration imagination vision
    story 

    15. června 2026

    VibeCoding Constitution: No verification, No code

    VibeCoding Constitution:  No verification, No code

    ¬ V ⇒ ¬ C 

    Code ⊆ Verifiable

    ∀x: Code(x) ⇒ Verifiable(x)


    If you can’t verify it, you can’t code it means:
    before building a feature, you must know how to prove that it works correctly.

    Examples:

    “The app should be fast.” - Not enough.
    Verifiable: “The app loads in under 1 second.”

    “The UX should be intuitive.” - Not enough.
    Verifiable: “80% of users complete the task without help.”

    “The AI should give good answers.” - Not enough.
    Verifiable: “In 95% of test cases, the answer is factually correct.”

    “Checkout should be simple.” - Not enough.
    Verifiable: “The order can be completed in 3 steps.”

    “The system should be secure.” - Not enough.
    Verifiable: “Access is denied without a valid token.”

    “The feature is done.” - Not enough.
    Verifiable: “It passes tests and meets acceptance criteria.”




    Inspired by and based on:
    VibeCoding Constitution:  No verification, No code, licensed under CC BY-SA 4.0.


    Czech version
    Verze dokumentu: 0.01_26-06-15  CC BY 4.0
    Download




















    C ≤ V 
    V = 1 ověřeno, V = 0 neověřeno
    C = 1 kód, C = 0 žádný kód

    0 0 = No verification, No code

    V=0 ⇒ C=0

    01 = No verification, but code



    Kód projde jen tehdy, když současně platí:

    Záměr ∧ Kritéria ∧ Testy ∧ Diff-check = PASS 


    CodeAllowed = Intent ∧ AcceptanceCriteria ∧ Tests ∧ Review


    Verification = proof that it works as intended

    VibeCoding Ústava: Co neověříš, nekóduj

    Verifikace = ověření důkazem


    14. června 2026

    Logika vs Logický obvod

    Logický obvod je přesným modelem ověřitelného přemýšlení, protože oba jsou lokálně kontrolovatelné: každý krok má pevné pravidlo a celý výsledek lze zpětně vysledovat až ke vstupům.

    Mapování:
    Hradlo = pravidlo úsudku (AND/OR/NOT ↔ konjunkce/disjunkce/negace, formálně Booleova algebra).

    Vodič = tvrzení nesoucí pravdivostní hodnotu (pravda/nepravda).

    Zapojení obvodu = důkaz/derivace - posloupnost kroků, kde každý plyne z předchozích.

    Determinismus obvodu = reprodukovatelnost - stejné vstupy → stejný výstup, nezávisle na tom, kdo to kontroluje.

    Trasovatelnost k chybnému hradlu = falzifikovatelnost - chybu lze izolovat na konkrétní krok.

    Kombinační obvod tak odpovídá jednorázovému výroku (výstup jen ze vstupů); sekvenční obvod s pamětí odpovídá úvaze závislé na kontextu/předchozím stavu.

    Hranice přirovnání (neschématizuji jako platné):
    obvod je čistě propoziční a dvouhodnotový - nepokrývá pravděpodobnostní, nemonotónní ani sémanticky obsahové usuzování, kde závěr může padnout po přidání nové informace.






    Kurt Gödel - incompleteness theorem CZ

    Logický obvod (a jeho pravdivostní tabulka) je před Gödelem v bezpečí, ale ne proto, že je „úplný". Je v bezpečí proto, že vždycky doběhne k jasné odpovědi a je moc jednoduchý na to, aby mluvil sám o sobě.

    Představ si logický obvod jako automat na jídlo/nápoj: hodíš mince (vstupy), vypadne přesně daný produkt (výstup), pokaždé.
    Nic nezůstane nejasně „viset", nic není záhada. Když chceš, projedeš celou tabulku a všechno ověříš.

    Kurt Gödel mluví o něčem úplně jiném: o systému, který je tak silný, že umí dělat opravdovou aritmetiku (nejen sčítat, ale i násobit) a umí psát výroky o sobě samém.

    Kurt Gödel mluví o systému tak silném, že v něm jde sčítání i násobení dohromady. A to není maličkost.
    Kdyby uměl jen sčítat, zůstal by jednoduchý a řešitelný. Existoval by stroj, co o každém tvrzení rozhodne.
    Kdyby uměl jen násobit, taky by byl v pohodě.
    Teprve když má sčítání a násobení najednou, získá skrytou superschopnost. 
    Umí zakódovat libovolnou posloupnost čísel do jednoho jediného čísla.
    A díky tomu si dokáže „psát vzkazy sám o sobě". Umí každý svůj důkaz převést na číslo a mluvit o něm uvnitř vlastní aritmetiky.
    Právě tahle schopnost mluvit o sobě je to, co spustí Gödelovu past.

     


    Kurt Gödel dokázal, že v takovém systému vždycky existuje výrok, který je pravdivý, ale systém ho nikdy nedokáže. Navíc žádný stroj nedokáže obecně rozhodnout, co v takovém systému dokazatelné je, a co ne.
    To je Church–Turing.

    Obvod tohle nedovede: neumí sčítat i násobit „naplno", neumí mluvit o sobě,
    a hlavně na každou otázku odpoví ano/ne a skončí.
    Proto se u něj gödelovská „pravda, kterou nedokážeš" ani nemůže objevit.

    Pozor na časté zjednodušení: to, co obvod chrání, není jeho „úplnost", ale jeho rozhodnutelnost (vždy doběhne) a jeho slabost (neumí dost aritmetiky ani sebereferenci).







    Logický obvod je elektronický obvod, který zpracovává binární signály (0/1) podle pravidel Booleovy algebry.

    Skládá se z logických hradel (AND, OR, NOT, NAND, NOR, XOR), která na vstupní úrovně napětí (typicky nízká = 0, vysoká = 1) aplikují logickou funkci a dávají definovaný výstup.

    Dělí se na dva typy:

    Kombinační výstup: závisí jen na aktuálních vstupech (sčítačky, multiplexory, dekodéry).

    Sekvenční výstup: závisí i na předchozím stavu, obsahuje paměťové prvky (klopné obvody, registry, čítače), řízené obvykle hodinovým signálem.

    Fyzicky se realizuje polovodičovými prvky (dnes tranzistory CMOS) a tvoří základ všech číslicových systémů (procesory, paměti).



    What are logic gates?   Boolean algebra



    Proč je znalost ARITMETIKY tak důležitá?









    Evidence:

    Presburgerova aritmetika (přirozená čísla, jen sčítání) je bezesporná, úplná a rozhodnutelná - existuje algoritmus, který o každém výroku rozhodne, zda platí. Gödel na ni nedopadá.
     
    Skolemova aritmetika (jen násobení, bez sčítání) je rovněž rozhodnutelná.
    Samotné násobení tedy taky nestačí.
     
    Teprve obojí naráz (Robinsonovo Q, Peanova aritmetika) umožní zakódovat posloupnosti čísel do jednoho čísla tzv. Gödelovo číslování a β-funkci.
    Gödel numbering
    To je technický trik, kterým systém začne umět „mluvit o sobě" (kódovat vlastní důkazy jako čísla), a právě tehdy vzniká nedokazatelný pravdivý výrok.
     
    Takže formulace „nejen sčítat, ale i násobit" je věcně správná, ale zamlčuje proč: nejde o „víc početních úkonů", ale o to, že kombinace sčítání a násobení je minimální síla nutná ke kódování syntaxe do aritmetiky.
    Ani sčítání samo, ani násobení samo tuto schopnost nedají.







    Logic Symbols

    ¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ↔ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣


    Basic Math Symbols

    ≠ ± ∓ ÷ × ∙ – √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °



    https://www.reddit.com/r/math/search/?q=Gödel



    Geometry Symbols

    ∠ ∟ ° ≅ ~ ‖ ⟂ ⫛


    Algebra Symbols

    ≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘∏ ∐ ∑ ⋀ ⋁ ⋂ ⋃ ⨀ ⨁ ⨂ 𝖕 𝖖 𝖗