Search
12 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.
-
🚨 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
-
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 -
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 -
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 -
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 -
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