chubot

64 ms·

691.
by chubot 3y ago
??? Just about all high performance GCs use moving GCs for the young/fast generation, to get bump allocation Examples: The whole v8 lineage of VMs, and SpiderMonkey followed shortly thereafter Java Hotspot and most fast alternatives Fe
692.
by chubot 3y ago
Not to detract from an interesting post, but the last point about programming languages is confusing, and seems to give little information. Use expressive, untyped Ruby or inexpressive, strongly typed Go? Or SBCL ? Most people would put Ru
693.
by chubot 3y ago
Haha ... honestly it is surprising how much work an RPC system is. Seems like it should't be -- you're marshaling arguments and return values But multiply that by a few languages, and now you have to paper over error code and exc
694.
by chubot 3y ago
Yup, negative knowledge is more robust too It only takes seeing one black swan to disprove “all swans are not white” While you can observe 30 or 300 years of white swans, and never prove the converse: “all swans are white” This might sound
695.
by chubot 3y ago
OK, thanks for the response I think many people are going to have problems programming with this consistency model, as they will with any that's different than a single machine. But that's basically "physics", so it&#x2
696.
by chubot 3y ago
Well I'm kinda glad I missed this whole news cycle IMO this phenomenon seems to be kind of an artifact of modern media -- I feel like in the old days, peers would have settled it among themselves, and we would have never heard about i
697.
by chubot 3y ago
Yes, I 100% agree with you. I would like something like this to succeed, and agree the problem is real. But what are the tradeoffs? There's nothing that comes with 100x benefit with no tradeoffs (side note: I worked on Google Code f
698.
by chubot 3y ago
Hilariously, I went to edit the above comment, and HN was overloaded. Then it served me three or four 500's, AND it served me stale data in between I was pissed off that I would have to type my comment again, but actually it did save
699.
by chubot 3y ago
Yeah definitely, these ideas always sound very appealing to me, in theory -- I almost wonder why nobody has built it before e.g. they mention "event sourcing" and "materialized views" in the post -- sounds good But I tho
700.
by chubot 3y ago
What are A and B? Are they expressions over integers, floats, or strings? I would simply try translating them to JavaScript / Lua and use v8 / LuaJIT (LuaJIT is probably much smaller and easier to embed) And just do eval(&#
701.
by chubot 3y ago
Yes, the language there is Zephyr ASDL [1]. I actually changed this: Dict(expr* keys, expr* values) to Dict(List[expr] keys, List[expr] values) in our fork for https://oilshell.org/ , and it made a lot mo
702.
by chubot 3y ago
IME a lot of people want some kind of help from the compiler when writing a GC, but there is the fundamental static vs. dynamic problem. Heap integrity / reachability is a dynamic property of a running program, and so all the static so
703.
by chubot 3y ago
After writing a garbage collector, I can say that I’ve seen the unreachable / “will never be used” distinction, and it’s more or less irrelevant trivia. It doesn’t help you write a garbage collector to think of it that way. It doesn’t
704.
by chubot 3y ago
Yeah this is what MyPy does internally too You just have a big dict of types, which are keyed by the AST node It seemed a bit weird to me, but certainly works. I guess I usually use dicts that are keyed by value and not by address of the i
705.
by chubot 3y ago
BTW Oils has job control (thanks to contributor Melvin Walls), and it also has almost almost all bash redirects ... any zsh redirects can likely be added trivially!
706.
by chubot 3y ago
(author here) This is good feedback 1) I think you mean stuff like **/*.py from zsh, which bash now emulates with shopt -s globstar. This has come up several times, and we should have it. But I'm actually not entirely sure how **
707.
by chubot 3y ago
There's only 7K lines of C++ in Oils, mentioned in this post, and we intentionally keep it down. (It's for the garbage collector and OS bindings -- basically the unsafe parts.) The rest is typed Python (with algebraic data types)
708.
by chubot 3y ago
(author here) Funny thing is I also type out most of my shell into a script file. I generally don't create huge commands interactively. I elaborated on that here: https://lobste.rs/s/pcuppu/what_helps_people
709.
Oils 0.17.0 – YSH Is Becoming Real(oilshell.org)
66 points by chubot 3y ago|20 comments
710.
by chubot 3y ago
To be clear, I was asking for a distillation of the novel parts of Urbit, without all the obscurantism (and I do think there is novelty; the Plunder project seems to be evidence of that) I don't agree with the post that says it's
711.
by chubot 3y ago
Nix was novel because it brought reproducibility, immutability, etc. to a real system running on Linux -- but if you don't have the Linux constraint, then the ideas go back MUCH further And Nix is a package manager / build system,
712.
by chubot 3y ago
Not OP, and I don't understand Urbit particularly well, but I think this part of the doc is the salient feature: > The data model of Nock is the noun (*), which is either a natural number (@, called an "atom") or a pair of
713.
by chubot 3y ago
Hmm ... I haven't looked at Urbit in years, but this doc was pretty well written -- and it makes me curious about a Unix-y and loosely coupled version of the system. It always seemed a big no-no to couple the VM and OS to the language.
714.
by chubot 3y ago
Something I was wondering about in this case ... They tracked the killer through his use of burner phones 10 years ago. And I obviously know phones continuously ping cell towers. So that means somewhere out there, there's a database of
715.
by chubot 3y ago
Comments - https://lobste.rs/s/38bn85/cbor_is_greener_than_json The author doesn't diclose his advoacy of his "own" format, and it's the idea is stupid to begin with (yes, stupid)
716.
by chubot 3y ago
Hm I lived right there in 2022, amazing farmer’s market
717.
by chubot 3y ago
FWIW the original announcements in 2020: https://cognitect.com/blog/2020/07/23/Cognitect-Joins-Nubank https://news.ycombinator.com/item?id=23926407 https://building.nubank.com
718.
by chubot 3y ago
Yes though Python has list comprehensions too :) I should have picked a different example -- the idea I was trying to get across was that mutability within a loop is useful. Here’s a similar question I asked with Python vs. OCaml and Lisp.
719.
by chubot 3y ago
Yeah I knew someone was going to say that (see last sentence), but a for loop is more powerful and general than reduce(). Mutability within the loop is useful, and it can be controlled by processes and message passing.
720.
by chubot 3y ago
I'm also looking at Elixir and Phoenix (coming from Python/C++), and it looks cool. Doing realtime features with Python requires something like Tornado / asyncio, which isn't ideal IMO. I'm all for the immutable &#

More ›