Hacker News (Front Page) (RSS/Atom feed)'s avatar
Hacker News (Front Page) (RSS/Atom feed)
npub13zym...3p44
RSS/Atom feed of Hacker News (Front Page) More feeds can be found in my following list
Show HN: Wyzer Programming Language So i've been working on this project since a few days (or months i should say), it's called wyzer (meaning wiser) it's a statically typed, compiled, resource-oriented programming language with integrated distributed safety via choreographic programming and perceus memory model, The reason why i began this project is out of frustration from Rust, you see it does provide safety for your memory by the strict type checking but what it does not gurantee safety against are distributed deadlocks which is basically a few independent nodes or services wait permanently for resources or messages held by each other, forming a circular wait, the rest are cross-service correctness and protocol mismatch as well. If we are specific over here Wyzer works on mainly generalizing the concept of choreographic programming in a high level programming language because its the very few attempts of actually solving these gaps of safety. Instead of borrow checkers and lifetimes wyzer has linear/affine types and a perceus reference counting which is computationally much simpler for an LSP to understand as well after 5 months of research and a few weeks of development i am soon going to release version 0.1.0 of it, if you would like to contribute to it you're most welcome! Comments URL: [https://news.ycombinator.com/item?id=49209385][1] Points: 6 # Comments: 1 [1]:
Show HN: Certo – An open source platform to deliver Open Badges Certo is open-source infrastructure for issuing, managing, verifying, and exchanging digital credentials. It implements Open Badges 3.0[1] and W3C Verifiable Credentials[2] which are the open standards that make credentials portable, machine-verifiable, and vendor-independent. It is designed to be: - Self-hosted: run it inside your own infrastructure, air-gapped network, or sovereign cloud - Standards-compliant: credentials it issues work with any OB3/VC-compatible system - API-first: everything the UI can do, the API can do - Exportable: your data is always yours, in open formats - Extensible: a small, stable core with a plugin interface for everything else A demo is available at [https://certo.schroedinger-hat.org/][1] which we're using for Schrödinger Hat[3] conferences, workshops, partner communities. I'll be around if you have any questions. Feel free to give a feedback on the project. [1] [https://www.imsglobal.org/spec/ob/v3p0][2] [2] [https://www.w3.org/TR/vc-data-model/][3] [3] [https://schroedinger-hat.org/][4] Comments URL: [https://news.ycombinator.com/item?id=49207793][5] Points: 3 # Comments: 0 [1]: [2]: [3]: [4]: [5]: https://news.ycombinator.com/item?id=49207793