25. července 2026

Nový život pro šuplíkové mobily





Nový život pro šuplíkové telefony. Webová aplikace ScreenWall je promění v meteostanici či fotorámeček




Webová platforma ScreenWall



















Posted by at Žádné komentáře:
Labels: ,

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




    Posted by at Žádné komentáře:
    Labels:

    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































    Posted by at Žádné komentáře:
    Labels: ,

    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


    Hraniční modely již vykazují podstatnou, i když ještě ne nadlidskou úroveň evaluačního povědomí.

    Large Language Models Often Know When They Are Being Evaluated
    by:
    Joe Needham, Giles Edkins, Govind Pimpale, Henning Bartsch, Marius Hobbhahn

    LLM benchmark



    Dear Dario
    Posted by at Žádné komentáře:
    Labels: ,

    The ideological orientation of academic science research

    The ideological orientation of academic social science research 1960–2024   -   Theory and Society

    https://link.springer.com/article/10.1007/s11186-026-09690-2

    James Manzi 
    (researcher at the University of Oxford)
    Open access  Published: 16 March 2026
    https://x.com/Theory_Society


    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 WEF’s Gender Disinformation Campaign

    A combination of activism and evolved cognitive bias results in suboptimal social and economic policies.

    David C. Geary




    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



    Feminism Cannot be Reformed

    It must be destroyed, root and branch


    How Men Became the Villains of American History

    Tom Golden



    Truly free Ai LLM





     

    Sometimes a monster is required to fight a monster.
    Někdy je třeba porazit monstrum pomocí jiného monstra.

    https://x.com/jordanbpeterson/status/2081409426230329718





    Centrum pro genderová studia University of Cambridge - současní doktorandi
    To vše se zdá velmi objektivní a vyvážené ...
    Posted by at Žádné komentáře:
    Labels: ,

    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






    Posted by at 1 komentář:
    Labels:

    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 

    Posted by at Žádné komentáře:
    Labels: , ,

    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


    Posted by at 1 komentář:
    Labels:

    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

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




    Posted by at Žádné komentáře:
    Labels:

    13 F system app

     

     úlet podle špatného plánu 18 hodin nostop speed 1,5x


    CONTROL-ENFORCEMENT-001-R3: čistá a kriticky kontrolovaná obnova

    Výchozí rozhodnutí

    Současný dirty worktree zůstane beze změny jako QUARANTINED_CANDIDATE_SOURCE.

    Nebude se přebírat cizí stale freeze ani předstírat jeho vlastník.

    Nový čistý worktree vznikne na samostatné větvi z lokálního 65cb6d1, na který ukazuje i lokální origin/main.

    Aktuální live stav GitHub remote je UNVERIFIED, protože přístup nyní selhal na chybějících credentials.

    Žádný historický receipt se nepřepisuje.


    ...


    Kritická acceptance

    Každý normativní výrok musí mít stav TRUE_FINDING, FALSE_POSITIVE, UNVERIFIED nebo OUT_OF_SCOPE.

    Autor nesmí být jediný reviewer své změny.

    Povinné adversarial testy zahrnou konkurentní CAS, pády mezi zápisy, poškozený chain, clock jump, suspend/restart, PID reuse, stale lease, přímý zápis, změnu Git indexu, --no-verify, symlink/junction/hardlink a raw/secret v binary/archive.

    Každý balík kontrolují minimálně dva nezávislí read-only kritici: kontrakt/bezpečnost a testy/provoz.

    Otevřený potvrzený P0/P1 znamená BLOCKED.

    PASS testů nikdy sám nevytváří vyšší enforcement úroveň ani ACCEPTED.


    ---------------------------



    **Aktuální stav:** 

    implementace je technicky pokročilá, ale celý plán ještě není hotový ani `ACCEPTED`. Zůstává `REVIEW_REQUIRED`.


    **Hotové / doložené**

    - Čistý worktree a větev z commitu `65cb6d1`; původní dirty strom zůstal v karanténě.

    - Implementované kandidátní řízení: lease, freeze, checkpoint chain, work packages, autorizované zápisy, transition/execution runner a owner session/agent.

    - Uzavřeny dosavadní zdrojové P0/P1 v kontrolovaném rozsahu.

    - Produkční completion cesta už není mockovaná a prochází všemi šesti režimy.

    - Předchozí snapshot prošel:

      - OwnerAgent `10/10`

      - execution `24/24`

      - PROCESS `12/12`

      - FAST `184/184`

      - FULL `213/213`

      - compileall a diff-check bez chyby.

    - Manifesty a exact SHA closure byly nezávisle ověřeny.

    - Doplněna kontrola `RESULT_SEMANTICS` před čtením provenance.


    **Právě se dokončuje**

    - Test byl dále zpřesněn o:

      - SHA a payload-hash každého ze šesti result receipts,

      - důkaz čerstvých výsledků místo replaye,

      - per-mode target marker.

    - Na nových bytech už prošlo `10/10`, PROCESS `12/12` a FAST `184/184`.

    - Aktuálně běží nový FULL gate; potom musí následovat compileall, diff-check a nové exact-byte review.


    **Co ještě chybí**

    1. Uzavřít nový FULL gate a nezávisle zkontrolovat poslední změněné byty.

    2. Doložit spuštění skutečného canonical `ce002c_run_tests.py`; současný integrační test používá syntetický child runner. To je stále oracle/acceptance P1.

    3. Vytvořit nový immutable `REVIEW_REQUIRED` successor package s konečnými SHA.

    4. Vyřešit dlouho žijícího vlastníka lease. Jednorázový recovery CLI proces by okamžitě zemřel a znovu vytvořil stale lease.

    5. Bezpečně invalidovat/reconcile starou lineage a vytvořit nový lease, freeze a checkpoint chain.

    6. Teprve poté provést transition/execution.

    7. Doložit Windows two-process, abrupt-parent, power-loss a fyzickou durability.

    8. Dokončit vzdálenou GitHub ochranu a živě ověřit required checks, ruleset, force-push a admin bypass.

    9. Následně provést selektivní migraci práce, acceptance, commit a push.


    Nejdůležitější závěr: 

    **zdrojový kandidát už nevykazuje známý P0/P1, ale provozní autorita a acceptance ještě nejsou doložené.**


    ---------------------------




    Pokud je cílem **funkční a ověřená aplikace**, nikoli vývoj obecného enforcement systému odolného proti svévolným zápisům, většinu plánu lze odložit.


    **Co z plánu zachovat**

    - **CE-000 částečně:** pracovat v čisté větvi/worktree z důvěryhodného commitu a původní dirty stav zachovat jako zálohu.

    - Spustit baseline testy před přenosem změn.

    - Přesně určit, které aplikační soubory se přenášejí.

    - **CE-002 minimálně:** před commitem zkontrolovat diff, staged obsah, testy a secrets.

    - **CE-004 zjednodušeně:** přenášet změny po malých funkčních balících a každý otestovat.

    - Nezávislé code review pro aplikační chyby P0/P1.

    - Běžné CI před merge/publikací.


    **Co nyní není potřeba**

    - Vlastní lease/freeze systém.

    - Hashovaný checkpoint event chain a CAS pointery.

    - Persistent owner-holder a recovery lineage.

    - Kryptografické receipts pro každý zápis.

    - Windows power-loss, PID reuse a crash-recovery matice.

    - Job Object enforcement.

    - GitHub admin-bypass a force-push dokazování nad rámec běžné branch protection.

    - `OS_WRITE_ISOLATED`.

    - Vlastní transition/execution control runtime.


    Tyto mechanismy řeší důvěryhodnost řídicího systému, ne funkčnost 13F aplikace.


    **Minimální cesta k funkční aplikaci**

    1. Zastavit další rozšiřování control-plane kandidáta a uchovat ho jako `REVIEW_REQUIRED`.

    2. Založit čistou aplikační větev z důvěryhodného commitu.

    3. Přenést pouze relevantní aplikační změny z dirty stromu.

    4. Implementovat jednotný exposure model pro 13F i non-13F data.

    5. Zajistit, že každý relevantní accession skončí jako exposure nebo explicitní `UNKNOWN_POSITION_IMPACT`.

    6. Upravit hlavní přehledy a grafy, aby non-13F exposure nebyla skrytá.

    7. Doplnit NBIS regresi: `12,410,060` akcií a `5.60 %` musí být viditelné mimo samotnou 13D/13G tabulku.

    8. Spustit regeneraci dat, audit, aplikační testy, HTML kontrolu a vizuální kontrolu běžící aplikace.

    9. Zkontrolovat diff a secrets, vytvořit commit a projít běžným CI/code review.


    **Praktický verdikt**

    Pro funkční aplikaci postačuje:


    `clean Git baseline → malé aplikační změny → cílené testy → širší regrese → datový audit → UI kontrola → code review → CI`


    Současná control-enforcement práce je výrazně širší než tento cíl. Neměla by blokovat vývoj aplikace, pokud změny zůstanou oddělené v běžných Git větvích/worktrees a nejsou označeny jako bezpečnostně `ACCEPTED` bez odpovídajících důkazů.


    ----

    Manager pokračoval v nadbytečném owner-holder řešení navzdory novému cíli funkční aplikace.
    Doporučil jsem control-plane pozastavit jako REVIEW_REQUIRED a tým přeřadit na datový tok, NBIS/non-13F regresi a UI completeness.



    --------------------------

    **1. Má se plán měnit?**

    Ano, ale pouze cíleně. Základní architekturu `CONTROL-ENFORCEMENT-001-R3` není potřeba nahrazovat.


    **Co zůstává správně**

    - Karanténa původního dirty worktree.

    - Čistý successor worktree z přesně určeného commitu.

    - Postup `CE-000 → CE-001 → CE-002 → CE-003 → CE-004`.

    - Manager jako jediný integration/acceptance owner.

    - Nezávislé read-only kontroly.

    - Otevřený P0/P1 znamená `BLOCKED`.

    - Test PASS není acceptance.

    - Rozlišení lokální detekce, remote gate a skutečné OS izolace.


    **Co je potřeba doplnit**

    1. **Owner-session kontrakt do CE-002**

       - Execution i transition musí ověřovat živý owner proces, přímého potomka, PID creation-time a process image.

       - Produkční API nesmí přijímat volně dodaný PID nebo process identity.

       - Současný transition runner stále nemá dostatečnou vazbu na skutečného volajícího. To je otevřený P1.


    2. **Lease/session epoch**

       - Všech šest prepublication výsledků musí patřit ke stejnému `epoch_id`, lease payloadu, bindingu a predecessor checkpointu.

       - Renewal nebo expiry uprostřed epochy musí epochu ukončit a vyžádat nové výsledky.

       - Tento proces dnes není normativně definovaný.


    3. **Environment admission**

       - Do plánu explicitně přidat immutable mapu `mode → expected_environment_sha256`.

       - Producer i transition consumer musí ověřovat stejnou mapu.

       - Poslední candidate implementace tuto dřívější P1 pravděpodobně uzavírá a SL1 ji staticky potvrdil, ale runtime receipts a celý gate ještě nejsou ověřené.


    4. **Přesnější pojem „immutable“**

       - Na lokální úrovni jde o content-addressed, canonical a tamper-detectable artefakty.

       - Nejde o fyzickou neměnnost proti procesu se stejnými Windows právy. Ta vznikne až v `OS_WRITE_ISOLATED`.


    5. **Neuvádět trvalé počty testů v hlavním plánu**

       - Počty jako `18/18`, `25/25`, `12/12` patří do hash-bound candidate manifestu.

       - Plán má vyžadovat přesný count a SHA aktuálního test-ID setu, nikoliv historické konstanty.


    6. **Upřesnit recovery pořadí**

       - Archivace starého lease.

       - Terminální invalidace starého freeze/checkpoint lineage.

       - Nový empty-allowlist bootstrap.

       - Nový `STARTED`.

       - Nový epoch a nové výsledky.

       - Teprve potom authorization a transition.


    **Verdikt**


    Plán není potřeba přepracovat od začátku. Potřebuje revizi acceptance kontraktu CE-002 o owner-session, epochy, environment admission a přesnou definici lokální „immutability“. Dokud není uzavřen owner-session P1, stav zůstává `REVIEW_REQUIRED/BLOCKED`.


    **2. Cíl plánu**


    Cílem je vytvořit důvěryhodný proces změn, ve kterém:


    - nelze tiše převzít dirty, stale nebo cizí práci;

    - každý zápis má konkrétního vlastníka, bounded scope a ověřitelný původ;

    - lease, freeze, checkpoint, test evidence a výsledné byty tvoří jeden kontrolovatelný řetězec;

    - pád procesu, expiry, PID reuse nebo nejasný stav vede k blokaci a řízené obnově;

    - žádný test, receipt ani reviewer nemůže sám vytvořit `ACCEPTED`;

    - do čisté větve se přenášejí pouze malé, nezávisle prověřené balíky;

    - lokální ochrana může později přejít na remote merge gates a skutečnou OS izolaci.


    Nejde primárně o aplikační funkci. Je to bezpečnostní a integrační základ, který má zabránit falešně zelenému stavu a nedoloženým změnám při dalším vývoji projektu.

     




    ---------------------------------------------------------------------

    Pracoval 19h 29m 53s


    Windows operational balík je dokončen:

    Přidán skutečný dvouprocesový hard-exit/reconciliation test.

    Opraveny oba P1: strict boolean potvrzení a přesná vazba na předchozí PID/writer identity.

    Nezávislé SENTlab 1/2 review: žádné zbývající P0/P1.

    Runtime testy 15/15, celý OSR suite 538/538.

    compileall a git diff --check: PASS.

    Nový lokální commit: 

    Worktree je čistý.

    Aktuální aplikace běží na http://127.0.0.1:8511/esu6-fop.
    Správně hlásí POLICY_SETUP_REQUIRED, TCP_LISTENER_UNREACHABLE, HeatMap BLOCKED, OI 0/24.

    Zbývají pouze vyšší provozní/OS limity: nezávislé potvrzení ukončení IBKR operace, orphan-event reconciliation a write-side junction/reparse containment. Offline kandidáta neblokují; ACCEPTED ani live OI/Volume tím nevzniká. Push nebyl opakován po předchozím bezpečnostním zamítnutí.

    E2E test



    Posted by at Žádné komentáře:
    Přihlásit se k odběru: Příspěvky (Atom)