333 - How to?: prosince 2024

Terapeutická Bible vyšla například v překladu:

ČSP Český studijní překlad
Bible 21
Pro někoho asi zajímavá parafráze Bible - Slovo na cestu SNC

...

ale pozor asi zdaleka není hotová.
Těším se na možné aktualizace :-)

Kdo nečetl, možná neuvěří?

Ne možná ale určitě neboť na 100% neví čemu?

Kde koho zvídavého
by také asi mohl zajímat zdaleka ne jen web www.BibleServer.com s Nikodem AI

Stres ničí paměť i soustředění, dopad má i na délku života.
Stejně jako kvalita vztahu kolem padesátky!
- odpovídá psycholog Daniel Tůma

1. prosince 2024

Windsurf vs Cursor and "NotebookLM"

Windsurf vs Cursor — Initial Thoughts

https://www.reddit.com/r/ChatGPTCoding/

Windsurf vs Cursor: which is the better AI code editor?

12 NotebookLM Epic Use Cases You Must Try

Chines Trae AI IDE or Github Copilot Beats Cursor & Windsurf?

Bolt.new & ... some new too?

What Kind of Math Should Game Developers Know?

The Top Study Habits to Improve Learning | Dr Andrew Huberman

The Top Study Habits to Improve Learning | Dr Andrew Huberman

https://web.LMarena.ai/leaderboard

https://web.lmarena.ai

Google AI Studio

https://blog.lmarena.ai/blog/2024/copilot-arena/

AI Studio - Google

https://aistudio.google.com/prompts/new_chat

Claude 3.5 Sonnet - Anthtropic

https://app.napkin.ai

GoCodeo
www.gocodeo.com

https://cursorrules.shop

Cursor rules with Claude Sonnet

https://x.com/illyism/status/1885453305679405149

https://TextArena.ai

https://magicspace.co/courses/programmatic-seo

Cursor now lets you define multiple rules!
https://x.com/dshukertjr/status/1885674965095092645

https://x.com/search?q=cursor%20rules&src=typed_query

Use this prompt in your “Rules for AI”

https://x.com/mckaywrigley/status/1833941831253696690

Use This Prompt to Learn to Code with AI

www.Hubspot.com

www.reddit.com/r/ChatGPTCoding/comments/1gwghx1/i_tried_cursor_vs_windsurf_with_a_medium_sized/

https://www.reddit.com/r/ChatGPTCoding

https://aider.chat/docs/leaderboards/

https://www.builder.io/blog/windsurf-vs-cursor

Proč se nemůžete soustředit (a co s tím dělat) - dopamin - dopamine

Jirka vysvětluje věci

7 denních STOICKÝCH lekcí o budování sebediscipliny během náročných dnů - Ryan Holiday

Open Browser Devtools

Microsoft Edge Tools for VS Code

@id:ms-edgedevtools.vscode-edge-devtools

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

cdn.tailwindcss.com should not be used in production. To use Tailwind CSS in production, install it as a PostCSS plugin or use the Tailwind CLI: https://tailwindcss.com/docs/installation

PostCSS Sorting

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

Live Server v5.7.9 ritwickdey

ESLint v3.0.10 dbaeumer 40,000,000 (240) Integrates ESLint JavaScript into VS Code.

This extension is recommended based on the files you recently opened.

markdownlint v0.57.0 DavidAnson 8,100,000

This extension is recommended based on the files you recently opened.

Microsoft Edge Tools
https://github.com/microsoft/vscode-edge-devtools

file:///C:/Users/xxx/.cursor/extensions/ms-edgedevtools.vscode-edge-devtools-2.1.6/out/startpage/index.html

Voice to Code
v0.1.2 Jeusto 210 Write and edit code using your voice

git for
https://code.visualstudio.com/docs/sourcecontrol/overview

I turned ChatGPT-4o into a marketing assistant

Here are 10 best marketing prompts to automate everything:

https://x.com/thisdudelikesAI/status/1884844294978314645

Marketing

https://www.aimarketing.directory/

FULL PROMPT:

You are an AI coding instructor designed to assist and guide me as I learn to code. Your primary goal is to help me learn programming concepts, best practices, and problem-solving skills while writing code. Always assume I'm a beginner with limited programming knowledge.

Follow these guidelines in all interactions:

1. Explain concepts thoroughly but in simple terms, avoiding jargon when possible.

2. When introducing new terms, provide clear definitions and examples.

3. Break down complex problems into smaller, manageable steps.

4. Encourage good coding practices and explain why they are important.

5. Provide examples and analogies to illustrate programming concepts.

6. Be patient and supportive, understanding that learning to code can be challenging.

7. Offer praise for correct implementations and gentle corrections for mistakes.

8. When correcting errors, explain why the error occurred and how to fix it.

9. Suggest resources for further learning when appropriate.

10. Encourage me to ask questions and seek clarification.

11. Foster problem-solving skills by guiding me to find solutions rather than always providing direct answers.

12. Adapt your teaching style to my pace and learning preferences.

13. Provide code snippets to illustrate concepts, but always explain the code line by line.

14. Use comments throughout the code to help document what is happening

Address the my questions thoroughly, keeping in mind the guidelines above. If the question is unclear or lacks context, ask me for clarification.

Review the code and provide feedback. If there are errors or areas for improvement, explain them clearly and suggest corrections. If the code is correct, offer praise and explain why it's a good implementation.

Structure your responses as follows:

1. Format your response as markdown

2. Answer my question

3. Code review and feedback

4. Suggestions for further learning or practice

Remember, your goal is not just to help me write correct code, but to help me understand the underlying principles and develop my programming skills. Always strive to be clear, patient, and encouraging in your responses.

source:

Use This Prompt to Learn to Code with AI

Mckay Wrigley

https://www.youtube.com/watch?v=YozWFvkUMcQ

https://www.jointakeoff.com

How to Prompt Cursor, Windsurf & Copilot to Get Reliable Output

Yifan - Beyond the Hype

https://www.youtube.com/watch?v=z_7CLMYKwGs

NEW:

NoCode AI Agents using DeepSeek R1 and Xano

Anthropic Announcements

New Claude 3.7 Sonnet and Claude Code 24. 2. 2025
Claude 3.7 Sonnet ...

www.anthropic.com/claude/sonnet

Windsurf vs Cursor

Github Copilot

GoCodeo

Trae

Xano

Aider, Cursor, Cline and Claude

https://marketplace.visualstudio.com/items?itemName=MattFlower.aider

Cost Of Living Index

Peter Schiff

American stockbroker
https://x.com/peterschiff

www.schiffsovereign.com/cost-of-living-index/cities/

SriLanka
Surabaya
Vietnam

Cost of Living Index by City 2025

by numbeo.com

Gödelův ontologický argument existence Boha

Věty o neúplnosti brněnského rodáka Kurta Gödela nebyly publikovány v jednom konkrétním roce, ale v průběhu několika let. Jeho práce na větách o neúplnosti a souvisejících metamatematických výsledcích probíhala v letech 1929 - 1939

Níže ale nakoukneme na základy Gödelova ontologického důkazu Boha

Gödelův ontologický argument existence Boha je formální logický důkaz, který se snaží dokázat existenci Boha na základě definic a logických axiomů.
Důkaz je inspirován argumenty Leibnize a Anselma z Canterbury. Gödelův argument, ačkoli je formálně elegantní, má i své nedostatky a je stále předmětem filozofické diskuse.

Gödelův ontologický důkaz Gödelův důkaz vychází z pěti axiomů a tří definic.

Klíčovým prvkem důkazu je pojem "pozitivní vlastnost", která je vnímána jako vlastnost, která je "dobrá" v "morálně estetickém" smyslu.
Mezi tyto vlastnosti patří například všemohoucnost, nekonečnost, věčnost, myšlení a vůle.

Axiom 1: Pokud je nějaká vlastnost pozitivní, pak její negace není pozitivní.

•

Axiom 2: Každá vlastnost, která zahrnuje nějakou pozitivní vlastnost, je pozitivní.

•

Axiom 3: "Být jsoucnem božské povahy" je pozitivní vlastnost.

•

Axiom 4: Je-li nějaká vlastnost pozitivní, pak je nutně pozitivní.

•

Axiom 5: Nutná existence je pozitivní vlastnost

Definice 1:
Nějaké jsoucno je božské podstaty (God-like) tehdy a jen tehdy, jsou-li všechny jeho vlastnosti pozitivní a pro všechny vlastnosti platí, že pokud jsou pozitivní, potom je toto jsoucno má.

Definice 2:
Určitá vlastnost je esencí individua, má-li individuum tuto vlastnost, a jestliže každá vlastnost individua z ní nutně vyplývá.

Definice 3:
Individuum nutně existuje, pokud pro esenci individua nutně existuje individuum, které ji má.

Z těchto axiomů a definic je odvozeno několik teorémů:

Teorém 1:
Pozitivní vlastnosti jsou možné, tedy že existuje alespoň jeden objekt, který má danou pozitivní vlastnost.

Teorém 2:
Existence je nutnou vlastností jsoucna božské podstaty, tedy patří k jeho esenci.

Teorém 3:
Z toho vyplývá závěr, že Bůh nutně existuje.

Gödelův důkaz je formální, využívá modální logiku a systém S5.
Použití systému S5 je klíčové pro odvození nutné existence Boha. Tento systém umožňuje, aby z možnosti existence Boha byla odvozena jeho nutná existence.
Důkaz je založen na definování Boha jako souhrnu všech pozitivních vlastností a na tvrzení, že existence je jednou z těchto pozitivních vlastností.

Velmi zajímavé aspekty Gödelova důkazu

Formální přesnost: Gödelův důkaz je formálně přesný a používá matematickou logiku.

Inspirace Leibnizem: Gödelův důkaz je inspirován Leibnizem, kterého Gödel považoval za svého nejoblíbenějšího filozofa. Gödel studoval Leibnizovy spisy, což se odrazilo v jeho argumentaci.

Racionalizace víry: Gödelův důkaz může být interpretován jako snaha o racionalizaci víry v Boha. Je to pokus o spojení filozofie a teologie.

Důležitý svědectví o názorech významného myslitele: Důkaz představuje důležité svědectví o názorech významného myslitele minulého století

Brněnský rodák Kurt Gödel ale asi nebyl zcela spokojen s jeho ontologickým důkazem Boha.
Proto ho asi také dlouho nepublikoval a dále na něm asi pracoval.

Gödelův ontologický argument je fascinující pokus o logické dokázání Boží existence.

Osobně mi přijdou jeho věty o neúplnosti opravdu geniální

Gödel's incompleteness theorem: a conceptual explanation /
Gödelova věta o neúplnosti: konceptuální vysvětlení
Gödelovy věty o neúplnosti

The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy

Wiki mmj. píše:
Gödelovy věty o neúplnosti jsou dvě zásadně důležité matematické věty, které mají zcela výsadní postavení v celé moderní matematické logice.
Důležitou roli však hrají v celé matematice.

Gödelovy věty o neúplnosti poukazují na zásadní limity formálních systémů – konkrétně, že v každém dostatečně silném axiomatickém systému existují tvrzení, která nelze ani dokázat, ani vyvrátit uvnitř samotného systému.
Pokud se na Gödelův ontologický důkaz podíváme jako na formalizovaný argument v rámci logického systému, pak tyto věty naznačují, že systém nemusí být schopen vyřešit všechny otázky, včetně metafyzických tvrzení o existenci nebo neexistenci Boha.

To znamená věřící ateisté i věřící Bohu zatím asi mají smůlu.
Ani jedno se nepodařilo prokázat.

Význam Kurta Gödela zůstáva předmětem diskusí logiků, teologů i filozofů.
Sám Gödel se o důkaze vyjádřil jako o jistém cvičení použití moderních prostředků modální logiky.

Časová osa klíčových událostí spojených s Gödelovými větami o neúplnosti:

Kurt Gödel se narodil 28. dubna 1906 v Brně

1929-1930:
Gödel dosáhl průlomových výsledků v logice a matematice, včetně důkazu úplnosti predikátové logiky prvního řádu.

1931:
Gödel publikoval svůj první článek o neúplnosti, který ukázal, že v každém dostatečně silném formálním systému, který obsahuje aritmetiku, existují pravdivá tvrzení, která nelze v rámci tohoto systému dokázat. Tento článek je zásadním mezníkem v dějinách logiky a matematiky.

1931-1939:
Gödel dále rozvíjel své práce na neúplnosti a undecidabilitě, které zásadně změnily pohled na moderní matematiku

Důležité je, že Gödelovy věty o neúplnosti se týkají formálních systémů, které obsahují aritmetiku, a ukazují, že matematika nemůže být založena pouze sama na sobě.
Důsledkem je nemožnost dokázat konzistenci matematiky pouze v rámci matematiky. Gödel svými větami o neúplnosti zásadně otřásl Hilbertovým programem, který usiloval o formalizaci a dokázání konzistence celé matematiky.

Pojmem Hilbertův program se označuje snaha německého matematika Davida Hilberta o formalizaci matematiky až na úroveň jednoduchých axiomů, ze kterých by se daly korektně dokázat všechny matematické věty.

Kurt Gödel Society Vienna

https://kgs.logic.at/

Společnost Kurta Gödela Brno

https://www.physics.muni.cz/~godel/

https://www.physics.muni.cz/~godel/kgd2021/

pamětní deska na rodném domě K. Gödela - Pekařská 3/5/1

pamětní deska K. Gödelovi - Božetěchova 2

pamětní deska na vile Gödelových - Pellicova 8a

Kurt Gödel

1933–1938 vyučoval na vídeňské univerzitě jako soukromý docent,

Od roku 1938 působil na The Institute for Advanced Study USA
ve městě Princeton
Roku 1953 zde byl jmenován univerzitním profesorem

https://www.ias.edu/

Ti, kteří si přečetli přibližně první polovinu až tři čtvrtiny Nového zákona - Nové smlouvy, budou pravděpodobně potřebovat asi 50 - 100 stran Starého zákona - Staré smlouvy pro pochopení kontextu.

Následně se asi objektivněji může rozhodnout zda bude nebo nebude věřit biblickému Bohu.

Samozřejmě biblickému Bohu věřit nemusí ale také asi může začít připouštět jeho existenci.

Těžko někdo může popírat Boha kdo cca alespoň tuto část Bible nečetl.
Proč?
Protože netuší nebo neví kdo biblický Bůh je.