Eduard Nicodei

Results 14 comments of Eduard Nicodei

@ericqweinstein Hey there, I was playing around with making IdrisWeb compile when I stumbled upon this issue and I see you already made some progress in solving it :+1: Any...

@SimonJF oh I see, I wanted to setup a simple webpage using Idris. I want to learn the language and I thought working with already existing, simple code, would be...

Thanks @angelikatyborska ! Created #1036, feel free to have a look :slightly_smiling_face:

Not sure how helpful this is but github [shows](https://github.com/search?q=rouille+path%3ACargo.toml+&type=code) about 1.4k projects using it (although unfortunately they [don't allow viewing more than 100 results](https://github.com/orgs/community/discussions/9868)) and creates.io shows [35 dependents](https://crates.io/crates/rouille/reverse_dependencies) with...

Thanks for raising the issue @rainliu , though note it has been raised in the past #271 thinking we can probably close this as a duplicate?

@test3333 Hi! Sorry for the really late reply... for whatever reason I wasn't watching this repo (even though it's mine), which meant I wasn't getting any notifications about it. Thanks...

Hi! Sorry, could you give more details about how could this work in the lm_sensors setting? I thought lm_sensors dealt with just temperature readings. Closest I've gotten to finding a...

That is really nice work with the QtGUI! Actually, if you want to keep on playing with this and maintain it, I would be more than happy :) This is...

Hi @BenyBBB, really sorry to hear the app stopped working after an update. Unfortunately I don't have Windows 10 to play with (nor do I want tbh..) Others seem to...

I agree, this would be an excellent opportunity for somebody looking to learn a bit more about hardware and what is in the machines we're using :)