TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Urbit: a personal cloud computer

460 点作者 aberatiu超过 10 年前

48 条评论

GuiA超过 10 年前
Urbit is a weird thing that feels like it comes from a parallel universe of computing. It&#x27;s a bit hard to wrap your head around it at first, but it has some neat ideas.<p>I like this article which introduces it:<p><i>Urbit is perhaps how you&#x27;d do computing in a post-singularity world, where computational speed and bandwidth are infinite, and what&#x27;s valuable is security, trust, creativity, and collaboration. It&#x27;s essentially a combination of a programming language, OS, virtual machine, social network, and digital identity platform.</i><p><a href="http://alexkrupp.typepad.com/sensemaking/2013/12/a-brief-introduction-to-urbit.html" rel="nofollow">http:&#x2F;&#x2F;alexkrupp.typepad.com&#x2F;sensemaking&#x2F;2013&#x2F;12&#x2F;a-brief-int...</a>
评论 #8579542 未加载
评论 #8579620 未加载
JDulin超过 10 年前
Oh, Urbit! Where to begin?...<p>First of all, this is staggeringly brilliant. You should pay attention to it in the coming months. I am not sure if it&#x27;s destined to be the future, but I sure as hell hope it is.<p>I had the privilege of interning at Tlon, the company working on Urbit&#x27;s development, this summer. It owns most of the namespace (Personal cloud computer IP addresses, essentially.) and is where the architect of the system works full-time. They are funded, well enough, by VCs you know of. Urbit is not really launched yet though - We spent the summer doing a lot of work getting the network, file system, protocols, and application layer in &quot;Industrial grade&quot; shape, and I believe more of that is happening this fall.<p>Because the system is still unlaunched and the docs are being retooled, I imagine these pages are discombobulating. That&#x27;s... expected. Urbit has a lot of odd ideas that take time to appreciate. However, if you do take the time to understand the motivation behind the design of everything from Hoon&#x27;s appearance to the network protocol replacement for TCP to the vision for future social networks, you&#x27;ll find some of the best and most complete computer science research done in decades in networks, systems, and functional programming. The essential idea is not an outlandish one - We need a new basis of computing and networking to build digital identities with, and 1970s system software is not up to the task.<p>It&#x27;s unfortunate that ambition and a sense of humor can be misinterpreted as a joke today. For now, you&#x27;ll just have to take my word for it [1] that these guys are deadly serious and have the technical chops to back up their ambition. Future documentation and applications built on the OS should soon make that more immediately evident.<p>[1] Or start reading the tutorials!
评论 #8579478 未加载
评论 #8579483 未加载
评论 #8580291 未加载
state超过 10 年前
I can&#x27;t say we were expecting this, but it&#x27;s nice to see that people are still interested in what we&#x27;re working on. Thanks!<p>What we&#x27;re brewing in the lab has diverged quite a bit from what&#x27;s publicly available. Even these docs are quite out of date.<p>If you&#x27;re interested in keeping up with what we&#x27;re doing: either sign up at <a href="http://urbit.org" rel="nofollow">http:&#x2F;&#x2F;urbit.org</a> or send me an email, galen at tlon.io.
评论 #8578931 未加载
sz4kerto超过 10 年前
Previous discussion: <a href="https://news.ycombinator.com/item?id=6438320" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=6438320</a><p>I&#x27;ve been watching this since it&#x27;s started. It has some magical atmosphere around it and you never now whether it&#x27;s serious or not; whether it&#x27;s a real technical project or some kind of artistic performance.<p>I think I have a destroyer somewhere.
评论 #8578611 未加载
评论 #8578660 未加载
Zillion超过 10 年前
The choice of 0 for true and 1 for false is _wrong:_ On the Curry-Howard correspondence (and above) a type corresponds to a false sentence when it is not inhabited, like 0, and to a true sentence when it is. The Curry-Howard correspondence is fundamental, and so that is the. correct way to go, absent evidence in the other direction. I don&#x27;t know whether Nock is a better foundation for a programming language than the Lambda Calculus, but it is at least as elegant—I&#x27;m glad someone is seeing where it leads I&#x27;m a fan of internet freedom, which often requires anonymity, and so I have my doubts about an OS that preserves exerything as a feature of the design.
评论 #8580539 未加载
评论 #8579336 未加载
评论 #8599018 未加载
Estragon超过 10 年前
Is nock designed to run untrusted, potentially hostile code with guaranteed identical results on all platforms?<p>I&#x27;m looking for a virtual machine (or NaCl-like sandbox) which does this.<p>Edit: To anyone who downvoted me, could you please let me know why?
评论 #8579301 未加载
评论 #8580347 未加载
nnq超过 10 年前
It&#x27;s probably the second time that I come across Urbit and found it attention worthy, but... <i>how hard would it be to explain at least some of the concepts in plain English and with some nice intuitive drawings&#x2F;schemas on the side, really?</i><p>I mean, this <a href="http://doc.urbit.org/doc/hoon/tut/1/" rel="nofollow">http:&#x2F;&#x2F;doc.urbit.org&#x2F;doc&#x2F;hoon&#x2F;tut&#x2F;1&#x2F;</a> is supposed to be a &quot;tutorial&quot; but it&#x27;s definitely not what anyone else would call a &quot;tutorial&quot;. It&#x27;s more like a &quot;philosophical introduction&quot; to a PhD paper, which would be ok if labeled as such. A tutorial should be about &quot;how do I do X using Y, without bothering to really understand Y&quot; because this is what a tutorial is about, a &quot;mostly wrong&quot; &quot;mental shortcut&quot; that you take in order to gain some kind of &quot;feel for how something works&quot; before actually delving deeper and reading up on the theory.
评论 #8581112 未加载
jacquesm超过 10 年前
This is fun stuff. Reading around a bit I found this:<p>&quot;While nowhere near the simplest such automaton known, and certainly not of any theoretical interest, Nock is so stupid that if you gzip the spec, it&#x27;s only 374 bytes. Nock&#x27;s only arithmetic operation is increment. So decrement is an O(n), operation; add is O(m * n)... &quot;<p>Don&#x27;t they mean &#x27;subtraction&#x27; rather than &#x27;add&#x27;?<p>edit: This is so fascinating, it has me totally enthralled. Think smalltalk meets lisp meets some wild eyed programmer who knows <i>just</i> how to appeal to the general frustration most programmers should have (do they?) about the state of our art.<p>Best post on HN in a long time, very curious how this one will turn out in the long term. May all your ships come in ;)<p>edit2:<p>Digging around a bit more: Peter Thiel and a bunch of others have apparently invested in this through a vehicle called &#x27;Tion&#x27;, <a href="https://angel.co/tlon" rel="nofollow">https:&#x2F;&#x2F;angel.co&#x2F;tlon</a> (the Thiel reference is that Thiel backed John Burnham, who is co-founder in Tion).
评论 #8579772 未加载
评论 #8580167 未加载
yongjik超过 10 年前
Is it just me, or is anyone else reminded of the story of Project Xanadu? (A great read[1], if you have an hour to spare.)<p>Especially this part: &gt; Shapiro also discovered that the group had been working together so long it had developed a kind of private slang. It took months to comprehend what the programmers were talking about. Most of them were book lovers and trivia mongers who enjoyed developing a metaphor based on obscure sources and extending it via even more unlikely combinations. For instance, the object in the Xanadu system that resembled a file was called a bert, after Bertrand Russell. With files called bert, there had to be something called an ernie, and so in the Xanadu publishing system, an ernie was the unit of information for which users would be billed. To understand the details of Xanadu, Shapiro had to learn not only the names for things, but also the history of how those names had come to be.<p>[1] <a href="http://archive.wired.com/wired/archive/3.06/xanadu_pr.html" rel="nofollow">http:&#x2F;&#x2F;archive.wired.com&#x2F;wired&#x2F;archive&#x2F;3.06&#x2F;xanadu_pr.html</a>
评论 #8581453 未加载
macu超过 10 年前
I read partway through and began to worry that maybe old age has finally caught up to me at 25.
pxndx超过 10 年前
This is either a very elaborate joke or the future of computing.
评论 #8578394 未加载
评论 #8578368 未加载
评论 #8578367 未加载
评论 #8578369 未加载
评论 #8578372 未加载
newuser88273超过 10 年前
The project is based on a fundamental insincerity, which makes me suspicious. All material about Urbit makes a big point of their minimal spec, again so in the linked piece: &quot;The spec fits on a T-shirt and gzips to 340 bytes.&quot;<p>What do people expect when they read a thing like that? I don&#x27;t know about you, bit I&#x27;d expect that I could ignore the obfuscated strangeness of their higher level languages etc and just implement stuff to that minimal spec.<p>So you expect you can do that. But you can&#x27;t. That minimal spec might as well not exist; you can&#x27;t just read it and go on to implement, say, a programming language on top of Urbit.<p>&quot;But you can!&quot; you might object. Try it. Read nothing but that spec and implement, say, a tiny BASIC on top of it. Compile some simple programs. Run them. Now, what happens? Nothing, for now. But look, my processor core is heating up. Something must be happening! Just wait. Wait. Wait. No, still nothing. Wait some more. Just a few years, maybe? No, still nothing (except heat). Etc.<p>So no, that elegant spec doesn&#x27;t give you anything but a way to heat your computing cabinet.<p>Realizing this, I put Urbit in the &quot;suspicious, may be a con&quot; bin. Hasn&#x27;t escaped from there, yet.
评论 #8580184 未加载
评论 #8580847 未加载
评论 #8582676 未加载
chops超过 10 年前
Code on Github: <a href="https://github.com/urbit/urbit" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;urbit&#x2F;urbit</a><p>This seems crazy ambitious on its own, and add to it that it&#x27;s public domain. Very curious where this will be headed.
评论 #8578477 未加载
评论 #8578924 未加载
krick超过 10 年前
I definitely was thinking about something <i>like this</i>, but not exactly <i>this</i>. I mean, yeah, the only way to save ourselves from damnation is to finally announce &quot;enough of 70&#x27;s!&quot; and rewrite everything from scratch, so the idea is dear to me, but that actual implementation of the idea is… maybe &quot;weird&quot; is the right word. I&#x27;ll continue reading, but I already have a feeling that after I&#x27;ll get myself completely familiar with it, I will hope it will <i>not</i> succeed.
评论 #8580860 未加载
thibauts超过 10 年前
I can&#x27;t decide if it&#x27;s a science fiction novel written in code form, a programming environment, a game, a radical creative take on computing and networking ... Whatever it is, it&#x27;s genius.
macu超过 10 年前
It seems like a work of genius, but it may be many years before an artificial intelligence can fully interpret its unique significance.<p>In fact it reminds me about a massive book on cellular automation that I once picked up, which went to incredible length in interpreting the potential of dynamic patterns in 2D space. It was a monument to extreme intellectual rigour and dedication, if nothing else. If only I could remember the title.
评论 #8579085 未加载
评论 #8579091 未加载
sjclemmy超过 10 年前
I know enough to be interested. Not enough to know if its nonsense.<p>Although, I read this:<p>&quot;A pier is an Urbit virtual machine that hosts one or more Urbit identities, or ships. When you run bin&#x2F;vere -c, it automatically creates a 128-bit ship, or submarine. Your name (a hash of a randomly-generated public key) will look something like:<p>~machec-binnev-dordeb-sogduc--dosmul-sarrum-faplec-nidted,...<p>and I laughed. A lot.
k2enemy超过 10 年前
I found this video helpful in understanding the project: <a href="http://vimeo.com/75312418" rel="nofollow">http:&#x2F;&#x2F;vimeo.com&#x2F;75312418</a>
评论 #8579244 未加载
评论 #8578941 未加载
youngthugger超过 10 年前
Can someone explain what is going on? Is this a new OS built from the ground up with it&#x27;s own technologies ?
评论 #8578583 未加载
评论 #8578389 未加载
amelius超过 10 年前
So let me get this straight. This project is going to define<p>1. A new computing model, similar to how combinators work.<p>2. A programming language which produces expressions involving these combinators.<p>3. An operating system built on the above.<p>4. A cloud computing environment built on the above.<p>Sorry, but while interesting, this sounds a little too ambitious, even by HN standards :)
评论 #8578496 未加载
评论 #8578413 未加载
评论 #8578420 未加载
评论 #8578406 未加载
评论 #8579528 未加载
评论 #8578403 未加载
dtf超过 10 年前
For some reason I feel like I&#x27;m reading a Jorge Luis Borges story.
评论 #8578435 未加载
emmanueloga_超过 10 年前
Interesting distribution of contributors [1]. Usually what I see on most projects is one or two guys contributing the most of the code since the start of the repository, with minor contributors coming and going. These contributors chart seem to show different guys taking the helm at different points on time though.<p>1: <a href="https://github.com/urbit/urbit/graphs/contributors" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;urbit&#x2F;urbit&#x2F;graphs&#x2F;contributors</a>
评论 #8579303 未加载
评论 #8579291 未加载
rogerbraun超过 10 年前
It&#x27;s made to confuse and mystify. The Borges quote from &#x27; Tlön, Uqbar, Orbis Tertius&#x27; gives it away.<p>Really well done, though!
vesche超过 10 年前
When I read through the urbit git page and it finally clicked to me what this is and what it could mean, I literally said out loud in my room &quot;Oh, that&#x27;s really fucking cool.&quot;
评论 #8580427 未加载
eluos超过 10 年前
This video does a good job explaining Urbit: <a href="https://vimeo.com/75312418" rel="nofollow">https:&#x2F;&#x2F;vimeo.com&#x2F;75312418</a>
cwyers超过 10 年前
&quot;More specifically, Urbit is a personal cloud computer. Right now, the cloud computers we use run OSes designed for minicomputers in the &#x27;70s. An ordinary user can no more drive a Linux box in the cloud than fly an A320. So she has to sit in coach class as a row in someone else&#x27;s database. It&#x27;s definitely air travel. It&#x27;s not exactly flying.&quot;<p>I doubt very much that the average person wants to either fly their own airplane or manage their own cloud computers, no matter how simple you try to make either of them.
评论 #8578627 未加载
jqm超过 10 年前
I&#x27;m just wondering if it will run on TempleOS.
评论 #8581294 未加载
vezzy-fnord超过 10 年前
Urbit is to computing what Thelema is to spirituality.
评论 #8579154 未加载
评论 #8578943 未加载
chatmasta超过 10 年前
Docs: <a href="http://doc.urbit.org/doc/" rel="nofollow">http:&#x2F;&#x2F;doc.urbit.org&#x2F;doc&#x2F;</a>
jacquesm超过 10 年前
more interesting reading here:<p><a href="http://alexkrupp.typepad.com/sensemaking/2013/12/a-brief-introduction-to-urbit.html" rel="nofollow">http:&#x2F;&#x2F;alexkrupp.typepad.com&#x2F;sensemaking&#x2F;2013&#x2F;12&#x2F;a-brief-int...</a>
tyrion超过 10 年前
Is this free software? I don&#x27;t see a license in the Github repository.
评论 #8578474 未加载
happybeing超过 10 年前
That description sounds like <a href="http://MaidSafe.net" rel="nofollow">http:&#x2F;&#x2F;MaidSafe.net</a>, which is rapidly approaching launch.
评论 #8578544 未加载
评论 #8579172 未加载
hunnypot超过 10 年前
This gives me a weird <i>Daemon</i> vibe.
sjclemmy超过 10 年前
This guy should have been a comedy writer, not (and?) a programmer. I found this whilst backtracking: <a href="http://moronlab.blogspot.co.uk/2010/01/moron-lab-goals-principles-rules.html" rel="nofollow">http:&#x2F;&#x2F;moronlab.blogspot.co.uk&#x2F;2010&#x2F;01&#x2F;moron-lab-goals-princ...</a>
评论 #8578469 未加载
duckingtest超过 10 年前
Seems fun, because I didn&#x27;t understand everything while skimming the website.<p>&gt;We use so many of these ASCII glyphs that we like to be able to read them out loud. A language is meant to be said.<p>That&#x27;s a very weird idea there. A painting is a form of language, but can a painting be said?
评论 #8578824 未加载
olh超过 10 年前
Is it for real? Finally a computational machine based on hyperoperations I can use.
BorisMelnik超过 10 年前
Don&#x27;t really get what this is technically, but conceptually I do understand it and would love to back a company like this. Technologies like this could kill Microsoft (Windows) and many others.
评论 #8579305 未加载
roboben超过 10 年前
the only bad things seems that everyone is dependent from a server run by one company. why is there a need for this kind of registry? wouldn&#x27;t be a distributed system better for this?
评论 #8580419 未加载
gfodor超过 10 年前
Is there an EAP for &quot;Urbit in Action?&quot;
评论 #8578418 未加载
juanbyrge超过 10 年前
MENCUIS MODLBUG IS OUR DEAR LEADER, lol
1ris超过 10 年前
So, is it back? Launched again?
评论 #8578690 未加载
comrh超过 10 年前
This is like if Douglas Adams and Greg Egan did pair coding. Super interesting.
andyidsinga超过 10 年前
i loved everything i read on that page ...especially the part about it being not good formanyting but screwin around!<p>BTW - re Hoon ...a reference to the sea faring settlers in Brin&#x27;s uplift series?
kungfooguru超过 10 年前
It is so purposely obfuscated it has to be a troll.
Animats超过 10 年前
Was this written by a program?
评论 #8578677 未加载
WorldWideWayne超过 10 年前
Are there a lot of women using Urbit or something?
评论 #8584242 未加载
marknadal超过 10 年前
I really like the foundations of this, but I like design - how could I start building a UX interface for this?
评论 #8580678 未加载
评论 #8579265 未加载
sheerun超过 10 年前
Stop wasting my time...