Sender | Message | Time |
---|---|---|
12 Oct 2018 | ||
greg.g joined the room. | 23:47:28 | |
19 Oct 2018 | ||
pete.b joined the room. | 22:36:30 | |
16 Nov 2018 | ||
grouchofractal joined the room. | 20:06:41 | |
28 Nov 2018 | ||
theobtl joined the room. | 15:31:24 | |
12 Dec 2018 | ||
@lkngtn:matrix.org left the room. | 14:39:18 | |
20 Dec 2018 | ||
neutronstar | I came across a micro-kernel named seL4. It looks interesting since it has been mathematically proven to be bug-free, and has been used for space applications before. It has some commercial backing while being open source (GPL). I haven't looked too deeply into it but it's implemented in C, and as far as I can see applications are expected to run in C as well. It is communications oriented, which I see as a good thing (I hate mutexes/semaphores etc...). The drawback I can see so far is that this would limit us to ARM-based technology, which would exclude the Omega2 I proposed above. I don't think this is a big issue, since there is quite a lot to choose from anyway, but I thought I'd mention this since I proposed a MIPS based architecture above. Here's the link: https://github.com/seL4/seL4 | 09:13:33 |
7 Jan 2019 | ||
mmarc1 joined the room. | 14:59:52 | |
18 Jan 2019 | ||
Daniell Mesquita joined the room. | 12:25:24 | |
Daniell Mesquita | Hi @room I have some proposals. First, satelites to bridge the communication between Moon and Earth through an CJDNS/Althea mesh network. These satelites could also provide meshnetworks bridge with clearnet, decentralizing Internet and making it accessible for people who live in poverty | 12:29:05 |
tmallard | This is the company working with EXA and Irvine's cubesat orbiter from ground, uses laser to moon irrc: http://rbcsignals.com/ | 16:11:40 |
19 Jan 2019 | ||
jbperry joined the room. | 19:48:24 | |
24 Jan 2019 | ||
sean | @room I've been contemplating bringing back development meetings as to start tackling the various software development aspects of space decentral. This may include, but not limited to, resolving issues pertaining to the spacedecentral.net platform (in Ruby, soon to be React/Javascript), developing flight software (in C?) for space missions (s.a., Coral), numerical modeling/simulations (in Python?), setting up backend tools/APIs (s.a. for systems engineering), and/or writing software requirements/specifications for any of the aforementioned. Would anyone be interesting, and if so, do you have a general availability schedule? The tentative meeting time is Wednesdays @2pm PST, but we can try and change that if it doesn't fit well into peoples schedules. | 19:29:50 |
sean | *interested | 19:31:36 |
25 Jan 2019 | ||
tmallard | I've got boundary equations going to model the dust ... novice at py ... comsol solidworks user | 05:13:59 |
tmallard | Download IMG_20190124_211610.jpg | 05:20:35 |
kevin | tmallard: what does comsol mean? | 05:27:19 |
tmallard | It's a multiphysics simulation suite plugin to solidworks, used by Boeing out here the main users. | 05:41:23 |
tmallard | Here's a study of an induction pipe heater using it: https://www.comsol.com/model/inline-induction-heater-35541 | 05:42:51 |
neutronstar | @sean I'm interested in the flight computer part, I have no knowledge in web development. For me the only time that works for teleconference is the time used by the other meetings. The day however is flexible as long as it doesn't collide with Coral or Lander meetings. | 06:01:51 |
sean | neutronstar How would in-riot meetings work for you? Would you possibly also be interested in the spec writing side? It might also be worth getting in touch with the #spacedecentral-coral-lander:matrix.org group, as I believe they've started looking into flight software requirements for Coral | 06:31:02 |
neutronstar | @sean I was the one initiating flight software/hardware discussion in the lander group. I also tried starting such discussion in this forum by suggesting software, but haven't been able to get much discussion going. How does Riot-meetings work and how do they differ from Riot discussions or teleconferencing? If you with spec writing mean software requirements, design specification and test specifications then I could help out with that. I can also help with development environment. | 07:13:58 |
sean |
It'd be no different than a riot discussion. | 07:41:47 |
sean |
That'd be great! | 07:42:12 |
26 Jan 2019 | ||
Daniell Mesquita |
Hi? | 00:15:07 |
27 Jan 2019 | ||
pete.b | Daniell i think we get comms for free with the lander. interesting idea though | 23:26:04 |
pete.b | sean i'n not super sure we're at the spec-writing level yet. we could do sims like you said, and the sims would probably incorporate prototype flight software for power systems control etc | 23:28:20 |
pete.b | (also i love the "React/Javascript" phrase it reminds me of "GNU/Linux") | 23:29:28 |
sean | In reply to @pete.b:matrix.orgFair enough. Perhaps we can start with spec writing for what spacecraft behaviors we'd possibly like to simulate? | 23:33:37 |
pete.b | the sintering part and power drain? | 23:35:35 |
pete.b | i would also say any moving parts, but we haven't gotten that far on the manufacturing design side | 23:36:21 |