<cmr>
I should finish my "Rust without std" blog post, the docs are somewhat anemic here.
<dwrensha>
is it possible to cook up one's own version of std::marker::PhantomData ?
<cmr>
that's in core.
<dwrensha>
ah
<cmr>
So the major pieces of std that you can't get in no_std for stupid reasons are the Read/Write traits, the Box type, and any of the collections types (including Vec). Using nightly you can get the Box/collections via `extern crate alloc` and `extern crate collections`, but they're "unstable".
<cmr>
Everything else that isn't an OS service (Option, Result, iterators, numerics) is in core.
<dwrensha>
str too, I guess
<cmr>
yep, though String comes from collections.
<dwrensha>
Rc?
<cmr>
in alloc
<cmr>
Code-change wise I'd add a facade "std" that re-exports alloc/collections types that get used, using the external crates if a `nightly` cargo feature is provided.
<dwrensha>
What are the advantages of allowing no_std?
<cmr>
I can use it in robigalia ;)
<cmr>
(I'm happy to implement this if you'd accept it)
<dwrensha>
what is the story for Read/Write?
<dwrensha>
I guess the problem there is that they depend on std::io
<dwrensha>
I see, the readme has decent explanation
<cmr>
Basically it lets all crates implement the traits, regardless of what the end runtime environment is.
jemc has quit [Ping timeout: 265 seconds]
<dwrensha>
well, allowing no_std in capnp seems like a reasonable thing to want
<dwrensha>
so I'm not against adding such functionality, as long as it doesn't disrupt users who don't care about it, and it doesn't have a huge maintenance burden
<cmr>
Sure.
<cmr>
Also I see Sandstorm itself is Apache-2.0 but the libs are MIT. Is there any particular reason for that?
<dwrensha>
cmr: I suppose you would push for Apache-2.0/MIT dual licensing?
<cmr>
I have done that in the past, yes ;)
<cmr>
(though I'm of the opinion that the right answer to "pick only one" is Apache-2.0)
<dwrensha>
I wish I understood this sentence, which seems to be an important part of the Apache license: "If You institute patent litigation against any entity (including a cross-claim or counterclaim in a lawsuit) alleging that the Work or a Contribution incorporated within the Work constitutes direct or contributory patent infringement, then any patent licenses granted to You under this License for...
<dwrensha>
...that Work shall terminate as of the date such litigation is filed."
<dwrensha>
I suppose I should find a lawyer, or something
rgrinberg has quit [Ping timeout: 260 seconds]
shachaf has quit [Ping timeout: 260 seconds]
shachaf has joined #sandstorm
rgrinberg has joined #sandstorm
jadewang has quit [Remote host closed the connection]
amyers has joined #sandstorm
<kentonv>
dwrensha: Apache 2 includes a license, from the authors, to all patents they might hold that are used in the work. However, if you sue the authors claiming the work infringes on your own patents, then you immediately lose the license to use the authors' patents.
amyers has quit [Ping timeout: 250 seconds]
<tannercollin>
Any of you going to the Bay Area makerfaire?
DanC__ has quit [Quit: Ubuntu maintenance]
isd has quit [Quit: Leaving.]
jemc has joined #sandstorm
rgrinberg has quit [Ping timeout: 276 seconds]
jacksingleton has joined #sandstorm
jacksingleton has quit [Ping timeout: 276 seconds]
Zarutian has quit [Quit: Zarutian]
frankier has joined #sandstorm
jadewang has joined #sandstorm
raoulzecat has quit [Ping timeout: 265 seconds]
jemc has quit [Ping timeout: 260 seconds]
raoulzecat has joined #sandstorm
frankier has quit [Ping timeout: 240 seconds]
raoulzecat has quit [Ping timeout: 265 seconds]
<asheesh>
tannercollin: Hi!
<asheesh>
I'm not currently planning on it! It'd be nice to do so, though.
<asheesh>
Are you going? Are you thinking of maybe presenting about Sandstorm or something? : D
<ocdtrekkie>
I just wanted to say, Sandstorm is the best place to run closed source software, if you're running closed source software. It's design makes it very hard for closed source apps to do naughty things, which negates the biggest potential problem with using closed source apps.
jadewang has quit [Remote host closed the connection]
raoulzecat has joined #sandstorm
raoulzecat has quit [Ping timeout: 244 seconds]
Zarutian has joined #sandstorm
strugee has quit [Ping timeout: 265 seconds]
strugee has joined #sandstorm
ecloud has quit [Ping timeout: 246 seconds]
ecloud has joined #sandstorm
ocdtrekkie has quit [Remote host closed the connection]
aldeka has quit [Remote host closed the connection]
aldeka has joined #sandstorm
ocdtrekkie has joined #sandstorm
jadewang has joined #sandstorm
jadewang has quit [Ping timeout: 252 seconds]
frankier has joined #sandstorm
Zarutian has quit [Quit: Zarutian]
jadewang has joined #sandstorm
jadewang has quit [Ping timeout: 260 seconds]
<pdurbin>
nice way of thinking about it
jadewang has joined #sandstorm
jadewang has quit [Ping timeout: 265 seconds]
axx_ has joined #sandstorm
jadewang has joined #sandstorm
jadewang has quit [Ping timeout: 246 seconds]
dvn has quit [Ping timeout: 264 seconds]
dvn has joined #sandstorm
aldeka has quit [Remote host closed the connection]
ocdtrekkie has quit [Remote host closed the connection]
aldeka has joined #sandstorm
ocdtrekkie has joined #sandstorm
rgrinberg has joined #sandstorm
raoulzecat has joined #sandstorm
jadewang has joined #sandstorm
jadewang has quit [Ping timeout: 252 seconds]
raoulzecat has quit [Ping timeout: 252 seconds]
jadewang has joined #sandstorm
jadewang has quit [Ping timeout: 276 seconds]
jemc has joined #sandstorm
amyers has joined #sandstorm
jadewang has joined #sandstorm
jadewang has quit [Ping timeout: 252 seconds]
amyers has quit [Ping timeout: 250 seconds]
amyers has joined #sandstorm
xet7_ has joined #sandstorm
niekie has quit [Ping timeout: 250 seconds]
raoulzecat has joined #sandstorm
amyers has quit [Ping timeout: 250 seconds]
niekie has joined #sandstorm
jadewang has joined #sandstorm
<tannercollin>
asheesh: Yeah, I'd like to go! haha no, not thinking of presenting, just thought it would be cool to meet you guys
jadewang has quit [Ping timeout: 244 seconds]
amyers has joined #sandstorm
amyers has quit [Ping timeout: 276 seconds]
raoulzecat has quit [Ping timeout: 244 seconds]
rgrinberg has quit [Ping timeout: 246 seconds]
aldeka has quit [Remote host closed the connection]
ocdtrekkie has quit [Remote host closed the connection]
ocdtrekkie has joined #sandstorm
aldeka has joined #sandstorm
jadewang has joined #sandstorm
jadewang has quit [Ping timeout: 240 seconds]
gabkdlly has joined #sandstorm
hunterm__ has quit [Remote host closed the connection]