Login

Recent searches

No recent searches

Search options

Only available when logged in.
fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

10K
active users

fosstodon.org: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.6

#bootstrapping

0 posts0 participants0 posts today
Public
LisPi
https://bootstrapping.miraheze.org/wiki/Bootstrapping_Specific_Languages

Well this is a neat website. Interesting details about Aesop & Pascal that I hadn't been quite aware of.

https://lists.gnu.org/archive/html/guix-devel/2024-10/msg00046.html

I also found this other suggestion for Ada which is interesting? It would probably be quite the task to verify that output & document it properly, but it should also just work.

#Bootstrapping #Programming #Languages #Ada #Pascal
bootstrapping · Bootstrapping Specific Languages - bootstrapping
#pascal
Public
Risotto Bias

invariably required-ish host type: hardcoded as a bootstrap peer (so that your first boot is relatively easy after installation)

what if there's a bootstrap protocol that's cross-compatible with other bootstrap frameworks?

such that you can ask (on any protocol) for peers of another protocol?

a DHT where the only goal is to find some members of another kind of DHT?

#DHT #MagnetLinks #bootstrapping #P2P

alternative methods:

- server you download from generates the install.sh script custom each time
- you have to search mastodon manually for a tag
- you randomly search the web for IPs that respond on a port
- you email a bridge (like tor) ((this is technically the same process...))
- apt post-install scripts pick a relay at random (kinda like picking the "fastest package mirror")
- you use a domain generation algorithm
- your friend helped you install in person, and thus shares a QR code or bluetooth beacon with you
- DNS request (this is how some super-peer records work)

Public
Tommy Thorn

I like the problem statement of compilercrim.es/bootstrap/mini (#bootstrapping with just a minimal loader), but I don’t think writing a #FORTH would be the way; it’s just barely better than assembly IMhO. I’m pretty sure I could produce a simple McCarthy-style #LISP in machine code. Bootstrapping from that to a simple compiled language seems far more pleasant.

compilercrim.esFitting a Forth in 512 bytesSoftware is full of circular dependencies if you look deep enough. Compilers written in the language they compile are the most obvious example, but not the only one. To compile a kernel, you need a running kernel. Linkers, build systems, shells. Even text editors, if you want to write the code instead of just downloading it. How do you break this cycle? Since the bootstrapping problem has first come to my attention, I've been drawn to this unique area of software engineering. Not out of fear that someone would try to implement a trusting trust attack, but simply as an interesting challenge.
Public
Ludovic Courtès

“The Design of a Self-Compiling C Transpiler Targeting POSIX Shell” (2024)
doi.org/10.1145/3687997.369563

“We have developed pnut, a C to POSIX shell transpiler written in C that generates human-readable shell code. […] Together, pnut and the shell serve as the seed for a chain of builds that create increasingly capable compilers up to the most recent version of [GCC]”

(@monnier is among the authors 👋)

Cc: @janneke @stikonas

ACM ConferencesThe Design of a Self-Compiling C Transpiler Targeting POSIX Shell | Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering
#bootstrapping#Guix
ExploreLive feeds
About