meal-scheduler
FactGraph
Our great sponsors
meal-scheduler | FactGraph | |
---|---|---|
3 | 1 | |
- | 1 | |
- | - | |
- | 0.0 | |
- | over 4 years ago | |
- | GNU Affero General Public License v3.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.
meal-scheduler
-
Ask HN: Do you use an optimization solver? Which one? Why? Do you like it?
I use Minizinc in a personal toy project (https://gitlab.com/dustin-space/meal-scheduler), and GECODE or Google's ortools solver at the backend. It's used for meal planning. Unfortunately it's way way slower than I'd hope. I suspect I just have the domain not modeled efficiently. Maybe if I had a few days to put into it, and learn how to properly debug the CSP solver step by step, it might help...
-
What is your “I don't care if this succeeds” project?
That sounds like a fun application, both the usage and the implementation.
I wonder if you have any interesting example data-files that could be used with the model, preferable both something small and something larger? Would be fun to test the model locally to see how it behaves.
Notes: I'm assuming here that https://gitlab.com/dustin-space/meal-scheduler/-/blob/master... is the model used.
FactGraph
-
What is your “I don't care if this succeeds” project?
I used to have a project like this. I was going to call it FactGraph: https://github.com/FactGraph/FactGraph/wiki
My idea was to build up a big community-maintained database containing facts and evidence, where everything is linked into a huge network. Everything would have a weight (sometimes automatically calculated from parent nodes), and the software would calculate probabilities for some big questions. Every user could also build their own personalized graph to explore their own worldview, and maybe even uncover some cognitive dissonance that they weren't aware of. Or you could use it to compare and contrast different philosophies, religions. Could even calculate a "coherence score" for each religion and denomination after crunching all of the available evidence.
Then I discovered RootClaim: https://www.rootclaim.com
They're doing something very similar, with a more targeted approach where they focus on some specific questions. e.g. COVID-19: https://www.rootclaim.com/analysis/what-is-the-source-of-cov...
RootClaim really seems to be nailing it so far, and hopefully they can continue to grow and become something like the project I was imagining.
What are some alternatives?
HiGHS - Linear optimization software
data_engineering_on_gcp_book - A book describing how to set up and maintain Data Engineering infrastructure using Google Cloud Platform.
ppp_thing - A poorly written, minimum viable PPPoE client with session handoff between redundant FreeBSD routers
dali - Indie assembler/linker for Dalvik VM .dex & .apk files (Work In Progress)
electron-browser-shell - A minimal, tabbed web browser with support for Chrome extensions—built on Electron.
decent-signal - A decent WebRTC signalling library.
listudy - Listudy - chess training server
noteworthy - Noteworthy is a collection of experimental meta-protocols for building, deploying and managing distributed overlay networks.
Arthur - How to build your own AI art installation from scratch [Moved to: https://github.com/maxvfischer/DIY-ai-art]
singyeong - 신경 - Cloud-native messaging/pubsub with powerful routing
go-plugin - Golang plugin system over RPC.
Yue - A library for creating native cross-platform GUI apps