cofree-bot
edgedns
cofree-bot | edgedns | |
---|---|---|
1 | 2 | |
39 | 498 | |
- | - | |
5.0 | 0.0 | |
4 months ago | over 3 years ago | |
Haskell | Rust | |
- | ISC License |
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.
cofree-bot
-
Ask HN: What side projects landed you a job?
Not a job per se, but some friends and I wrote a library for building compositional chatbots (like for IRC not LLMs necessarily) encoded as Mealy Machines: https://github.com/cofree-coffee/cofree-bot/
That project then has since led to a long term collaboration with the Topos Institute where we are building type theory for Polynomial Functors: https://github.com/toposInstitute/polytt
Polynomial Functors are a really powerful abstraction from Category Theory which subsumes the co-algebraic approach to finite state machines used in `cofree-bot` and which can also be used to encode wiring diagrams, tactics engines, game semantics, neural networks, and dynamical systems in general.
edgedns
- Ask HN: What side projects landed you a job?
-
How to build a CDN (1/3): introduction and basic components
For the biggest pioneers, there is also a variant to build your own GeoDNS service with your own name servers. But for this to make sense and real value, anycast IP addresses would be needed. Also a number of other reliable servers around the world with DDoS protection and then understand, select and adapt eg EdgeDNS or Czech Knot DNS (which also uses Cloudflare). However, commercial GeoDNS services are relatively cheap and reliable, so we can’t imagine an ROI that would make sense with our own small, non-commercial DNS solution.
What are some alternatives?
govuk-components - Lightweight Ruby on Rails components for developing with the GOV.UK Design System.
rust-memcache - memcache client for rust
pakhi-bhasha - Dynamically typed bangla programming language written in rust
moka - A high performance concurrent caching library for Rust
bc - An implementation of the POSIX bc calculator with GNU extensions and dc, moved away from GitHub. Finished, but well-maintained.
dns-over-wikipedia - Redirect `.idk` domains using Wikipedia
albumentations - Fast image augmentation library and an easy-to-use wrapper around other libraries. Documentation: https://albumentations.ai/docs/ Paper about the library: https://www.mdpi.com/2078-2489/11/2/125
cachepot - cachepot is `sccache` with extra sec, which in turn is `ccache` with cloud storage
Picnic CSS - :handbag: A beautiful CSS library to kickstart your projects
vodo - A primitive DNS server written in Rust for fun.
stepmania - Advanced rhythm game for Windows, Linux and OS X. Designed for both home and arcade use.
pandit - My Final Year Project. A distributed proxy that converts applications into gRPC Services. Provides powerful user-defined caching strategies.