where are the comments? what am I supposed to care about?
ocamlgraph may be a great library, but I feel the documentation is a bit… lacking.
Here what the `demo' module in the examples looks like: https://github.com/backtracking/ocamlgraph/blob/master/examples/demo.ml
> Showing 320 changed files with 42 additions and 147,948 deletions.
Hi @raichoo! I am currently experimenting with hikari, thanks for implementing it!
I’ve a question, though. Is there a way to scale a given output by a given factor? I couldn’t find it in the man pages :o
Friendly reminder that https://github.com/lthms/coq-MiniHTTPServer exists and I am pretty proud of it 💓
One exception though: I’ve build OCaml and Coq way too many times.
25: Governance, Leadership, and Founder's Syndrome https://fossandcrafts.org/episodes/25-governance-leadership-founders-syndrome.html
What is governance? To what degree are leaders within a governing institution subject to its rules? We use this framework to discuss the unexpected announcement of RMS's re-appointment to the FSF board.
it’s not as ready as I’d hope, but I think I will push it as is for now. Just want to see it live.
https://soupault.app/blog/soupault-2.5.0-release/ Soupault 2.5.0 is available, with an option to disable HTML pretty-printing, new widgets for adjusting internal links, and multiple bug fixes.
I don’t like syntax highlighting.
Distributed under the terms of the AGPLv3+.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!