Search
37 results for “josd”
-
I’ve put together **Arclight**: 12 small Rust ARC cases that don’t just give an answer, but also explain **why** and **check** themselves.
It’s a compact collection of self-explaining, fail-loud programs — useful for demos, teaching, and experimenting with the ARC approach.
-
@josd I'm blushing 😊 Thank you for that strong compliment about log:complement as negation in RDF/N3 !
-
A program I worked on all through the 80s implemented a propositional modeler based on #Peirce's #LogicalGraphs, improving the efficiency of the Alpha level through the use of #MinimalNegationOperators. There's a collection of articles, blog posts, and group discussions about that linked on the following page.
#ThemeOneProgram • #SurveyPage
• https://inquiryintoinquiry.com/2022/06/12/survey-of-theme-one-program-4/ -
Just for future reference, there's a collection of (OEIS)wiki articles, blog posts, and group discussions pertaining to #Peirce's #LogicalGraphs linked on the following page.
#AnimatedLogicalGraphs • #SurveyPage
• https://inquiryintoinquiry.com/2021/05/01/survey-of-animated-logical-graphs-4/ -
@bblfish @josd @semwebpro @hochstenbach
There's a slimmer version of the \(\alpha\) Logical Graphs primer on my blog.
Logical Graphs • Introduction
• https://inquiryintoinquiry.com/2008/07/29/logical-graphs-introduction/Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2008/09/19/logical-graphs-formal-development/ -
I signed on to the group and list. I don't know if you'd be interested in a side- or sub-project focusing on the propositional layer as I have done some work on #Peirce's #AlphaGraphs and his #LogicOfRelatives.
-
@bblfish @josd @semwebpro @hochstenbach
One thing I found out early on is how critical it is to get #AlphaGraphs (#BooleanFunctions, #PropositionalCalculus, #ZerothOrderLogic) down tight. If you do that it changes how you view #FOL (#PredicateCalculus, #QuantificationalLogic). That tends to rub people who view FOL as #GOL (#GodsOwnLogic) the wrong way so you have watch out for that if you go down this road.
Here's a primer on \(\alpha\) #LogicalGraphs as I see them —
• https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no -
@bblfish @emondb @hochstenbach @josd @w3c
ICYMI —
• https://lists.w3.org/Archives/Public/public-rdfsurfaces/2023Feb/0004.html“Putting logic on the web changes logic itself”
— Pat HayesThat could almost be the motto for all the work I've been doing on logical graphs for the last 50+ years.
Everything changed when I started putting what little I was incrementally learning about programming to work on what little I was gradually learning about logic and then everything took off when I ran into #Peirce's work on #LogicalGraphs.
-
@Inquiry @w3c @emondb @hochstenbach @josd
But yes, I think it should be fine to post your findings on Peirce to the #RDFSurfaces mailing list. That is a good way to make sure it can be referred to later. -
@Inquiry @w3c @emondb @hochstenbach @josd
#RDFSurfaces is a @w3c community group. It is relatively easy to set those up. They don't get access to full WG support, so it very much depends on how well they organise themselves. With the high requirements of understanding RDF, Peirce and Logic, I think the group should be high quality and self-selecting.
The group just got started. -
@bblfish @emondb @hochstenbach @josd @w3c
One question about the #RDFSurfaces list before we go any further — is it intended to be an actual working group or just for announcements?
-
@bblfish @emondb @hochstenbach @josd @w3c
I'm starting to lose track of all the different discussions in various venues. I'll put a #RDFSurfaces tag on this in hopes of being able to find it again.
I do remember discussing #Peirce and #LogicalGraphs and #CategoryTheory and #DigrammaticReasoning et cetera with Henry in one of the Zulip chatrooms a year, or maybe two ago ...
I'll repost some of what I wrote on the W³C list for anyone who may have missed it.
-
@emondb @hochstenbach @bblfish @josd
Hi Bruno,
I took a course & independent study on #AutomaticTheoremProving with David #Plaisted when he was still at #UIUC in 84–85. It was mostly about #ResolutionUnification & #NaturalDeduction provers but I was already on a different path by then as I had been working on #Peirce's & #SpencerBrown's versions of #LogicalGraphs in a computational vein since the late 60s. I'll discuss the differences that make a difference between those paradigms as we go.
-
Here's the skinny on #MinimalNegationOperators —
• https://mathstodon.xyz/@Inquiry/109806663808536523
Minimal negation operators are a family of logical operators or #BooleanFunctions \(\nu(),\ \nu(x),\ \nu(x,y),\ \nu(x,y,z),\) etc.
In the so-called #ExistentialInterpretation of the brand of #LogicalGraphs I'll be using, \(\nu(x_1, \ldots, x_k)\) says exactly one of the \(x_i\) is equal to \(0\), that is, false.
-
🚨 EUVD-2026-28310
📊 Score: 8.8/10 (CVSS v3.1)
📦 Product: mathjs
🏢 Vendor: josdejong
📅 Updated: 2026-05-07📝 Math.js is an extensive math library for JavaScript and Node.js. From version 13.1.0 to before version 15.2.0, arbitrary JavaScript can be executed via the expression parser of mathjs. This issue has been patched in version 15.2.0.
🔗 https://euvd.enisa.europa.eu/vulnerability/EUVD-2026-28310
-
🚨 EUVD-2026-28310
📊 Score: 8.8/10 (CVSS v3.1)
📦 Product: mathjs
🏢 Vendor: josdejong
📅 Updated: 2026-05-07📝 Math.js is an extensive math library for JavaScript and Node.js. From version 13.1.0 to before version 15.2.0, arbitrary JavaScript can be executed via the expression parser of mathjs. This issue has been patched in version 15.2.0.
🔗 https://euvd.enisa.europa.eu/vulnerability/EUVD-2026-28310
-
🚨 EUVD-2026-28310
📊 Score: 8.8/10 (CVSS v3.1)
📦 Product: mathjs
🏢 Vendor: josdejong
📅 Updated: 2026-05-07📝 Math.js is an extensive math library for JavaScript and Node.js. From version 13.1.0 to before version 15.2.0, arbitrary JavaScript can be executed via the expression parser of mathjs. This issue has been patched in version 15.2.0.
🔗 https://euvd.enisa.europa.eu/vulnerability/EUVD-2026-28310
-
🚨 EUVD-2026-28310
📊 Score: 8.8/10 (CVSS v3.1)
📦 Product: mathjs
🏢 Vendor: josdejong
📅 Updated: 2026-05-07📝 Math.js is an extensive math library for JavaScript and Node.js. From version 13.1.0 to before version 15.2.0, arbitrary JavaScript can be executed via the expression parser of mathjs. This issue has been patched in version 15.2.0.
🔗 https://euvd.enisa.europa.eu/vulnerability/EUVD-2026-28310
-
EinSatz
"...es ist leider möglich, dass Dinge gleichzeitig furchtbar und normal sind...."EinSatz-filmidee #josdiegel
#Video / #Soundtrack #anjakreysing
#fediart #fedimusic #experimental #film #videoart #glitch #eguitar #telecaster #trashcasterc)2021
<iframe width="560" height="315" src="https://www.youtube.com/embed/iNlFU096b0U" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>
-
Wind turbines are tough to recycle. These architects are transforming them into micro homes
Sitting inside the minimalist-chic interior of Nestle, you’d never guess it used to be a wind turbine. From…
#NewsBeep #News #Environment #AU #Australia #JosdeKrieger #JustineBeauson #Science #turbineblades #windturbine
https://www.newsbeep.com/au/108048/ -
(Avispa) Organizations Denounce Criminalization of Imprisoned Zapatista in Chiapas
José Díaz Gómez, Indigenous Ch’ol, support base of the Zapatista Army of National Liberation (EZLN), has been imprisoned and accused of violent robbery. The Fray Bartolomé de Las Casas Human Rights Center (FRAYBA) pointe
https://girahh.noblogs.org/post/2024/08/05/avispa-organizations-denounce-criminalization-of-imprisoned-zapatista-in-chiapas/
#english #Avispa #EZLN #Frayba #HumanRights #JosDaz #zapatistas -
Schwarz weiss ist die bessere Farbe / DeBorg - die Symphonie des Münsterlandes // Heimatfilm 2.0
HEUTE Premiere in Lienen ❤@ Heimatverein Lienen
17 Uhr, Haus des Gastes, Diekesdamm 1, 49536 Lienen: Screening Jos Diegel:
"DER LIENEN EFFEKT - wenn ich das sehe, kann ich mir ein bild davon machen, da gewesen zu sein . "
2023, SD Video, Found Footage, 38 min.
http://www.josdiegel.de #schwarzweissistdiebesserefarbe #deborg #mediaart #foundfootage #experimentalfilm #film #video #art #heimatverein -
I only ate 1/3 of my ice cream. Also changed my mind & took 1 ibuprofen instead of stronger T3, to avoid feeling gross/too out of it. I got both lower & upper dentures out, without much pain. Lower ones were super easy & easily slipped out - no blood on it. Upper one was harder, because of the suction factor - only 3 wee spots of blood but nothing serious. Scrubbed my tongue clean. Rinsed with warm salt water, followed by antiseptic mouthwash. Dentures will soak overnight. I feel relief in my mouth. Took my antibiotics combo. I'm going to sleep so good tonight. The pain from earlier today has almost dissipated tonight. My gums are doing pretty good, considering it's only day 3 👍
https://youtube.com/shorts/y_2QYuxeUq8?si=T4fB0Ma9T7H8e2X7
https://youtube.com/shorts/dLl_jOsDIHQ?si=NJAyxVAGtm6XY4tz
#MyFirstDenturesJourney #Dental #medical #dentures #ImmediateDentures #AsianMastodon #OralHealth #GumsHealing
-
Announcing Eyesharl: a dependency-free JavaScript implementation experiment for the SHACL 1.2 Rules SRL draft.
It includes a self-contained CLI, SRL examples, RDF Rules syntax support, and tests covering the current implementation.
-
eyeling — a compact Notation3 (N3) reasoner in JavaScript.
The core idea: forward chaining is the outer loop; backward chaining is the proof engine used inside rule firing. Built-ins can participate in rule bodies, so consequences are computed until fixpoint.
https://github.com/eyereasoner/eyeling
#Notation3 #N3 #SemanticWeb #LinkedData #JavaScript #Reasoning
-
eyeling — a compact Notation3 (N3) reasoner in JavaScript.
The core idea: forward chaining is the outer loop; backward chaining is the proof engine used inside rule firing. Built-ins can participate in rule bodies, so consequences are computed until fixpoint.
https://github.com/eyereasoner/eyeling
#Notation3 #N3 #SemanticWeb #LinkedData #JavaScript #Reasoning
-
eyeling — a compact Notation3 (N3) reasoner in JavaScript.
The core idea: forward chaining is the outer loop; backward chaining is the proof engine used inside rule firing. Built-ins can participate in rule bodies, so consequences are computed until fixpoint.
https://github.com/eyereasoner/eyeling
#Notation3 #N3 #SemanticWeb #LinkedData #JavaScript #Reasoning
-
eyeling — a compact Notation3 (N3) reasoner in JavaScript.
The core idea: forward chaining is the outer loop; backward chaining is the proof engine used inside rule firing. Built-ins can participate in rule bodies, so consequences are computed until fixpoint.
https://github.com/eyereasoner/eyeling
#Notation3 #N3 #SemanticWeb #LinkedData #JavaScript #Reasoning
-
eyeling — a compact Notation3 (N3) reasoner in JavaScript.
The core idea: forward chaining is the outer loop; backward chaining is the proof engine used inside rule firing. Built-ins can participate in rule bodies, so consequences are computed until fixpoint.
https://github.com/eyereasoner/eyeling
#Notation3 #N3 #SemanticWeb #LinkedData #JavaScript #Reasoning
-
Why does N3 have greater inherent potential than Prolog for the open web?
Because N3 is not just a rule language. It can express facts, rules, quoted graphs, scoped reasoning, and source-aware logic in the same model.
We added a new Appendix C on exactly that:
https://eyereasoner.github.io/eyeling/HANDBOOK#appendix-c--n3-beyond-prolog-logic-that-survives-the-open-web