Silvia De Toffoli, telling us about Rigor, Intuition, and Diagrams, in a #SIFA2023 session on the use of diagrams in mathematical proof.

#diagrams #proofs #PhilosophyOfMathematics

💙 💛 py2puml 0.8.0 is out 🥳, supporting union types: the "Union[int, float]" old way and the "int | float" new way!

py2puml is a #Python tool generating class #diagrams in the #PlantUML syntax by inspecting your code base. This #CodeToDoc tool helps documenting your domain models and other classes.

Install it with "pip install py2puml" and start documenting your project automatically.

- https://pypi.org/project/py2puml/
- https://github.com/lucsorel/py2puml

Here's the prompt to create those diagrams: https://github.com/go-go-golems/geppetto/blob/main/cmd/pinocchio/prompts/code/plantuml.yaml

#llms #plantuml #diagrams

On the very first day of June, I'd got caught by @pragprog 's sale. Now it's time to strike back and finally start reading the “Creating Software with Modern Diagramming Techniques” #book. 😁

#reading #programming #diagrams

Excuse me, but I just learned about SELF SUPPORTING WITNESS CONES
and while I understand their use now, everything about them including this illustrative diagram just sends me. #diagrams

Too often in IT (and Infosec), I see ugly diagrams and flowcharts that make my eyes bleed. This is a really good write up on design tips to keep in mind when maximizing the effectiveness of your diagrams.

https://anthonyhawkins.medium.com/graphic-design-for-software-engineers-and-architects-c616bb6c3366

#design #diagrams #communication

Survey of Precursors Of Category Theory • 4
• http://inquiryintoinquiry.com/2023/08/01/survey-of-precursors-of-category-theory-4/

A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice. A Survey of resources on the topic is given below, still very rough and incomplete, but perhaps a few will find it of use.

Background —

Precursors Of Category Theory
• https://oeis.org/wiki/Precursors_Of_Category_Theory

Propositions As Types Analogy
• https://oeis.org/wiki/Propositions_As_Types_Analogy

Blog Series —

Notes On Categories
• https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/

Precursors Of Category Theory
1. https://inquiryintoinquiry.com/2013/12/20/precursors-of-category-theory-1/
2. https://inquiryintoinquiry.com/2013/12/30/precursors-of-category-theory-2/
3. https://inquiryintoinquiry.com/2014/01/03/precursors-of-category-theory-3/

Precursors Of Category Theory • Discussion
1. https://inquiryintoinquiry.com/2020/09/13/precursors-of-category-theory-discussion-1/
2. https://inquiryintoinquiry.com/2020/09/21/precursors-of-category-theory-discussion-2/
3. https://inquiryintoinquiry.com/2020/09/25/precursors-of-category-theory-discussion-3/

Categories à la Peirce —

C.S. Peirce • A Guess at the Riddle
• https://inquiryintoinquiry.com/2012/03/21/c-s-peirce-a-guess-at-the-riddle/

Peirce's Categories
1. https://inquiryintoinquiry.com/2015/10/30/peirces-categories-1/
2. https://inquiryintoinquiry.com/2015/10/31/peirces-categories-2/
3. https://inquiryintoinquiry.com/2015/11/04/peirces-categories-3/
•••
19. https://inquiryintoinquiry.com/2020/05/13/peirces-categories-19/
20. https://inquiryintoinquiry.com/2020/05/14/peirces-categories-20/
21. https://inquiryintoinquiry.com/2020/06/25/peirces-categories-21/

#Aristotle #Peirce #Kant #Carnap #Hilbert #Ackermann #SaundersMacLane
#Abstraction #Analogy #CategoryTheory #Diagrams #FoundationsOfMathematics
#FunctionalLogic #RelationTheory #ContinuousPredicate #HypostaticAbstraction
#CategoryTheory #PeircesCategories #PropositionsAsTypes #TypeTheory #Universals

I'm a simple person. I don't need flashy #architecture diagrams, I just need diagrams that get the point across and don't distract from the message. https://mermaid.js.org is a great tool for doing just that. The fact that I can codify my diagrams and go from idea to diagram so quickly are even more benefits.

#mermaidjs #diagrams #softwaredevelopment

We’ve just made Stately Studio much more powerful.

New design, more inline editing, ✨ colors ✨, effect blocks, tags, export to XState v4/v5 beta, and a new foundation for even more visual logic editing features to come.

#stateMachines #stateManagement #statecharts #visualizations #diagrams

Neural Circuit Diagrams: Standardized Diagrams for Deep Learning Architectures

https://openreview.net/forum?id=RyZB4qXEgt

#diagrams #architectures #architecture

Besonders letzteres (aus Tabelle zuweisen) ist interessant

#LibreOffice Calc: Diagrammfarben manuell oder aus Tabelle zuweisen - pctipp.ch https://www.pctipp.ch/praxis/libreoffice/libreoffice-calc-diagrammfarben-manuell-tabelle-zuweisen-2870599.html #LibreOfficeCalc #diagramm #diagramme #diagrams #diagram 📊

This, from @pbump newsletter “How To Read This Chart”, makes an important point:

When you see a convoluted diagram, do not take for granted that the underlying system is complex.

- The designer may want to make it look complex.
- The designer may not know how to make it look clear.
- It may contain mistakes or misleading information.

#Diagrams should be approached with the same skepticism as #dataviz because it can be equally misleading.

https://excalidraw.com/ has been my favourite thing for quite a few months

#excalidraw #diagrams #design

Blogged: creating interactive, versionable architecture diagrams

👉 https://lnkd.in/eX75KUxU

- versionable under Git
- compatible with your existing documentation system (plain HTML)
- contain clickable elements (!!!) to sections with more info
- built using open source tools

#software #android #architecture #diagrams

real nice episode on the user and value of #diagrams in #softwareEngineering #dev #podcast

https://www.se-radio.net/2023/05/se-radio-566-ashley-peacock-on-diagramming-in-software-engineering/

Daily Notes for 2023-05-21
The joy of longboard dancers. The objectively superior operating system, diagrammed. Go upstream of AI content farm horror stories.
#daily #linux #longboarding #ai #science #diagrams

https://mike.puddingtime.org/posts/2023-05-21-daily-notes/

Josh Worth (@misterjworth) created this excellent to-scale diagram of our solar system where the Moon is one pixel wide:
https://www.joshworth.com/dev/pixelspace/pixelspace_solarsystem.html

[So good we didn’t bother bastardising this one. Happy scrolling! - Gremlins]

#solarsystem #maps #diagrams

As with my other channels, offering a more colourful note for the start of May - a piece from "Logic Gardens".

#Art #Diagrams #Mathematics #Computing

Galería de imágenes generadas usando Graphviz con link al código de cada
una

#circo #diagrams #dot #fdp #grafo #GraphViz #neato #twopi

https://osiux.com/dot.html

An excerpt from Creating Software with Modern Diagramming Techniques by
Ashley Peacock:
https://medium.com/pragmatic-programmers/document-your-domain-8a1365dc10ae

On sale this week during PragProg's Spring sale.

#software #design #diagrams #mermaid