Hacker News: tcard

New comment by tcard in "IDEs we had 30 years ago"

tcard — Thu, 28 Dec 2023 12:47:11 +0000

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

New comment by tcard in "Why software projects take longer than you think: a statistical model (2019)"

tcard — Fri, 14 Jul 2023 13:44:37 +0000

Interesting perspective. It reminds me of Eve [1], which was all the rage over here a few years ago.

[1] https://witheve.com/

New comment by tcard in "Unix: An Oral History"

tcard — Tue, 09 May 2023 13:09:11 +0000

The earliest version I could find [1] is already written in C.

[1] https://github.com/dspinellis/unix-history-repo/blob/Researc...

New comment by tcard in "Finland becomes the 31st member of NATO"

tcard — Tue, 04 Apr 2023 13:28:35 +0000

https://en.wikipedia.org/wiki/Finlandization

New comment by tcard in "ssh whoami.filippo.io"

tcard — Sun, 08 Jan 2023 22:55:54 +0000

> 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...

New comment by tcard in "Ask HN: How to deal with regret of not having kids"

tcard — Wed, 19 Oct 2022 11:16:36 +0000

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.

New comment by tcard in "HypeScript: Simplified TypeScript type system in TypeScript's own type system"

tcard — Thu, 28 Jul 2022 10:35:52 +0000

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).

New comment by tcard in "Caddy – Open-source web server with automatic HTTPS"

tcard — Mon, 29 Nov 2021 15:31:03 +0000

That's type safety, not memory safety.

... But no, Go isn't memory safe, insofar data races can cause memory corruption.

New comment by tcard in "Rust Moderation Team Resigns"

tcard — Tue, 23 Nov 2021 10:18:49 +0000

He's also a prominent contributor to the Go ecosystem.

https://github.com/BurntSushi/toml

https://github.com/BurntSushi/xgb

https://github.com/BurntSushi/wingo

New comment by tcard in "Python interpreter written in rust reaches 10000 commits"

tcard — Wed, 03 Nov 2021 15:51:19 +0000

Not for Rust itself, but there's an interpreter for Rust's MIR: https://github.com/rust-lang/miri

New comment by tcard in "Expectations for generics in Go 1.18"

tcard — Thu, 28 Oct 2021 14:11:46 +0000

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...

Playing Battleships over BGP (2018)

tcard — Tue, 05 Oct 2021 10:12:20 +0000

Article URL: https://blog.benjojo.co.uk/post/bgp-battleships

Comments URL: https://news.ycombinator.com/item?id=28757375

Points: 124

# Comments: 23

New comment by tcard in "Databases, Types, and the Relational Model: The Third Manifesto [pdf]"

tcard — Mon, 04 Oct 2021 14:55:58 +0000

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.

New comment by tcard in "How Doctors die. It’s not like the rest of us (2016)"

tcard — Thu, 09 Sep 2021 10:46:15 +0000

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").

New comment by tcard in "Summary After Four Months with Ada"

tcard — Sun, 29 Aug 2021 17:37:47 +0000

Universidad Politécnica de Madrid, too.

New comment by tcard in "Notes on the Perfidy of Dashboards"

tcard — Fri, 27 Aug 2021 17:10:50 +0000

The author is asking for, and actually built, https://honeycomb.io.

New comment by tcard in "Show HN: Sign with SSH keys, verify with GitHub username, all in the browser"

tcard — Wed, 10 Mar 2021 12:17:20 +0000

Example signature: https://sshign.tcardenas.me/?signer=github.com%2Ftcard&messa...

Show HN: Sign with SSH keys, verify with GitHub username, all in the browser

tcard — Wed, 10 Mar 2021 12:16:57 +0000

Article URL: https://sshign.tcardenas.me

Comments URL: https://news.ycombinator.com/item?id=26410439

Points: 4

# Comments: 2

New comment by tcard in "WTF Python: Exploring and understanding Python through surprising snippets"

tcard — Thu, 11 Feb 2021 15:00:49 +0000

These are two manifestations of the same feature: function arguments's default values are evaluated when the function is defined.

In one case, the value is a non-mutable int, while in the other it's a mutable list, but in both cases each call to those functions will share the same value for that argument (unless overriden).

New comment by tcard in "Examples of Incorrect Abstractions in Other Languages"

tcard — Wed, 20 May 2020 20:28:58 +0000

Limbo, one of Pike's (et al) predecessor languages to Go, did have sum types, called there "pick adts".

Some people are ridiculously daring at dismissing others's reputations without the most basic of background checks.