1. Forum
  2. Usenet
  3. COMP.LANG.JAVA.PROGRAMMER

  • ANN: Dogelog Player 1.2.6 (Segmented Fileaccess)

    From Mild Shock@21:1/5 to All on Thu Jan 23 10:20:51 2025
    Dear All,

    We are happy to announce a new edition of the Dogelog player:

    - Segmented Fileaccess:
    Due to UTF-8 problems, files were read completely into
    memory in order to then allow stream access. In order to be
    able to use HTTP Transfer-Encoding: chunked, the UTF-8 problem
    has been solved and only individual blocks will be
    read into memory.

    - New library(crypto):
    Segmented file access is supported not only for text files
    but also for binary files. This allows hash digests to be
    calculated in a memory-saving manner. The library implements
    a binding to the SHA-256 algorithms of JavaScript,
    Python and Java.

    - Backtracking Datastructures:
    The libraries library(hash) and library(tree), which
    were only realized non-backtracking so far, have been
    expanded to include further predicates that allow
    backtracking updates. library(hash) has been completely
    rewritten to open lists and only provides partial persistence,
    whereas library(tree) provides full persistence.

    For more details: Dogelog

    Have Fun!

    Jan Burse, http://www.xlog.ch/ , 23.01.2025

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mild Shock@21:1/5 to Mild Shock on Sat Feb 8 14:23:58 2025
    A SAT Solver is a computer program which aims to
    solve the Boolean satisfiability problem. By a SAT
    Learner we understand a computer program that tries
    to find a Boolean formula, with a satisfiability that
    matches some given data.

    We find already evolutionary algorithms in John
    Hollands book from 1975. Since we do not provide
    cross-over we can implement island evolution with
    random proportionate selection. The resulting Zero-Less
    Decision Diagrams might not recognize all example
    7-segment digits correctly.

    See also:

    SAT Learning in Dogelog Player https://x.com/dogelogch/status/1888209886447653040

    SAT Learning in Dogelog Player
    https://www.facebook.com/groups/dogelog

    Mild Shock schrieb:

    Among algebraic approaches to logic we find binary
    decision diagrams. The approach is syntactical and not
    semantical, since it focuses on a certain formulas to
    represent truth tables. Unlike matrix like disjunctive
    or conjunctive normal forms, they give tree
    like normal forms.

    Donald Knuth also popularized zero-suppressed
    decision diagrams, a binary decision diagram variant
    developed by Shin-Ichi Minato. Their appeal results
    from "jump" where nodes are omitted. We focused more
    on the cost of negation and arrived at zero-less
    decision diagram. They might have different niche
    application areas.

    See also:

    Zero-Less Decision Diagrams in Dogelog Player https://x.com/dogelogch/status/1887521934348374204

    Zero-Less Decision Diagrams in Dogelog Player https://www.facebook.com/groups/dogelog

    Mild Shock schrieb:

    The examined Prolog Notebook projects SWI for Sharing,
    Ciao Notebooks and Tau Prolog all offer some Prolog
    text coloring. We conducted an experiment whether we
    can utilize some synergies in Dogelog Player to provide
    a colorizer without using any 3rd party library.

    Since the batch processing slowed down the experience
    of notebooks we changed our mind and started developping
    a dynamic filter. Passive Logic Documents (PLD) are turned
    into Active Logic Documents (ALD) via an asynchronous
    call into a 100% in Prolog realized colorizer library.

    See also:

    Dogelog Notebooks with Prolog Coloring
    https://x.com/dogelogch/status/1882455350739337230

    Dogelog Notebooks with Prolog Coloring
    https://www.facebook.com/groups/dogelog

    Mild Shock schrieb:
    Dear All,

    We are happy to announce a new edition of the Dogelog player:

    - Segmented Fileaccess:
       Due to UTF-8 problems, files were read completely into
    memory in order to then allow stream access.  In order to be
    able to use HTTP Transfer-Encoding: chunked, the UTF-8 problem
    has been solved and only individual blocks will be
    read into memory.

    - New library(crypto):
       Segmented file access is supported not only for text files
    but also for binary files.  This allows hash digests to be
    calculated in a memory-saving manner.  The library implements
    a binding to the SHA-256 algorithms of JavaScript,
    Python and Java.

    - Backtracking Datastructures:
       The libraries library(hash) and library(tree), which
    were only realized non-backtracking so far, have been
    expanded to include further predicates that allow
    backtracking updates.  library(hash) has been completely
    rewritten to open lists and only provides partial persistence,
    whereas library(tree) provides full persistence.

    For more details: Dogelog

    Have Fun!

    Jan Burse, http://www.xlog.ch/ , 23.01.2025



    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)