扩展版本

2013年GNU黑客会议 — 法国,巴黎

第七届GNU黑客会议于 2013年8月22日至8月25日在法国巴黎举行。

GNU黑客会议是一个友好和非正式的场所,用于讨论有关GNU和自由软件的技术、社会和组织问题。

继2011年成功举办之后,我们再次由IRILL,自由软件研究与创新中心慷慨主办。有关方向,请参阅下面的实用信息

2013年会议现已结束。下面的一些实用信息将过时。但请阅读有关未来GNU黑客会议的信息。

日程

8月22日,星期四

会前会议。

下午 — 在会场非正式聚会和黑客会议 —
17:00 密钥签名派对 —
晚上 — 在IRILL附近的某个地方的饮料/晚餐
22:30 — 参观巴黎天文台

8月23日,星期五

第一天演讲。

09:00 — 欢迎 —
09:05 GNU Guix,计算自由部署工具 Ludovic Courtès
10:05 GNU名称系统和使用GNUnet的社交网络未来 Christian Grothoff
11:05 为什么自由软件行动主义对GNU黑客很重要,由April — 推广和保护自由软件 Frédéric Couchet(执行董事),Jeanne Tadeusz(公共事务官员)
11:50 — 午休 —
13:50 简短演讲:Emacs XWidget分支的最新工作 Daimrod
14:10 简短演讲:Notmuch邮件 David Bremner
14:25 简短演讲:TeXmacs François Poulain
14:40 简短演讲:地球和空间科学的GNU Christopher Dimech
14:50 GNU epsilon教程 Luca Saiu
15:50 裁缝的选择(预先录制的演讲,现场问答) Frankie Onuong'a(来自肯尼亚的现场直播)
16:50 GNU Guix:无需方案的包! Andreas Enge
— Guix安装派对和黑客节 —
20:00 — 在 Flams 晚餐 —

8月24日,星期六

第二天演讲。

09:00 GNU recutils José Marchesi
10:00 维护和优化统计计算之间的依赖关系 John Darrington
11:00 Hurd的最新发展 Samuel Thibault
12:00 — 午休 —
14:00 每个人的自由#0,真的吗? Samuel Thibault, Jean-Philippe Mengual
15:00 使用pyconfigure以GNU方式打包Python Brandon Invergo
16:00 GDC — GCC的D前端 Iain Buclaw
17:00 Emacsy,用于GNU Guile Scheme的可嵌入Emacs类库(预先录制的演讲,现场问答) Shane Celis(来自美国的现场直播)
18:00 — 闭幕 —
19:30 — 在 Palais d'Asie 晚餐 —

8月25日,星期日

关闭GNU维护人员的讨论小组和贡献者。

09:00 — GNU集会 — José Marchesi(主席)

演讲

除非另有说明,否则视频和本地托管的幻灯片均以知识共享署名-相同方式共享3.0未移植许可证发布。

Luca Saiu: 欢迎

幻灯片)(视频

Ludovic Courtès: GNU Guix,计算自由部署工具

Guix是GNU的软件包管理器和发行版。它旨在通过以下几种方式来增强用户能力:通过成为可靠的系统基础,通过提供工具来正式关联二进制软件包及其“配方”和源代码(进一步弘扬GNU GPL的精神),通过允许用户自定义发行版,并通过降低发行版开发的准入门槛。
本次演讲将回顾一年的发展,展示我们在实现这一使命方面取得的进展,并在演示中炫耀一些很酷的功能。我们将讨论在构建独立的GNU系统方面面临的挑战,以及更广泛的GNU社区的机会。

幻灯片)(视频

Christian Grothoff: GNU名称系统和使用GNUnet的社交网络未来

域名系统(DNS)对于访问Web上的信息至关重要。因此,它是试图压制信息自由访问的攻击者的目标。本次演讲将介绍GNU名称系统(GNS)的设计和实现,这是一个分散且抗审查的名称系统。然后,它将描述我们计划如何使用GNS作为安全社交网络的公钥基础设施。

幻灯片 [外部链接])(视频,以知识共享署名-相同方式共享3.0未移植发布;署名文字应注明“Christian Grothoff和GNU项目”)

Frédéric Couchet,Jeanne Tadeusz: 为什么自由软件行动主义对GNU黑客很重要,由April — 推广和保护自由软件

近30年来,GNU黑客一直在创建大量的自由软件。GNU项目的每个软件组件都是一项重要贡献,以确保所有软件用户都可以自由控制其计算机。
自由软件的使用一直在增加,但是今天仍然存在其发展的障碍。从版权威胁到专利,包括危险的计算、捆绑销售计算机和软件、FUD、对网络中立性的威胁……令人担忧的原因很多。
如果没有有利的政治和立法环境,自由软件就无法充分发展。这就是April与盟友组织一起发挥关键作用的地方。它的行动,归功于其志愿者和工作人员,对于每个生产和/或使用自由软件的人都是宝贵的。这是该组织为自由软件运动做出的微小贡献。
Jeanne和Frédéric将介绍April,它的运作方式,他们正在处理的当前问题以及未来的前景。

关于April
April成立于1996年,是主要的法国倡导协会,致力于推广和保护自由/开放软件。其目标是在法语区向个人、机构和公司推广自由软件,保护自由软件用户和作者的权利,并鼓励知识共享。April为公众意识做出了巨大贡献,即计算机自由是一个社会问题,而自由软件不仅仅涉及技术问题。

(幻灯片:PDFLibreOffice源文件;可选择以知识共享署名-相同方式共享许可证版本2或更高版本、自由艺术许可证版本1.3或更高版本,以及GNU自由文档许可证版本1.3或更高版本发布)(视频

Daimrod: Emacs XWidget分支的最新工作 (简短演讲)

Emacs XWidget是Emacs的一个实验分支的名称,该分支允许用户将GTK+小部件嵌入到图形Emacs窗口中。
当前可以在Emacs和其他经典小部件(例如按钮、滑块和Webkit浏览器)中嵌入支持XEmbed协议的应用程序。
在本次演讲中,我将介绍XWidget分支的最新进展以及用于尝试新小部件的当前方法。

(幻灯片:orgLaTeXPDF)(视频

David Bremner: Notmuch邮件 (简短演讲)

最初受sup邮件用户代理(MUA)的启发,Notmuch是一组用于通过搜索和标记来处理您的邮件(存储在Maildirs或类似文件中)的GPL3+工具。在C绑定和可脚本化的命令行界面之上,该项目直接支持基于Emacs和VIM的用户界面以及与Mutt的集成。我们还支持Python、Ruby和Go绑定。基于Notmuch的其他项目包括用Python和Mercury编写的基于curses的前端、使用Notmuch作为后端的Mutt分支、Web界面和虚拟Maildir文件系统。在本次简短的演讲中,我将介绍Notmuch实用程序集,重点介绍Emacs界面和命令行工具。

幻灯片)(视频

François Poulain: TeXmacs (简短演讲)

GNU TeXmacs是一种结构化编辑软件,具有针对科学家的特殊功能。它旨在为编辑具有不同类型内容(文本、数学、图形、交互式内容等)的文档提供统一且用户友好的框架。为此,TeXmacs包括一个支持数学公式的文本编辑器、一个小图形编辑器以及许多功能,例如演示模式、拼写校正器、修订控制系统界面等。
由于它旨在渲染公式,因此GNU TeXmacs还可以用作计算机代数、数值分析、统计等许多外部系统的接口。
本次演示是突出这些不同功能的机会。

幻灯片,可选择以知识共享署名-相同方式共享3.0未移植许可证自由艺术许可证1.3发布)(视频,可选择以知识共享署名-相同方式共享3.0未移植许可证自由艺术许可证1.3发布)

克里斯托弗·迪梅克:GNU 用于地球和空间科学(简短演讲)

当今的地球物理和天体物理仪器所提供的能力使我们能够以更高的细节和精度研究我们的星球和宇宙。这种情况使我们能够加入地球和空间科学激动人心的新前沿,并进行我们自己的计算。在本次演讲中,我将提出一个计划,提供一个 GNU 平台,鼓励在自由软件环境中传播地球物理和天文研究的计算方法。我还将回顾未来的挑战,提出解决这些挑战的方法,并展示个人或个人团体如何做出贡献。

(无幻灯片)(视频

卢卡·赛尤:GNU epsilon 教程

构建强大编程语言的方法是从一个尽可能小的核心语言开始,添加宏和代码到代码的转换,并让程序具有反射性和自我修改能力。在 4000 行代码之后,你会得到一个相当令人印象深刻的东西。我的 ε1“个性”建立在核心之上,具有 Lispy 的感觉,但你可以使用它来构建另一个可能非常不同的“个性”。
在这个密集的实践教程中,你将从头开始学习 ε1,包括诸如 unexec 和本地编译之类的酷炫功能;同时,你将了解每种语言形式是如何在另一种语言形式之上定义的,从而产生一个建立在几乎一无所有的基础上的强大系统。
我赞成简单。在“现代”编程的无趣世界中,每种语言都与其他语言相同,无类型低级编程将使你再次微笑。

(无幻灯片)(视频

弗兰基·奥农加:裁缝的选择(预先录制 - 现场问答)

将线和针从陌生人带到贸易之母。

(幻灯片:LibreOffice) (视频

安德烈亚斯·恩格:GNU Guix:无需方案即可打包!(简短演讲,随后是安装派对和黑客节)

Guix GNU 发行版的诱人功能之一是,软件包管理系统以及软件包描述本身都是用 Guile 编写的,Guile 是 Scheme 语言的 GNU 实现。但是,如果你不了解 Scheme 怎么办?那么你仍然可以通过打包你最喜欢的 GNU 和其他自由软件做出贡献,也许还能顺便学习一点漂亮的函数式编程。
本次演讲概述了 GNU Guix 中已经打包的内容,演示了如何创建新软件包,并要求观众提出为下一个版本打包哪些软件包的方案。

幻灯片,可根据知识共享署名-相同方式共享 3.0 许可证GNU 自由文档许可证 1.3 版或 FSF 发布的任何后续版本(无不变章节,无封面文本,无封底文本)提供;源代码也可用)

何塞·马凯西:GNU recutils

幻灯片)(视频

约翰·达林顿:维护和优化统计计算之间的依赖关系

统计计算涉及迭代一个(可能非常大的)数据集一次或多次。统计分析工具的设计者希望确保执行的迭代次数不超过必要次数。虽然在个案基础上,可以通过检查来优化统计计算,但这在通用统计工具中是不切实际的,在通用统计工具中,要确定一组多个统计计算,并且该组的元素在设计时是未知的。本演示展示了如何使用缓存和依赖关系图来确定迭代的最佳数量和顺序。
本演示介绍了一个实现,该实现演示了如何使用 lisp 可以避免程序员维护依赖关系。相反,这些依赖关系是从程序本身中包含的隐式信息中提取的。

幻灯片)(视频

塞缪尔·蒂博:Hurd 的最新进展

本次演讲将回顾过去几年中 GNU Hurd 的良好发展。这将包括在文本控制台、网络虚拟化、自动转换器启动以及语言、错误修复等方面的总体支持改进方面的工作。我将特别解释我们现在如何在用户域进程中运行 Linux 网络驱动程序,用户如何运行自己的 TCP/IP 堆栈并仅让某些应用程序使用它。

幻灯片)(视频

塞缪尔·蒂博,让-菲利普·蒙圭尔:每个人都真正享有自由 #0 吗?

自由 #0 是“出于任何目的运行程序”。但是,被允许运行程序并不一定意味着能够使用它。由于可访问性问题,即因为他们看不到屏幕,或者只有一只手来键入快捷方式,或者听不到声音效果,或者存在认知问题而无法理解界面的复杂性,因此许多软件对于我们相当一部分用户来说是完全不可用的。当然,自由 #1 允许修改程序,因此用户“只需”使其满足他们的需求即可访问,但这根本不可能发生。我们想解释这种情况,并讨论:自由 #0 仅仅是关于一项法律权利,难道我们不想将其扩展到“现实世界”吗?

[此演讲不幸地混淆了软件自由和实际可用性的问题。缺少有用的功能,在自由软件中可以通过完成工作来纠正,不应等同于对用户施加限制。有关更多解释,请参阅这篇文章。尽管如此,GNU 项目还是敦促开发人员考虑在新自由程序的初始设计中提供可访问性。]

(幻灯片:PDFLibreOfficeHTML)(视频)(文字稿

布兰登·英维戈:使用 pyconfigure 以 GNU 方式打包 Python

GNU 编码标准概述了一种用于打包和安装软件的稳健且便捷的方法。任何以前在 GNU 系统上安装过软件的人都非常熟悉这些标准:./configure; make; make install。基于 Python 的软件包通常使用特定于该语言的工具(例如 distutils)来脱离此标准。GNU pyconfigure 通过提供便捷的 Autoconf 宏和灵活的模板,使其更容易以符合标准的方式打包 Python 软件,这些宏和模板可以快速轻松地集成到新的和现有的项目中。

幻灯片)(视频

伊恩·布克劳:GDC — GCC 的 D 前端

首先介绍 GDC,然后介绍 D 语言的已实现部分(和未实现部分)。将概述/深入了解为一种仅开始脱离学术模式的语言实现新的 GCC 前端,以及在此过程中面临的挑战。将继续讨论未来的发展,特别关注 D 的扩展,包括针对更多架构、运行时中未来的共享库支持以及在 D 中为 GCC 本身实现 D 前端。

幻灯片)(视频

谢恩·塞利斯:Emacsy,一个用于 GNU Guile Scheme 的可嵌入类 Emacs 库(预先录制 - 现场问答)

在本次演讲中,我将概述 Emacsy 是什么、它的目标、计划内容、演示以及当前技术问题的概述。简而言之,Emacsy 是一个旨在用于非文本应用程序的可嵌入类 Emacs 库。Emacsy 是“Emacs OS”减去文本编辑器。它的目标是提供按键映射、微型缓冲区、可记录的宏、历史记录、选项卡完成、作业控制以及一个可轻松与 C/C++ 应用程序集成的综合帮助系统。Emacsy 不是文本编辑器;它试图将“Emacs 方式”带给其他应用程序。作为副作用,它可能有助于增加其他 Guile 库的数量。

幻灯片)(介绍视频屏幕录像视频

出席人员

注册

如果你想参加,请通过公共邮件列表 ghm-discuss@gnu.org 联系我们,或写信给卢卡·赛尤的个人地址 positron@gnu.org

参加是免费的,但如果你想支持未来的 GNU 黑客会议,欢迎你进行少量捐款。

FSF 慷慨地设立了一小笔资金,以帮助为 GNU 维护者和贡献者(过去和现在)的(有记录的)差旅费用提供资金。如果你符合条件并且需要经济援助才能参加,请在你的注册电子邮件中注明此情况,并提供所有相关详细信息,包括允许你参加活动的最低金额,不迟于 2013 年 6 月 24 日

实用信息

IRILL 也有一个为客人提供信息的页面

地点

IRILL:法国巴黎,意大利大街23号,邮编75013。对于巴黎人来说,它位于第13区。
GPS坐标:48.8283604, 2.356641 北纬48° 49.7016', 东经002° 21.3985'。
IRILL的访问页面也可能很有用。

IRILL与以下机构位于同一栋楼:Inria,在三楼。IRILL和Inria的入口是您在这张图片中看到的左侧第一个门,邮局(“La Poste”)入口的左边。

讲座在“算法”房间举行。

酒店

IRILL的客人信息页面上列出的价格可能略有过时,截至2013年夏季。

另请参阅http://hostelbookers.com

餐厅

我们没有预订午餐的餐厅;我们只是去了场地附近的一些地方。

公共交通

巴黎拥有广泛的公共交通网络,包括著名的地铁系统、地面火车、有轨电车和公共汽车,均由国有企业RATP集团运营。如果您提前计划行程,您会发现RATP网站非常有用;否则,您可以在许多车站获得整个网络的袖珍纸质地图。您可能也会喜欢Transilien网站

离IRILL最近的地铁站是意大利广场,有6号线7号线由于翻新工程,5号线在2013年7月和8月将不服务于巴士底狱意大利广场(通常是一个终点站)之间的车站; 将提供替代巴士服务,但轨道交通通常更快。

网页横幅

我们制作了一个网页横幅,以帮助人们在网站和博客上宣传该活动,以防普通文本太少而动画介绍太多。

web banner

我们以源格式发布横幅,并已导出为PNG和GIF,可选择以下三种许可证:自由艺术许可证GNU自由文档许可证1.3版或更高版本,以及知识共享署名3.0未移植许可

您可能需要创建一个类似于以下的HTML链接

<span style="display: block; text-align: center;"><a href="https://gnu.ac.cn/ghm/2013/paris/"><img src="ghm-2013-banner.gif" alt="GNU 黑客会议 2013 横幅" style="border-style: none"/></a><p style="font-size:80%">横幅在<a href="http://artlibre.org/licence/lal/en">FAL</a>,<a href="https://gnu.ac.cn/copyleft/fdl.html">GFDL-1.3+</a>或<a href="http://creativecommons.org/licenses/by/3.0">CC-BY-3.0</a>下发布。有关完整的法律声明,请参阅元数据。<br/>版权所有 &copy; 2013 Sylvain, Luca Saiu. 版权所有 &copy; 2010 Wladyslaw [<a href="http://artlibre.org/licence/lal/en">FAL</a>, <a href="https://gnu.ac.cn/copyleft/fdl.html">GFDL</a>或<a href="http://creativecommons.org/licenses/by/3.0">CC-BY-3.0</a>] 通过维基媒体共享。<br/></p></span>

翻译

Ineiev慷慨地贡献了横幅的翻译版本

翻译变更的版权所有 © 2013 Free Software Foundation, Inc.;请添加版权声明。仍然在FALGFDL-1.3+CC-BY-3.0下获得三重许可。

参观巴黎天文台

在Alain Coulais的盛情邀请下,我们得以夜间参观巴黎天文台,甚至通过Grande Lunette,一个可以追溯到19世纪的折射望远镜,仍然处于工作状态,惊人地详细观察了月球。

T恤

我们为会议定制了T恤

联系我们

此网页界面可让您订阅公共邮件列表ghm-discuss@gnu.org。 欢迎您写信给列表并提出问题。过去的讨论已在此处存档

如果您想私下提出问题,请写信给Luca Saiu的个人地址positron@gnu.org

感谢

我们要感谢IRILL,尤其是Sylvestre Ledru,他慷慨地同意在其组织举办会议并操作录音设备,感谢Thomas Preud'homme自愿帮助他,以及感谢FSF的资助。

Sylvain贡献了片头动画,并在图形横幅方面提供了实质性帮助。