9fans - fans of the OS Plan 9 from Bell Labs
 help / color / mirror / Atom feed
* [9fans] Re: [inferno-os] sources of Alef language
       [not found] <45626b08-d288-48dd-815b-19e4c258a3e7n@googlegroups.com>
@ 2020-11-07 14:57 ` Oleg Finkelshteyn
  2020-11-07 18:56   ` Sean Hinchee
  0 siblings, 1 reply; 2+ messages in thread
From: Oleg Finkelshteyn @ 2020-11-07 14:57 UTC (permalink / raw)
  To: bhgv, inferno-os; +Cc: 9fans

> the sources of Alef language?

9fans is probably a better mailing list for this.

alef was included in the plan9 second edition; that would be a good place to start. see https://seh.dev/plan9-2e/ for some pointers and a complete iso (including alef sources)  in the 'archive'.

you can mount that iso with 9660srv (either in plan9 or with plan9port) to recover original filenames.

i remember there was an ongoing effort to update alef to run on modern plan9; 9fans will know more about this.


------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T7a4d9d7ff7642ef8-Mebbe449efc0d25ea8d570ca2
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

^ permalink raw reply	[flat|nested] 2+ messages in thread

* [9fans] Re: [inferno-os] sources of Alef language
  2020-11-07 14:57 ` [9fans] Re: [inferno-os] sources of Alef language Oleg Finkelshteyn
@ 2020-11-07 18:56   ` Sean Hinchee
  0 siblings, 0 replies; 2+ messages in thread
From: Sean Hinchee @ 2020-11-07 18:56 UTC (permalink / raw)
  To: Oleg Finkelshteyn; +Cc: bhgv, inferno-os, 9fans

[-- Attachment #1: Type: text/plain, Size: 1828 bytes --]

Check the first section for Alef in this post: https://seh.dev/go-legacy/

As mentioned before, my 2e post is probably your best direction at getting
a working Alef chain to play with

A snapshot of BurnZeZ’s work to port forward (from the public grid):
https://github.com/Plan9-Archive/alef

A snapshot of my (poor) attempt to port forward:
https://github.com/henesy/alef2

I believe this is an unmodified Alef source tree:
https://github.com/henesy/alef

If there’s anyone to contact directly about the state of the modern
9front/386 port, it’s BurnZeZ.

Cheers,
Sean

On Saturday, November 7, 2020, Oleg Finkelshteyn <olegfink@gmail.com> wrote:

> > the sources of Alef language?
>
> 9fans is probably a better mailing list for this.
>
> alef was included in the plan9 second edition; that would be a good place
> to start. see https://seh.dev/plan9-2e/ for some pointers and a complete
> iso (including alef sources)  in the 'archive'.
>
> you can mount that iso with 9660srv (either in plan9 or with plan9port) to
> recover original filenames.
>
> i remember there was an ongoing effort to update alef to run on modern
> plan9; 9fans will know more about this.
>
> --
> You received this message because you are subscribed to the Google Groups
> "inferno-os" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to inferno-os+unsubscribe@googlegroups.com.
> To view this discussion on the web, visit https://groups.google.com/d/
> msgid/inferno-os/acdf3a6f-be3d-4117-b6c5-041050d6b2ad%40www.fastmail.com.
>

------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T7a4d9d7ff7642ef8-M82787a523820485b8f54cc98
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

[-- Attachment #2: Type: text/html, Size: 3136 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2020-11-07 18:56 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <45626b08-d288-48dd-815b-19e4c258a3e7n@googlegroups.com>
2020-11-07 14:57 ` [9fans] Re: [inferno-os] sources of Alef language Oleg Finkelshteyn
2020-11-07 18:56   ` Sean Hinchee

9fans - fans of the OS Plan 9 from Bell Labs

This inbox may be cloned and mirrored by anyone:

	git clone --mirror http://inbox.vuxu.org/9fans

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 9fans 9fans/ http://inbox.vuxu.org/9fans \
		9fans@9fans.net
	public-inbox-index 9fans

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.9fans


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git