jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
Sure. It's just a toy for nerds. It breaks often, is hard to use, has a limited audience. You can't do anything interesting with it, just put numbers and data on it. Why would companies, let alone governments, be interested in this?

Oh I'm sorry, you must have thought these were critiques of blockchain. I was talking about the first personal computers. What a terrible idea that turned out to be.
snake_case is a lot more readable than CamelCase, which is a huge benefit ergonomically. The keyboard layout is no big deal, one can easily change it or use shortcut-based autocomplete. Rust does use CamelCase for type identifiers, trait identifiers and enum constructors, and the contrast with snake_case also aids readability.
I don't think the Coq developers are inclined to chicken out, and the virility of a theorem prover shouldn't be underestimated. More concretely, there would be some confusion with the popular Chicken Scheme compiler.
tree.h implements intrusive data structures using code generation. Even in C++, to support an object being in multiple containers intrusively the templates get quite complex because you need to parameterize on the member field name. Some older implementation simply fallback to external code generation, including use of macros.

C application code using these data structures, particularly of the finely honed interfaces defined by queue.h and tree.h in BSD, tend to be extremely clear and simple. And at least the implementation of intrusive lists, particularly queue.h, is also quite straightforward, even considering the backslash-escaped multiline macros. (tree.h is admittedly hairier, but it's implementing an intrusive, non-recursive, type-safe red-black tree. Multiline macros are the least of your problems.)

None of the C-like languages make this easy at the type level. I'm not familiar with any statically-typed functional languages; but I doubt it's any easier because intrusive, inside-out struct/record object relations tend to be even more foreign. By resorting to rudimentary string interpolation (i.e. C macros), it's counter intuitively quite easy to implement this stuff in C. I suppose it's also easier in s-expression based languages, but s-expressions lend themselves to dynamic code generation.
It's more people having a platform to speak out about how they feel.
> the world has enough other problems

maybe that's the issue – the obvious problems seem unsurmountable, so let's do just about anything else.

Parkinsons law on bikeshedding/triviality: the least relevant topic on the agenda gets the most attention.
Wow, I don't think I will be able to unsee this.
Reminds me of an embarrassing conversation at work in front of female non technical colleagues, about 20 years ago. Anyway France alone cannot make the world move away from "bit", whereas the US and the anglophone world supposedly have the power the change the name of something french people invented :) Let's see the bright side of this as a consequence of the wide adoption of Coq and the cause of an even wider adoption.
Only on regular .NET, the UWP story is a bit different.
My single experience with trying to use Linux daily on the laptop was 10 years ago. It had an "optimus" configuration, a combination of integrated/discrete GPU. I had to find instructions and resources online to get it to run for my specific model.

Eventually whoever was posting these probably moved on to a different model, which meant mine would stop working correctly when I'd upgrade Ubuntu.
hence the "starting point".

Tab-completion could additionally list the "most common things given the context* I have".

Tab-completion needs not nessecarily be postfix. I've seen completion tooling** that would work somewhat like `invoice.pdf<tab> -> `open invoice.pdf\n cp invoice.pdf` etc.

And if `<tab>` conflicts, or breaks your mind because it must only work on postfix, it could be anything really, such as `<cmd>-r`.

Additionally, or underlying, a reasonable simple command like `whatcan` or `ctxt` (context) could work and be leveraged: `whatcan invoice.pdf` -> a list of common commands given the context* I have.

---

* Context I have would be your ~.\_history, the current directory-tree, permissions (why show `mv` if you don't have write access?), applications available, etc. pluggable maybe?

** e.g. the <ctrl>-r, interactive bash history search come to mind as pattern. But also tools like FZF https://github.com/junegunn/fzf#fuzzy-completion-for-bash-an... that don't nessecarily only "complete" on tab, but may replace larger parts of the commandline.*

Edit: formatting.
It works exactly that way. Even in cases where you wait to tell the driver where you're going, it takes her only about 20 seconds to type the destination into their Uber app for directions, not the 'couple minutes' referenced above.
Many of the most useful applications of feature expressions simply will not work as macros. You'd need to create one new feature-cond enabled macro for each other macro use case. Feature expressions, on the other hand, are a general solution that can be used at the call site without having to reinvent every macro that may ever need platform-conditional behavior, like your ns+ macro.

Consider the proposed +clj form in the body of an extend-protocol or a deftype:

(defmacro +clj
"Form is evaluated only in the JVM."
[form]
(when (= :clj *host*) form))

(deftype Foo

SomeCommonProtocol
(aMethod [blah blah] ...)

(+clj
JvmOnlyInterface
(someMethod [blah] ...)
)

)

Of course, this does not work. The deftype macro gets the +clj form unmodified and must handle it on its own.

At best, you could have a syntax-quote style wrapper form:

(feature-quote
(deftype Foo

SomeCommonProtocol
(aMethod [blah blah] ...)

(+clj
JvmOnlyInterface
(someMethod [blah] ...)
)

))

However, this is essentially what Feature Expressions are anyway. Only broken, since macros don't only operate on syntax/edn, they can operate on any compile-phase value, like dates and times or the output of any tagged literal handler. Without being part of the phase before the macro expander, you can't prevent platform specific types from reaching the macro body.

The reality is that Clojure, in the tradition of most lisps, has rigid read/compile/run phase separation where each phase has a varied evaluation strategy, but the phases run interleaved. Unlike say something like Mathematica, which does not run the reader interleaved with the evaluator - and the evaluator uses normal-order rather than applicative-order! Without such a uniform evaluation strategy (nevermind Mathematica's evaluator's other problems) it simply doesn't make sense to fight so hard against beefing up the read phase.

Related: I've written before about how I don't think that this impacts tooling as badly as you guys thing it does. I just don't understand why you guys are so against feature expressions, nor do I think you've succeeded in proposing a desirable alternative.
I'm a bit skeptical that your comparison of to the ipad1 is a good one. After all you just compared (one of?) the first viable tablets from the very start of the tablet market where innovation/iteration was much higher to a smartphone that appeared 5 years into the smartphone era where innovation/cycle is now much lower.

You can still install the latest Android version via aftermarket firmware for the first Samsung Galaxy S1. That phone was released in June 2010, only two years into the smartphone era. It will turn 5 soon and still runs great. Only downside is its small system partitions.
But no <HTML> tag and no DOCTYPE. Things were definitely a bit woolly pre-1995, when the first proper HTML spec (version 2.0...) was published.
I haven't finished it, but not because it's boring. It's one of those books where I feel I have to start over reading more carefully after a few chapters. Unfortunately that makes it likely to be procrastinated away.
I'm determined to finish it this year, though.

Perhaps a better starting point would be the books of Dan Ariely, in terms of readability.
Would it be better if India was broken up into much smaller states, possibly more or less along the current internal borders? Is India really seen as a country by the Indians or is it seen more like a bunch of unwanted outside overlords ruling over your local part of India, whichever that might be?

I'm asking partly because I live in the EU where we are explicitly trying to create a big, state-like construction for most of our continent. In most cases I feel mostly like a "Dane" or "Scandinavian" or "Northern European" but in some cases I am actually starting to feel like an EU citizen, like we are all in it together, for example regarding Russia's behaviour in the Ukraine and elsewhere.

It is probably not correct to call the EU a country or a state yet but we are getting closer. On the other hand, if the Republic of India is actually a country then the European Union is too, isn't it?
What happened exactly?

How much did you lose (if you don't mind saying)?

How long was it before you noticed?

Do you think you were (a) individually targeted as a BTC holder, or (b) do you think someone was port scanning the Internet and stumbled onto you?

If (a), how did they know you might have BTC? If (b), is it actually commonplace for automated attacks to seek BTC wallets these days?
Terrorist can be a loaded word in a political context. We have terms like "freedom fighter", " revolutionary", and "rebel", but these don't quite have neural connotations either.

"Insurgent" is used by the media quite frequently, but pundits have twisted this word into little more than an alias for "terrorist". My brain subconsciously makes this mapping despite my knowledge of a contrary meaning; I think maybe language is too pliable in politics.

Maybe we need yet new language to escape the difficulty of communicating without biases inherent in the vocabulary (our minds already do enough to short-circuit logic already without the English language making the matter worse). "Terrorism" and "unrest" are at such a forefront in the global consciousness that the whole subject is deserving of the few extra mental bytes that would be needed to disambiguate the mess.

If I were in charge of such a task, I would try to borrow words associated with certain well-known historical anecdotes in a hope that the pundits wouldn't simply redefine the words from under us. Hopefully such vocabulary would have enough of a semantic anchor in our generation to dispel such attempts, conscious or not.

To press on the issue further, it seems like it would be wise to engineer our language in a way that leads to better thinking. I suppose that would be too artificial to ever be accepted though.
I'm going to expand on this because it's important. You're only young once, don't waste it. Go outside, get some fresh air, find some dudes and / or ladies to consensually smooch upon, there's plenty of time later for the toil.
I'm curious if non-US entities were ever prosecuted by US companies for reverse-engineering?
This is really cool, I can think of some other systems that could benefit from this type of abstraction, like programming languages.
I've worked positions like that, and a critical point not discussed in the ad is you've clearly got "X hours per day" and "X+10 hours of work to do" in that job role, so who prioritizes?

If they trust you to prioritize your own task list, or at least cooperatively list it, its kinda fun and relaxing. "That task is boring" = "Uh, well, there's just no time sorry".

On the other hand, If someone who only works "X/2 hours per day when he's not golfing" is micromanaging your every move and monday morning quarterbacking everything you did during the twice a week on average emergency at 2am while you were drunk (oddly enough, same employer, although a dramatically inferior manager), despite not having a technical background or any technical skills at all, and then complains you get into work five minutes late after being up all night while supposedly on salary, then that's not so good. I quit a job like that twice in my past.
Could you share an example case of that IPO scenerio you mention?
I have a personal project based on this approach (JSON over Websockets): https://quixical.com/

It appears to work well. Security was tough work though (at least I thought it was). And scaling up, no matter what tech you have access to, can be costly.

Also, determining how to handle disconnections is quite an interesting UI problem. Auto reconnect might be an option, but then you need to think about a retry policy. And it can be harder than you think... Mobile phones drop connections with surprising frequency, so it's worth thinking about very early on.
> Does this match most people's experience? Or is he just talking about the deliverability of smaller providers like Migadu? I run my own mail server and can never send emails to people on Gmail/Microsoft 365/etc unless it's in reply to an email that I received.

I use a gmail address and all my friends's self hosted mail have always ended up in spam by default
I understand your point, but I agree with the author that this lack of understanding is more painful with electricity than with chairs
I don't know why people complain about the new design. It has been a very effective cure for my reddit addiction.
I go with 「２０２１年０３月１１日」. Free bonus test included for whether software handles alternate numerals ;)
As someone who has never worked with containers, I find this rather amusing: Kubernetes is so complex that Google needs to roll out an "autopilot" feature, yet "it has won in the critically important container orchestration space". Makes you wonder what the alternatives must have looked like?!
One particular experience that stands out when I was in the Air Force was some Sergeant changing our physical training time from after work to 5:30AM. As in everyone commutes to the base and is in formation at that time. It was just sadistic torture essentially lol
Nice job, Justine. This level of excitement reminds me of the early days of Linux. I think it has the potential to go far.
Journalism is not dead, it just won't make any money.
Seeing a finished (or more specifically delivered) product is a challenge in itself in a large corporation.
Still gives those with the most money the most domains...
> You’re completely deluded [...] Shame on you and your ilk

Crossing into personal attack isn't allowed, and we ban accounts the keep doing it, so can you please not do it here? If you'd take a look at https://news.ycombinator.com/newsguidelines.html you'll see how the intended spirit of this site points in the opposite direction. Note that it doesn't depend on how right you are.
It's not over. Value might appear diluted because of the ever increasing noise, but people will still look to say a Dexter Filkins for signal. Where else are you going to find that kind of signal?
So as soon as we develope the ability to keep people on perpetual life support, any right to euthanasia would go out the window?
I keep telling people 'you probably don't need a massive server if you're just running static pages', again this seems confirmed (for some use cases).

A few questions:

1. Do you have any protection against DDoS? I currently implement my own custom solution, people seem to be transitioning towards Cloudflare but I see such a move as dangerous. What's your mitigation and/or opinion?

2. You mention the ease of spinning up a new server - I personally just run a bash script for this. How do you automate the transference of your URL over to a new IP?

3. Have you ever experienced slow down and if so, how did this affect your site?

4. What are the most resource intensive aspects of your website? (I.e. What is using your bandwidth/CPU/RAM?)
So I'm scrolling through this comment section, thinking, "Are we ever going to talk about the book or what?".

This thread is proof that programmer types need their share of celebrity gossip as much as anyone :)

"That Zed Shaw. He's abrasive, but is he too abrasive? Tune in to our panel discussion to find out!"
See also the SWI-Prolog example:

http://swish.swi-prolog.org/example/houses_puzzle.pl
As I said, this thread was meant to encourage discussion of how websites can better service tor users. "Don't use tor then" isn't really helpful in that context.

To seed this discussion with an idea rather than letting it degenerate further, how about only requiring CAPTCHAs for account signups/logins, allowing read-only access? It would not solve everything, but it would sure make things better.
Instead of that "script detected" they should convert the whole page to something the Chinese government really hates, like Tiananmen Square massacre.
A variable that is mutable to Scheme doesn't need to be implemented as mutable in Haskell. Simulate mutable state in the usual way by passing the "before" state into functions and the "after" state out.
As far as I can tell the website is accessible via IPv6 and you can run checks on IPv6 only servers. What is missing?
They did that with tulip-bulbs once. It did not work out well.

The securities market isn't a place to have fun, it's a vital machine on which all our prosperity depends.

Treating stocks as a blind gamble means money is not chasing the best investment but is being scattered randomly or by easily manipulated rumors.

Anyone who buys stock as a blind gamble should be deterred. Not to protect them but the rest of us. The same way children shouldn't play with matches; I don't care about burning their little fingers off I care about burning the house down.

So no, it's not like Las Vegas.
They (at least DHH) often go on rants that acquisitions should not be a goal of a company, and that companies are always ruined when they get bought out (see their series of stories called: Exit Interview)
Terrain-dependent, obviously. California has rather a lot of mountains.
The link starts on page 5.
"Building things this way strikes me as expensive."

That is a qualitative statement. It implies a value proposition in your head between engineering effort involved in doing CM style disaster prep vs product benefit.

Operationally, not doing some level of CM is like paying for operations with "Lottery Checks". A Lottery check has a payee and a nominal amount but where the amount is actually printed, there is a scratch off box. Sometimes when you scratch it off its for a lot more money than you intended to spend :-).

But it is very hard to talk rationally about "we're spending two engineers here to do nothing but try to randomly break the system and get bugs fixed that would cover for that problem." Because the problem is self inflicted it seems like a waste of money, and there is no guarantee that they will have found and fixed the problem which is going to kill you in the future. However, if you run an experiment enough times, you eventually achieve the solution. Think of it as the Monte Carlo method of systems test. Its a good thing and it helps people sleep at night.

And when the world does go pear shaped like it did with AWS here you may find yourself yawning rather than panicking, and that feels very good indeed.
I love my stand-up desk, which I hacked together from an Ikea Galant: http://flic.kr/p/9kYneT

Total cost: around $200.
owning your own hardware is distraction, unless you've become too big or your business involves hosting (such as wordpress business model)
Well, I was thinking of relatively expensive on the scale required for country-scale commodity purchasing, but that may not be right either.

Since I gather you probably know more about monetary policy than I do, how's this logic for an explanation of the benefit of reserve currency status?

* Things (like oil) on global markets are traded in USD.

* That means countries need to accumulate or exchange for USD in order to buy things.

* This both increases the value of the USD and means the US Government can issue bonds at lower rates than they otherwise could.

[Edit: formatting]
So presumably there is an implied threat that if anyone else owns patents that apply to WebM and tries to sue someone over it, one of these companies will be able to retaliate?

I imagine that group of companies has enough patents to attack anyone who works in video, but that wouldn't help against a patent troll.
Maybe slightly unrelated to the main topic, but:

> If you’re worried about mail deliverability issues, don’t be — it’s more or less a myth in $CURRENTYEAR. If you set up DKIM properly and unlist your IP address from the DNSBLs (a simple process), then your mails will get through.

Does this match most people's experience? Or is he just talking about the deliverability of smaller providers like Migadu? I run my own mail server and can never send emails to people on Gmail/Microsoft 365/etc unless it's in reply to an email that I received.

I've checked DKIM and the DNSBLs, and everything seems correct...is it just a matter of not having enough volume for email providers to trust me?
Is the ISO layout an actual ISO, i.e. with an extra key between the left Shift and Z?

By the way, I’d love to have a Trackpoint or an equivalent. Or a trackball.
This has nothing to do with "right to work".

"Right to work" is literally the right to work for any employer who will have you regardless of whether you're in a union or not in a union.

You should question where you got the misleading definition of "right to work" and cui bono? by feeding you that misinformation.
I'm assuming the people working at Amazon are capable of figuring that out, and since the prices on Amazon are not higher than the other retailers, they have concluded their customers are price sensitive.

Otherwise Amazon is leaving money on the table by not already charging higher prices, which is a bet I would not make.
You do know that Jason Seats, the founder of Slicehost, was pivotal in the DigitalOcean story also?
Awesome, would love to use this. How are you thinking about rebalancing and its tax implications?
You cannot weld aluminium, or at least not on the cheap.

The only real "weldable aluminium" known today are scandium-aluminium alloys which are both hard to get, and expensive.
How in the world has this been upvoted lol
ya, the tax is calculated using taxjar's api on day one and it's reflected on the checkout page. (https://www.taxjar.com/sales-tax-calculator/). But I'm unsure about tax filing, because I don't know about our accounting. (We are a startup).

If this is for my own side-hustle, I wouldn't want to deal with it. It's super complex. Each city has a different tax rate, and you need to file taxes to different states. Each state has a tax free allowance.
When you click sign up it takes you to https://the-federation.info/socialhome which has no place to sign up.
A lot of people do not understand what systemd-resolved is, from an architectural standpoint, and because of that do not ask this, which is actually the right question. Yes, running one's own resolving proxy DNS server is widely regarded, by those in the know anyway, as the preferable course of action to using an external service.

The answer is (I suspect) that the systemd people haven't supplied a resolving proxy DNS server of their own to be run, and don't want to tie themselves to running a particular third-party's software. So they tie themselves to a particular third-party's service instead. systemd-resolved has to have somewhere to forward to by default, it being architecturally a purely forwarding proxy DNS server.

* https://news.ycombinator.com/item?id=23719465

* https://news.ycombinator.com/item?id=23718997
My ¢2: you are %100 right.
I once made a prototype lisp interpreter where you could call previous versions of definitions. A fun experiment, but I didn't carry it further.

Unison is a language/platform that incorporates some ideas from version control, but I don't know how far along they are.
Doesn't sound like great UX! Must take forever to type an address in.
There are certain systems that probably have to be a combination of touchscreen and voice. What's happened though is that a bunch of parallel knobs and buttons have been removed.