Perhaps this thread is a good place to ask, could anyone contribute their own opinion about the relative future of lean vs. idris/coq/agda? I want to dedicate some time to this from a knowledge representation point of view, but I'm unsure about which of them will have less risk of ending up as so many esoteric languages... I sank a lot of time on clojure core.logic for a related project and got burnt with the low interest / small community issue already, so I've been hesitant to start with any of them for some time.
Readit Newsharperlee commented on The Math Is Haunted overreacted.io/the-math-i... · Posted by u/danabramov
harperlee commented on A simple way to improve spaced repetition scheduling natemeyvis.com/a-simple-w... · Posted by u/Theaetetus
I was under the impression that Anki and/or Mochi already scheduled cards at resolutions finer than the day — at least by the minute. But perhaps I'm mistaken.
It does - it is easy to see when answering a new card, where the default times for the different options are <1m, <6m, <10m, 25d.
On the other hand, people do have a circadian rhythm and schedule, and learning is dependent on sleep - so it makes sense that learning plans of a given spaced repetition system do consider a day step (even if there is more resolution underlying the higher level planning).
harperlee commented on Solar power has begun to transform the world’s energy system newyorker.com/news/annals... · Posted by u/dmazin
Ships carrying energy are a pretty easy explosive target as well.
Local ressilence is needed in any case and mass produced batteries can provide that safety.
Diesel, iron or aluminum, from your parent post, are difficult to explode… (personally, no clue about magnesium); and the point of the latter two is that you can “store” energy by upstreaming its consumption when power is available, you don’t necessarily need to produce an actual reversible energy store.
You're being downvoted, but you're right. At this point, I think it would be interesting if somebody did an analysis of the total cost spent for GDPR compliance against, say, a massive education campaign across the entire EU about how cookies work.
GDPR goes way beyond cookies so that dichotomy is nonsensical.
Please show a source for that claim. Afaik having the dashcam is legal (under conditions like it being mounted securely, not obstructing vision, recording limits so it's not surveillance,...) but publishing the video might violate data protection laws
I stand corrected, what is illegal is to operate them continuously, not to just have them as I simplified above.
"If, for example, you use a continuous recording of the road in which other vehicles' license plates are visible to defend yourself against a traffic ticket, you could be violating data protection, a serious offense that could be punishable by a fine of up to 300,000 euros."
I am not sure but probably you can show a recording to police. But not post it online. Also punishment for burglary can be pretty heavy so better choose some other country.
As an example, in Spain it is illegal to have dashcams, and its content cannot be used in a trial - but you can share the content with insurances and policeman, and recording is generally not prosecuted. It is nonetheless an opening if an officer is searching for a way to fine you...
Oh contraire, I ask questions about recent things all the time, because the LLM will do a web search and read the web page - multiple pages - for me, and summarize it all.
4o will always do a web search for a pointedly current question, give references in the reply that can be checked, and if it didn't, you can tell it to search.
o3 meanwhile will do many searches and look at the thing from multiple angles.
Nitpick: Au contraire