InFeeo
Global
All
New
Language

Channels

OCaml 5.5.0(github.com)
We have the pleasure of celebrating the birthday of Blaise Pascal by announcing the release of OCaml version 5.5.0. Some of the highlights in OCaml 5.5.0 are: Module-dependent Functions Modules can now be used as function arguments in a form of lightweight functors. For instance, we can define a function for printing a map generated by the Map.Make functor: let pp_map (module M: Map.S) pp_key pp_v ppf set = if M.is_empty set then Format.fprintf ppf "ø" else let pp_sep ppf () = Fo...
Trust Identity Protocol v1.0, an open post-quantum standard for human identity(nvidia.com)
Trust Identity Protocol (TIP), by Dinesh Mendhe, published by The AI Lab Intelligence Unobscured, Inc. The open standard for verified human identity and content provenance on the internet. Post-quantum cryptography from genesis (ML-DSA-65, ML-KEM-768, SLH-DSA), federated DAG, AI Trust Council multi-stakeholder governance under EU AI Act Article 95. 140 pages. Whitepaper Version 1.0. Licensed CC BY 4.0. DOI: 10.5281/zenodo.20722378.