1,188 karma · joined October 19, 2018
Would be happy to know if there is a way to access goo.gl links created while logged in with my account.
Details: https://www.erdosproblems.com/help
Oh, the irony
As a different take to literate programming we have created a library and an ecosystem around it: https://github.com/pietroppeter/nimib
For holding state a Nim repl (which is on the roadmap as secondary priority after completing incremental compilation) is definitely an option.
Another option could be to create a library framework for caching (or be able to serialize and deserialize quickly) large data and objects. One way to see it, could be to build something similar to streamlit cache (streamlit indeed provides great interactivity)
> It is obvious to me. :)
https://x.com/OndrejCertik/status/1722364038212899274?s=20
resurrecting fortran: https://ondrejcertik.com/blog/2021/03/resurrecting-fortran/
if I understand correctly the creator of the meeting needs to have an account but other people can still join without it?
(Emphasis on all mine)
A proper divisor is a positive integer divisor of n other than n. Examples: 1 is a proper divisor of all positive integers except 1, 2 is a proper divisor of all even integers except for 2, 3 is a proper divisor of 6, 9, ..
By all proper divisor of a specific positive integer n we mean the set of all positive integers that divide n and are less than n. In particular the set does not allow for repetition (you cannot count a proper divisor twice). So 1+2+2=5 is not valid since you are counting twice 2.
10 is not untouchable since 1,2,7 are all proper divisor of 14.
5 is untouchable because it cannot be 1+p+q with p < q since p > 1 so q > 3 so 1+p+q>5 (recall all proper divisor are distinct). It cannot also be 1+p because then p=4 and if 4 is a proper divisor also 2 is a proper divisor of a number so 1,4 is not the set of all proper divisor of any number
As people are sharing other SSG (I think material for MkDocs is the absolute best for documentation sites), let me share a relatively unknown one that I find very interesting: https://github.com/dmulholl/ark
I have as next project to try and port this ark to Nim/nimib (and ideally nimibook should be refactored to use it).
> The language not having one clear thing it excels at, surely makes marketing it more difficult, so Nim would have needed more effort than normal to properly explain its philosophy to the market.
Agree on both points! And I am starting to realize that governance is the key element. A better governance would enable better community building and with a big community and a decent governance someone good enough at marketing would be able to figure out a way to put in the additional effort. But hey guys, where can you find a tech community in which we are all pretty bad at marketing and very bad at evangelizing? I think it is a nice value proposition for those who like to build stuff… ;)
I think contributors should focus first on building compelling cases of using Nim in specific niches (like jmgomez is doing for unreal engine) and we should at some point try to meet and start working on the governance issues. It will take some time but I am still confident. The language is such a joy and the community - albeit small - is full of outstanding people.
Btw, you have done outstanding work on zig, congratulations to you, Andrew and the rest of the community, it is inspiring to see! I find very interesting how you decentralize community management empowering people to build their own communities. At least that is what I gather from following from far, I might be off. Would love to know more if that was an explicit goal or the result of some happy coincidences.