tcard
Joined 15 years ago
Karma
273
Submissions
75
Member since
Apr 28
[ my public key: https://keybase.io/tcardenas; my proof: https://keybase.io/tcardenas/sigs/jB3zE3A1lf86rw426sC4UNdoMTX73N1Dvm45Y-BHgQw ]
View on Hacker NewsRecent submissions
Comment · 2 years ago
I think it's fair to say Smalltalk(s) have had in many aspects the most advanced IDE in existence at every moment since its introduction.
Demos for a couple old versions: https://www.youtube.com/watch?v=NqKyHEJe9_w Demo for Pharo: https://www.youtube.com/watch?v=baxtyeFVn3w
Comment · 3 years ago
Interesting perspective. It reminds me of Eve [1], which was all the rage over here a few years ago.
Comment · 3 years ago
The earliest version I could find [1] is already written in C.
[1] https://github.com/dspinellis/unix-history-repo/blob/Researc...
Comment · 3 years ago
Comment · 3 years ago
> you can get a strong cryptographic identity for (almost) anyone on the service, which you can then sign/encrypt to, verify for, etc.
I made https://sshign.tcardenas.me/ to take advantage of this. For example: [1]
In the end, it isn't that useful. I only routinely sign digitally to deal with the (Spanish) government, and they provide their own certificates and software to do that.
[1] https://sshign.tcardenas.me/?signer=github.com%2Ftcard&messa...
Comment · 4 years ago
This is definitely not Stallman's take on "this", "this" being _OP's feelings_ or maybe how to deal with regret generally, not whether having children or not is or isn't a good idea.
Comment · 4 years ago
Sure, but plenty of type systems are Turing complete. What makes this demo impressive is the (unique?) feature of string literal types and template literal types, which lets you operate on text (like, actual text, with no weird type-level encodings).
Comment · 5 years ago
That's type safety, not memory safety.
... But no, Go isn't memory safe, insofar data races can cause memory corruption.
Comment · 5 years ago
He's also a prominent contributor to the Go ecosystem.
https://github.com/BurntSushi/toml
Comment · 5 years ago
Not for Rust itself, but there's an interpreter for Rust's MIR: https://github.com/rust-lang/miri
Comment · 5 years ago
Who's "they"?
Surely you don't mean the Go team, which has had this in the language FAQ since 2009 [1]:
Why does Go not have generic types?
Generics may well come at some point. We don't feel an urgency for them, although we understand some programmers do.
Generics are convenient but they come at a cost in complexity in the type system and run-time. We haven't yet found a design that gives value proportionate to the complexity, although we continue to think about it. Meanwhile, Go's built-in maps and slices, plus the ability to use the empty interface to construct containers (with explicit unboxing) mean in many cases it is possible to write code that does what generics would enable, if less smoothly.
[1] https://github.com/golang/go/commit/dd64f86e0874804d0ec5b713...
Comment · 5 years ago
While that would probably be very valuable, it will probably come with lots of implementation details that won't really matter to you unless you plan to write a database yourself.
I'd suggest this one: https://dataintensive.net/ Its intended for _users_ of databases, that is, developers incorporating databases (and other kinds of data systems) into their applications. It gives just enough explanation on how those systems work and what they can (and can't) provide, and also gives a more general overview of what's available beyond relational SQL databases.
Comment · 5 years ago
This was also commonplace in Spain, traditionally. Some people, especially old ones, will say "si Dios quiere" literally every time they refer to any event in the future, even if it's just "see you tomorrow". Not doing so would be considered a "challenge" to God, or Fate, more generally.
Curiously, from "inshallah" Spanish got the word "ojalá", a very common term for expressing hope of something happening (and with no religious or any other "deep" connotation anymore; just like you'd use "I hope").
Comment · 5 years ago
Universidad Politécnica de Madrid, too.