mina
cue
Our great sponsors
mina | cue | |
---|---|---|
9 | 108 | |
1,936 | 4,754 | |
1.9% | 2.3% | |
10.0 | 9.7 | |
6 days ago | 3 days ago | |
OCaml | Go | |
Apache License 2.0 | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
mina
- The Dhall Configuration Language
- Why dont block producers generate their own snark proofs?
-
where get my mnemonic words
I installed Devnet Pre-Release 1.2.1alpha1 and created an account by command "mina accounts create", but no mnemonic words are displayed ,where can I find it?
- Mina: Lightweight, Constant-Sized Blockchain
- Mina Snapps are close than ever
- new mainnet beta release 1.2.0beta1 available
- Why are there so many snarks generated without fees?
- Mina protocol news! Useful information!
cue
-
Show HN: Workout Tracker – self-hosted, single binary web application
Where `kube.cue` sets reasonable defaults (e.g. image is /). The "cluster" runs on a mini PC in my basement, and I have a small Digital Ocean VM with a static IP acting as an ingress (networking via Tailscale). Backups to cloud storage with restic, alerting/monitoring with Prometheus/Grafana, Caddy/Tailscale for local ingress.
[1] https://www.talos.dev/
[2] https://cuelang.org/
-
Apple releases Pkl – onfiguration as code language
I've been somewhat surprised that CUE bills itself as "tooling friendly" and doesn't yet have a language server- the number one bit of tooling most devs use for a particular language.
I'm assuming it's becaus CUE is still unstable?
Anyway, if others are interested in CUE's LSP work, I think https://github.com/cue-lang/cue/issues/142 is the issue to subscribe to
-
Why the fuck are we templating YAML? (2019)
This is where I usually pitch in with "Have your heard of CUELang, our lord and savior?": https://cuelang.org/
- Not turing complete
-
10 Ways for Kubernetes Declarative Configuration Management
CUE: The core problem CUE solves is "type checking", which is mainly used in configuration constraint verification scenarios and simple cloud native configuration scenarios.
-
Lua is a viable alternative for JSON
If you really want executable configurations please consider a newer language like https://dascript.org or https://cuelang.org which provide better type safety.
1- https://news.ycombinator.com/item?id=38030778
-
Writerside – a new technical writing environment from JetBrains
Markdown and XML are nice, but what about more advanced documentation formats like OpenAPI? For one recent project, I set up automatic generation of the OpenAPI docs from (much more compact and flexible) CUE definitions (https://cuelang.org/) - which has the bonus of also being able to test the API against the definitions. JetBrains has a CUE plugin, but it's really barebones (doesn't even support jumping from the usage of a schema to its definition). Of course the possibilities when generating docs are endless (just think of the various syntaxes for doc comments, embedding examples/tests in source code etc.)...
-
Show HN: Config-file-validator – CLI tool to validate all your config files
It doesn't include validators for TOML and INI, but if you're doing JSON and YAML, I would take a look at using or building upon CUE (https://cuelang.org/). It is a different take on schema definition (plus more), and is surprising terse and powerful model.
- That's a Lot of YAML
- An INI Critique of TOML
- What Is Wrong with TOML?
What are some alternatives?
Mina - Blazing fast deployer and server automation tool
dhall-lang - Maintainable configuration files
coda - Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security. [Moved to: https://github.com/MinaProtocol/mina]
jsonnet - Jsonnet - The data templating language
go-jsonnet
terraform - Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.
particl-desktop - The GUI application for Particl Markeplace and PART coin wallet. A decentralized peer to peer marketplace –free, secure, private, untraceable.
starlark-rust - A Rust implementation of the Starlark language
google-drive-ocamlfuse - FUSE filesystem over Google Drive
Protobuf - Protocol Buffers - Google's data interchange format
octoDNS - Tools for managing DNS across multiple providers
jsonnet-libs - Grafana Labs' Jsonnet libraries