jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
It must be hard to design a zero-cost abstractions language. It seems that there are more and more terms and concepts that come up in order to support more directly-pragmatic PL features.[1] Reminds me a bit of how Haskell comes across to me from the outside with all its GHC extensions. Haskell is a research language but other more specialized functional languages have the luxury of being able to theorize and implement more orthogonal and perhaps more “elegant” concepts and approaches. (Again, merely an impression from the outside.)

Consider the design effort behind parametric memory allocators. That seems like a pretty cutting-edge problem. And yet I bet the Rust folks knew that they would want/need to do this way before they started doing that work in earnest, because people from C++ seem to want the same thing (if they don’t have it already?).

I idly wonder if one could, if one was in a similar position as Rust was some years ago, just go ahead and design a full-on unapologetic type-level programming language from the start. Because you know that your type-level terms will be worthy of the moniker “language” eventually (and it might not be a compliment as such).

Just a nice, high-level language that doesn’t bother with the “bare metal” concepts that Rust the value-level language has to deal with. (Can it even be done? Don’t ask the peanut gallery about that.)

Either that or you accidentally build an emergent language that Gankro can write an article about one day titled, I don’t know, Shitting Your Pants With Higher-Order Unsafe Unwind Type-Level Allocator Escape-Suppressing Storm Cellars.

[1] In this case: you have more use for compile-time integers than something more general like being able to describe that two nat-indexed lists are of the same length, like you can in Idris.
Maybe you meant glosses? Usually they are all written uppercased. However glosses often omit grammar or better said they aren't inflected because they can't capture raised eyebrows and other non-manual information.
The danger from CMEs comes from very very large scale current loops (thousands of miles in perimeter, hundreds of square miles in enclosed area). The issue is a slowly varying but intense change in magnetic flux. We're not talking even as strong as the earth's magnetic field, but over a large encircled area you can get one hell of an EMF. This is bad for power lines. This can also be bad for thousand foot tall AM radio towers and their conductive guywires.

This is not a problem for your cell phone. Your hard drive, even if it is legacy spinning metal in a live laptop disconnected from your wall power will not notice any more than it will notice you setting your credit card down on the palm rest, from some basic order of magnitude on the change in dB/dt.
A cool tool!
I was at a (seated) concert once, and the large family next to me would sign to each other to communicate without making noise. Signing has some nice advantages over whispering: you can sign to an entire group at once, but you can only whisper to one person at a time.
I figured the original comment was snark, since it seems so trivial to answer the question oneself..
Reacting to the same public news is not coordination. It's reaction by logical actors coming to the same conclusion.
If you want a thorough step by step history of 1A this book is a great start:

"Freedom for the Thought That We Hate"

https://en.m.wikipedia.org/wiki/Freedom_for_the_Thought_That...
Are you implying it's "not a coincidence"? Because of course it's not. The bigger companies (twitter, facebook) minimized risk of fallout by waiting until DT's time in power was up and there was a good opportunity to do what they wanted (Jan 6th events), and the other companies are just following in their footsteps while it makes good PR.

It's kinda like when BLM was hot in the news and companies decided to paint their logo black. They didn't suddenly care about racism, they just chose an opportune time and had the excuse that other players were already doing it.

It's pretty pathetic yeah. In this case, better late than never, but still really fucking late..
> our longstanding policies require that apps displaying user-generated content have moderation policies and enforcement that removes egregious content like posts that incite violence.

So they don't allow browser apps? You can access parler/gab/tdw from Chrome.
Zinc!
I think maybe they assumed people knew that. I would have assumed people knew that; have people never blown a fuse?

Also, several people froze to death. It's a massive liability to tell people to shut their power off when it's below freezing; you could face civil liabilities. And you can't disconnect someone during freezing temperatures. I don't know whether a provider telling you to disconnect yourself would go over super well.
It's funny, human mothers have a unique trait through which they can identify the cries of their particular child, even at a playground where a lot of kids are making noise. Somehow, mothers are able to cut through all the din and identify the voice of their young child, at the exclusion of all others.

Nature does so much to bring mothers closer to their young, yet fathers do not possess this "talent." In fact, we seem eager to block out some of that natural closeness we feel towards our children. We use ear plugs now, but I am sure we used animal fur and cotton to achieve the same effect centuries earlier.
Do you know why those companies like Fiverr didn't get the same treatment as Uber? In the end it is a pretty much the same business model.
This looks like the manual for the Pascal 6000 compiler they had at ETH Zurich which extended the language that Wirth described. In fact in the preface it mentions that the standard is the "The Programming Language Pascal (Revised Report)" which in footnotes mentions is the 1973 version - ie. the document i linked above.

Confusingly enough though it does describe readln and writeln in an attached revised report (mentioning that the reason for their addition is that they can't rely on an EOL character being available) but this is not the text they cite as the standard Pascal nor the latest version of the report available from ETH themselves (which is basically a different scan of the same text i linked above): https://www.research-collection.ethz.ch/handle/20.500.11850/...

My guess is that they added these at some point later but didn't make a newer version of the standalone report (which is what i've seen in other places, e.g. http://pascal-central.com/standards.html refer as Wirth's last standard). I guess in practice it was simpler to have a single book act both as a tutorial and a reference, though i always though the 1973 report to be the last "standard" and didn't paid much attention to the other stuff released later.
We had our baby in our bed between us and usually I woke up first when the baby wanted to be nursed and just gently pushed it so she could get nursed by her mother. Worked fine. We're in Austria.
I really enjoy his work. It's digital art that's meant to look digital in every way without trying being nostalgic to some era of computer art.
Definitely something that my wife and I struggle with. She's Vietnamese British, I'm Vietnamese American ; both of us current living in the U.S. Despite what our training classes recommend, we're co-sleeping with our 17 month year old daughter and it feels more intuitive.
You are correct, but I feel like it must be physically impossible for you to comment on Bitcoin without being snarky.
People spend $10B on taxis per year in the United States alone. Smartphone adoption is going to reach 100%. I think if you put those two together, you really can't pigeonhole this type of service as "just another Silicon Valley app."
Whether it's the NSA or the TSA, the American public is finally getting a glimpse at how shockingly little freedom our laws actually afford us. For every protection we think we have, there is a gaping exception that can be invoked by virtually any government employee that feels like it. The US government of 2013 essentially can and will do anything it wants, when it wants, with very little resistance from the courts, the public, or politicians. Sadly, I'm not sure that the political will exists to fix any of it.
segmondy,

I've struggled with exactly what you describe, the worst were the afternoons. I'm sure you know the feeling. I would finish lunch, and instead of being pumped up and ready to go on whatever it was, I would just stare at the screen and my mental performance/motivation would drop big time. It got so bad that I turned to Adderall XR (concentrated amphetamine salts prescribed by my doctor for what I explained as "post-lunch narcolepsy") to try to make things better. It was great because I could literally do anything I put my mind to, but over time, I noticed it would leave me feeling soul-less and hollow inside for lack of a better term. I was as if I was trading in my entire personality, just to be able to get work done. So I started experimenting with some other things less crazy things. I noticed coffee with lunch kind of helped, but it would get me too excited and it left me anxious because it didn't have any inhibitory neurotransmitters to calm me down/doesn't replenish what it took out of me. So I added a little bit of GABA (an inhibitory neurotransmitter) to prolong a more balanced effect. But then I still had that sugar spike that would make me tired, so I researched a whole bunch of other things that would aid in metabolism and energy production. I finally found a combination that actually worked, but the problem was that I had to take a bunch of pills and none of the supplements I found online were in the right doses/proportions, so I would literally have to spend hours each month packing powder from my milligram scale into tiny capsules that I could take with my lunch. That process sucked big time, so I started giving it to some of my friends to see if they wanted to do a larger production run, and they were all big fans so we all looked into getting the capsules manufactured with some of the nutraceutical companies in New York...long story short, we came up with a name (Alleradd) and a website (http://www.alleradd.com) and we're doing a limited launch to a few people right now. I'd love to send you a bottle and see if you like it. So far, the response has been overwhelmingly positive and people are coming up with all sorts of other interesting uses for it. As for me, I still just use it every day with lunch and it feels great/restores my motivation. Anyway, that's it for my rant.

Cheers,

s1mple
This is interesting because if we think, 100 years from now, on demand transportation could be the most efficient way to go. Now Lyft, Uber's biggest threat, has been winning market share by being the ride for the common man and focusing on community. If that is Lyft's biggest strength, what happens to Lyft when self driving taxis are the most obvious solution to transportation.
>Second, the banks wanted the right to play a new high-risk game: “derivatives trading”. JP Morgan alone would soon carry $88 trillion of these pseudo-securities on its books as “assets”.

1. Derivatives trading wasn't new; they've been traded for a long time. And derivatives aren't inherently risky or evil. There's nothing mystical about them.

2. $88 trillion in notional value. Derivatives deals should net to zero.

>payments have raised Summers’ net worth by $31 million since the “end-game” memo.

How much did "payments" increase Mark Pincus' net worth as he sold stock at inflated prices while his employees couldn't, and billions in wealth was destroyed by Zynga (as a familiar analogy)?

More alarmist tripe.
Do they also have magic bombs that are invisible and intangible? If not, hands and eyes will do a good job of finding such things.
I stopped reading at "toxic assets like financial derivatives." That sentence either suggests that the author has very little understanding of finance or has a sensationalist motive. Either way, there are much better articles and books to read about the financial crisis than this junk.
Install Readability [0] as a bookmarklet. As long as the article is on the page (aka not Forbes), it will process it correctly.

[0] https://www.readability.com/bookmarklets
"I'm starting to think that it is easier not to track changes/state for forms anywhere if it can be avoided, and to basically extract all of the values out of the form manually via the DOM whenever they are needed"

Can you expand on this some? Is there a particular line of reasoning which lead you to this conclusion?
See

-http://www.csml.ucl.ac.uk/courses/

-http://www3.imperial.ac.uk/computing/admissions/pg/specialis...

-http://www.cl.cam.ac.uk/admissions/acs/

-http://www.cs.ox.ac.uk/admissions/grad/MSc_in_Computer_Scien...
You forgot the /s sarcasm tags! :)
After a certain point I don't think money matters even for Google. :)
I'd like to take the course but will need my company to sign it off. Any chance I can email for the HN discount if they give the go ahead?
You provide root-logins for virtual machines, which sounds nice. Cheapest seems to be £6 a month for 512Mb and small disk space which isn't excessive, but doesn't mention VAT.

Do you provide IPv6? Can users run their own kernels, or are these externally provided? Do you provide access to the serial console, or VNC, if the user makes a firewalling mistake? Where are your machines hosted, and do you own them or merely resell? Can users configure custom reverse DNS for their IPs?
Where I live, range cattle are everywhere. You go to the mountains and desert, just everywhere. Actually, we could raise a lot more here. What we can't raise easily is crops. There is too much rock in the ground, you can't plow without dynamite. Plus there is little water (that desert part). Pretty much every field with crops is irrigated -- constantly.

Yet, somehow, cows and sheep do just fine. Sometimes you have to bring in water, but that is NOTHING compared to what it takes to grow crops here.

I will also add one other item to the mix...don't call it burger. I will eat a vegetarian meal, it does not bother me at all. Just don't call it chicken or beef. In fact, don't try to be those things, just make good food without meat and I will eat it. But if you tell me it is beaf and it isn't, I WILL notice, and I won't be happy.
It does exist in various forms.
One I'm familiar with is Kalray MPPA (massively parallel processor array): https://www.kalrayinc.com/technology/
Their current generation of processors have 80 cores exposed to the userspace (the previous one had 256), and they are mainly used as PCIe acceleration boards for all kinds of applications.

But as another poster said, the difficulty with those kinds of architecture is the memory hierarchy: you don't want all the cores to access the DDR directly, as that would be a massive bottleneck. And this becomes a larger issue as you increase the number of cores.
I'm sorry if this is a stupid question, but why wouldn't the non-obfuscated versions be able to compile themselves?
In just a few days after 9/11, we learned many details of the plot and action. We saw the gallery of faces of the hijackers, with their names. We knew when and how they boarded the planes. And more.

Over a month has passed since 1/6, and we don't have much more info now than we did the day it happened. Most still is just from various clips presented by the media (and the house impeachment managers?!). We still have heard no justice department or FBI press briefing with any details.

For weeks we heard about a "bludgeoning" with a fire extinguisher that evidently didn't happen (though the officer did die... somehow).

Hard to regain trust or unify this way.
(I wrote this without realising that you specifically meant "syntax for functional programming". Sorry.)

Syntax is fairly different but the concepts are broadly similar. Rust has many of the same nice things as F# does, like "if" as an expression rather than a statement, algebraic data types, mutability declared as a keyword, etc. In fact Rust is much stricter with the "declared mutability" thing, because in F# you can use an immutable reference to a mutable object to mutate the object.

The really big paradigm difference I found as an F# person when starting to learn Rust was the lack of guaranteed tail-call optimisation, meaning that Rust kind of wants you to avoid recursive functions. I also find it much more annoying to write sequences ("Iterators") in Rust than in F# (where the `seq` computation expression makes everything ludicrously easy at the cost of some oddly bad performance sometimes). F#'s anonymous interface implementations are also really handy, but Rust's situation there is at least no worse than C#.
Yes. But here are some of my questions/observations/caveats:

• $99/mo sounds more palatable than $100 :)

• Would a cart be included? (I'd hope so)

• Would there be blackout dates/days/times?

• Golfing alone is boring. It's best with a friend, drinking beers, smoking a cigar, talking about life and business. So, even if I get free golf, I'm likely to still be inviting a friend and we'll end up splitting his fees (to be fair). Would be great to have some kind of "buddy pass" each month or have a more expensive plan for 2 people ($179/mo for 2)
I recall one pundit on TV saying he was taking a log off the fire while simultaneously pouring gasoline on with his messages, that was pretty apt.
I did see this and it’s a bit sad that it’s been like 4 years since type c has come and hubs still aren’t generally available (even if just for USB and not thunderbolt). I mean I didn’t fully adopt USB type C just to convert the ports back to type A.
I think he means the one that is in the link of OP, this one http://www.404techsupport.com/wp-content/uploads/2014/12/cli...

If you have a twisted mind, the hand can be seen as a detached penis
5% or less is still a massive amount of money.

Cigna alone posted annual profits of $122 billion in the same year that General Motors and Ford combined made less than $7 billion.
"hardly has drawbacks" My notes on Signal contain the following:

+ It usually just works

+ Reasonable desktop experience (needs to re-link once a month or so, but otherwise independent and not terrible UX), good mobile experience

- Metadata handled by Amazon

- Phone number is a hard requirement, and changing your phone number means re-connecting to everyone

- Funding comes from Facebook from what I recall, and even with large amounts of their $100M invested, their expenses are 8 times larger than their income.

+ At least it's a foundation and their finances are not a black box!

~ With a build from an untrusted third party, you can make it work on Androids where Google Play Services are intentionally firewalled off.

~ No audit of the clients. The protocol, sure, but most bugs aren't introduced on a protocol level.

These are only things they could solve, i.e. that others do better. That their contact discovery solution (where you upload your phone book) is broken isn't a downside because nobody else has that figured out either.
Location: Sachsen / Germany

Remote: yes, only; part time; contractor

Willing to relocate: no

Technologies:

great allrounder with 20yrs+ experience in international teams, mostly web full stack (various JEE containers / frameworks), very good conceptual / documentation skills, strong at database development / backend / API design and impl / reporting, full stack web (vue.js, jquery etc.), also good at automation / dev ops Linux/Windows; python, perl, sql, java, php, django, cakephp, c#, asp.net, postgres, oracle, ...

Résumé/CV: on request

Email: info@scmsoft.de
Who was she and what were the circumstances of her death?
>> I was involved in a paid audit of Wire so I know more about the encryption protocol than I do about the other clients

Seeing as you mentioned Threema in the same post, I think I ought to step in here.

The encryption protocol for Threema is open source, using standard algorithms, not something they invented.

You, like I did for $my_org, can write your own software to send messages to devices running Threema using the Threema API.

Message contents are, of course, encrypted before submission to the API. Threema provide a number of SDKs to help you, but you are under no obligation to use it, you can write your own API submission client from scratch.

P.S. Not saying Wire is bad here. Wire is good. I use it alongside Threema myself for $other_uses. But I'm saying don't write off Threema under a false understanding that their encryption protocols are closed source.
We tend to get hired for what we've done before, rather than for what we want to do in the future. Although it wasn't always like that for me. For a long time I felt it was totally normal to learn a completely new language for a new job.

My first job was Visual C++, my second job was Java and XSLT, my third job was Ruby, my fourth was Groovy with some Java and Ruby. Then after some more Java and Ruby, I ended up in Javascript + Angular, then Typescript + Vue, now Typescript + React.

I feel like I'm fairly lucky in that I at least still get to hop frameworks; there are tons of people who've been doing Java+Spring for 20 years now. I wouldn't mind moving to Kotlin or Scala, but that's hard to find. At least for me; most recruiters still look at what I did in the past, and they see a lot of Java, so they assume that's what I do.
That context you mention was actually immediately obvious since he mentioned the "new right", his opposition to it, and his faith several times throughout the article. And I personally think he qualifies very well for bad faith, given that he is obviously a conservative on the right and parrots very well trodden conservative ground - like I've stated above. For him to portray himself as even or balanced on this, to be rising above all the censorship is, amazing, given perhaps the context that he seems to be missing. The right certainly didn't learn censorship and moral outrage from the left in recent history.

Who knows, perhaps "serious critics" don't believe this article demonstrates bad faith. Is there an authority we can appeal to who can tell us for sure who the serious critics are?
> Judging from some self tests I have made I could perhaps have it myself but it hasn't affected my career in a negative way the slightest.

If it hasn't affected your career (or your personal life etc.) in a negative way in the slightest you simply don't have it—the last D in ADHD is essential.
As someone with high functioning autism could I suggest you look into the healthcare sector? I work (remotely) for one of the top EU hospitals - Cambridge University Hospitals Trust - as a senior analyst/programmer in clinical trials.

They are putting neurodiversity into practice (they reached out to all ND staff to contribute in this) and whilst may play into the cynical view of lip service if you hold that view, I know they are genuine about this. I also have a fantastic and understanding manager whom is open to making adjustments for me. I would never, ever what to work anywhere else away from the bunch of compassionate people at the Trust. The whole Moto of this Trust is "Safe, Kind, Excellent".

Loosing corporate, capitalistic drivers from your workplace when it comes to ND is a perhaps good start. Not saying all commercial employers or even non-profits don't care, but from my experience I really struggled in that sector in the past.

If you are open to a geographic move, or could get remote work, I would strongly suggest having a look as the NHS Jobs board. https://www.jobs.nhs.uk

Anyway, good luck to you, hope you find happiness and fulfilling work.
Sometimes you can add temperatures (e.g. noise temperatures), obviously only if using Kelvin.
Two HTML parsers and three markdown parsers. Unsurprisingly, the HTML ones are slower

It isn’t useful for the use case (rendering Reddit posts, which are available in both formats), but I think the post could have made that clearer, as this may give the impression the HTML ones are very bad, performance wise.

I guess it would be somewhat fairer to the HTML parsers to compute performance per input byte or character (including CSS)