logo

drewdevault.com

[mirror] blog and personal website of Drew DeVault git clone https://hacktivis.me/git/mirror/drewdevault.com.git

2023-01-24-FOSDEM.md (3002B)

    

  1. ---
  2. title: "My plans at FOSDEM: SourceHut, Hare, and Helios"
  3. date: 2023-01-24
  4. ---
  6. FOSDEM is right around the corner, and finally in person after long years of
  7. dealing with COVID. I'll be there again this year, and I'm looking forward to
  8. it! I have four slots on the schedule (wow! Thanks for arranging these, FOSDEM
  9. team) and I'll be talking about several projects. There is a quick lightning
  10. talk on Saturday to introduce Helios and tease a full-length talk on Sunday, a
  11. meetup for the Hare community, and a meetup for the SourceHut community. I hope
  12. to see you there!
  14. [**Lightning talk: Introducing Helios**](https://fosdem.org/2023/schedule/event/helios/)
  16. Saturday 12:00 at H.2215 (Ferrer)
  18. > Helios is a simple microkernel written in part to demonstrate the applicability
  19. > of the Hare programming language to kernels. This talk briefly explains why
  20. > Helios is interesting and is a teaser for a more in-depth talk in the
  21. > microkernel room tomorrow.
  22. > 
  23. > Hare is a systems programming language designed to be simple, stable, and
  24. > robust. Hare uses a static type system, manual memory management, and a minimal
  25. > runtime. It is well-suited to writing operating systems, system tools,
  26. > compilers, networking software, and other low-level, high performance tasks.
  27. > Helios uses Hare to implement a microkernel, largely inspired by seL4.
  29. [**BoF: The Hare programming language**](https://fosdem.org/2023/schedule/event/hare_meetup/)
  31. Saturday 15:00 at UB2.147
  33. > Hare is a systems programming language designed to be simple, stable, and
  34. > robust. Hare uses a static type system, manual memory management, and a
  35. > minimal runtime. It is well-suited to writing operating systems, system tools,
  36. > compilers, networking software, and other low-level, high performance tasks.
  37. >
  38. > At this meeting we'll sum up the state of affairs with Hare, our plans for the
  39. > future, and encourage discussions with the community. We'll also demonstrate a
  40. > few interesting Hare projects, including Helios, a micro-kernel written in
  41. > Hare, and encourage each other to work on interesting projects in the Hare
  42. > community.
  44. [**BoF: SourceHut meetup**](https://fosdem.org/2023/schedule/event/sourcehut/)
  46. Saturday 16:00 at UB2.147
  48. > SourceHut is a free software forge for developing software projects, providing
  49. > git and mercurial hosting, continuous integration, mailing lists, and more.
  50. > We'll be meeting here again in 2023 to discuss the platform and its community,
  51. > the completion of the GraphQL rollout and the migration to the EU, and any
  52. > other topics on the minds of the attendees.
  54. [**Introducing Helios**](https://fosdem.org/2023/schedule/event/heliosuk/)
  56. Sunday 13:00 at H.1308 (Rolin)
  58. > Helios is a simple microkernel written in part to demonstrate the
  59. > applicability of the Hare programming language to kernels. This talk will
  60. > introduce the design and rationale for Helios, address some details of its
  61. > implementation, compare it with seL4, and elaborate on the broader plans for
  62. > the system.