你好,我是Sean,是英国。我拼凑了这个页面,让人们知道如何联系我,了解更多关于我的信息。

目前最好的联系方式是使用一种称为IRC公司.我在#sbp通道irc.libera.chat服务器。您可以使用web界面,或下载本机IRC客户端针对您的平台。IRC是20世纪80年代由一个芬兰人发明的,所以你知道它一定会很棒。

或者你也可以在miscoranda.com上的sean给我发电子邮件。不幸的是,我被电子邮件淹没了,所以我很少看到人们给我发的许多精彩有趣的东西,IRC是一个更好的选择。尽管密码学应用程序对用户不是很友好,甚至我自己的,你也可以使用类似的东西毒性和我私下聊天。

我的主要研究兴趣截至编写此页面是基于面向语言环境的开放计算。我们谈论的系统Genera公司,步骤,InterimOS公司,在某种程度上奥伯龙,TempleOS公司、和Emacs操作系统。对于编程语言,我想设计一些非常激进的东西,而不是像C类,蟒蛇、和壳牌公司我通常使用的。也许我们都应该使用福斯.

理想情况下,我认为程序应该得到正式验证,但当前的工具如Coq公司,伊德里斯、和Z3公司不要给程序员提供他们需要的东西来轻松地进行验证。数据应该是持久的,安全的、和不可撤销的。在硬件方面,我非常热衷于RISC-V公司芯片和可能性他们应该带来更普及的开放计算。

因为使用InterimOS等是不可行的,所以我很喜欢体系结构Linux.制作X(X)更美味,我用打开盒子使用纸类GTK主题,以及诺托·桑斯9和黑客10作为我的主要字体。我不喜欢Hack中的数字“0”,但除此之外,它是一种非常得体的等宽字体。最终我想使用韦兰德.

我是技术分散的狂热粉丝,所以我憎恶域名服务器以及CA我们用于安全网络的。这种集中化趋势甚至会影响到代码库,因此浏览器(如银行)现在太大了,不能失败,可以做任何他们喜欢的事情,即使这意味着取消和删除i索引,地鼠,MIDI(MIDI)播放,甚至http协议。虽然本页面应该已经到达您的手中密封的使用简单数学,你能亲自验证一下那个印章吗?如果有更多的人在上使用隐藏服务,我们至少可以对抗DNS和CA托尔,但Tor并没有被广泛使用,尽管它还提供了匿名性的进一步优势。不要让我开始数字版权管理.

虽然我确实喜欢HTML格式,我对它的历史手工制作的 方言的,我不喜欢肿胀以及JavaScript支持的Win98网络化。因此,我倾向于写非常简朴的网页。例如,这个是从我创建的轻量级标记格式生成的,并且只使用P和a元素。为了与IBM的1928穿孔卡格式这在现代仍然是一个普遍的惯例条款由于他们的共同血统VT100型.

缺少标题可能会使这一页读起来有点困难,但许多世纪以前,人们用它来写东西连续脚本风格,即ALLMAJUSCULEANDNOSPACES。现在我们有了超文本,我们可以点击甚至触摸它来立即加载来自世界各地的新超文本,所以请感激!

不过,HTML的排版很糟糕。即使我包括了Gentium公司Linux自由版使用WOFF2型,没有浏览器支持Knuth-Plass算法用于连字符,因此不能使用对齐良好的段落。至于符号,盖吉,红宝石,擦洗过的 变音符号,数学,自动生成的脚注诸如此类,这些事情还有几十年的时间。一旦像素让位给矢量密度更大更好的设备,至少字体可以真正发光。

表现音乐也很困难。我经常修改歌曲,并想显示结果。我试过使用SoX公司创造美丽谱图在旋律范围内,虽然取得了一些成功,但自动微音和声分析还有一段路要走。

谈到网络膨胀,这个页面越来越大:超过10个日志 国家统计局,未压缩,其中字节是关于五个半纳特。偶数zstd标准不能低于9个对数自然数。查克·摩尔可以写一个整体colorForth颜色空间探查这么多信息!