skysight-inc/HackerNews huggingface dataset:
I think lifetimes and lvalues are both reasonably straightforward to understand in terms of linear logic.

IMO, the main difficulty with adding monad-like abstractions to Rust actually lies elsewhere, in the fact that Rust doesn't really have function types -- or rather, it has too many of them. Roughly speaking, Rust does not have a function type constructor. Instead, every function you define in Rust gets its own special, unique type, which implements a function interface -- of which there are three, Fn, FnMut and FnOnce, to represent the different ownership states of the variables captured in a closure.

This means that monad-style interfaces involving higher-order functions and higher kinds will end up needing not just polymorphism over type constructors, but also constrained polymorphism over interfaces. This represents a much more substantial extension to Rust's type system than you might first expect.

The reason Rust does this is because if every definition gets its own type, then type inference can tell you very precisely which functions are called where, which makes inlining a lot more precise and effective. This is an important piece of how Rust turns (for example) iterator-heavy code into efficient loops -- there are actually many fewer indirect calls than it superficially looks like.

Personally, I think this was a design mistake, but it is also a choice that I would not revisit now. Once a system is in the wild, with users who depend on you, we are usually constrained to evolutionary development rather than radical redesigns.
Content aside, this article is really well formatted. Going photo by photo, camera by camera puts me in the shoes of the author, and frankly gives me the same feeling I had when I first read 1984 (especially when he mentioned the sky was fittingly grey).
JS is not simple. not you have much control, so the simple vs control doesn't seem very fitting.
There was a book and multipart PBS documentary by Robert MacNeil where he traveled and interviewed Americans about how they spoke and the evolution of accents.

Do You Speak American? (2005)

https://en.wikipedia.org/wiki/Do_You_Speak_American%3F

https://www.imdb.com/title/tt0443484/
I don't think you're a real person so I'm unsure as to how to respond to the accusation of an ad hominem attack.

The actions of a new participant in an online community can often be judged by what new information they contribute and whether their comments are are comprehensive and covers the entirety of the issue or whether they selectively concentrate on distractions and unimportant trivia.

If you have knowledge then share it. If you have links then share them. If you're just here to say that there is no evidence other than the videos that we've seen then you'll probably be judged as a troll.
It actually smells nice, IMO. A nice woodfire smokey smell. Not at all like the polluted mega-cities in China and the rest of Asia which has a chemical tinge to it.

Of course, that doesn't mean it's healthy. And it is getting a bit old after around 3 weeks of this.
It most likely will be, I have not decided upon a license yet.
Is global menu possible on Elementary yet? Searches only turn up old links for the now-dead unity style, but nothing based on libdbusmenu.

Still seems to me that Plasma with libdbusmenu-qt5 is the closest interface paradigm to MacOS for people trying to swap (not that there aren’t other problems), but glib and gtk versions exist so someone out there must be working on it?
>How can people be so callous and selfish?

Quite easily when they've spent their entire lives being told poor people are evil. That's American's for you. There's too much of "I've got mine, so fuck anyone else" going on.
It's not specific to C#.

Every language seems to start out as a crisp new tool for solving a well chosen specific set of problems. Then over the years with each release a new set of use/edge cases get covered by introducing new concepts and syntax. And while each of these has its own merits, in aggregate they turn the system gradually into an unapproachable behemoth of opaque incantations.

And so the wheel turns and we all start over the process with a crisp new language that targets a well chosen smaller set of use cases ....
The crazy thing is that qualia is materialism. This computer you're typing on is a real thing that's also your qualia. The real failure is to say that qualia is a separate thing that doesn't matter in "materialism".
Isn't it that, for a blind person, qualia such as green or magenta doesn't emerge?
I completely disagree with this. McKinsey is often used to sell an existing idea. Plus for really boring MS office work. They don't bring in any new ideas.

The company I worked for had various McKinsey consultants; this is pretty much what they were hired for unfortunately. Various consultants (not all) were also way too young (+lack of work experience) to suggest they had that magical knowledge.

They basically just sell what some people in the organization already intend to do. McKinsey has the name, plus the people are usually better focussed on the political game that's in a big organization. There's not much magic going on though.
HTTPS: //medium.com/ autoletics/tracing-vs-metering-visually-82d260172791
While I use i3 on archlinux, I think elementary OS looks great and is a great alternative for less tech savvy users. I am very grateful to the elementary OS community for it existence. One other alternative could be Cinnamon.
> Set your own house in order before judging the government.

Why?
Some of the syntatic sugar will work in older versions as long as you've got a new version of Visual Studio, which was quite surprising to me when I realized. The problem is that sometimes it's hard to work out what is syntatic sugar and what isn't.
Rest in peace.

However, I believe he did not design the first high-level language: https://en.m.wikipedia.org/wiki/Plankalk%C3%BCl
Please remove lazy loading completely and instead leave the decision when to load content to the browser. Static content should never use any scripts.
Information could be encoded in molecule oscillations and therefore 2 rocks of different temperatures would communicate it when touching (heat transfer would occur). Can this be considered processing?
You assume that dualism and materialism are the only options. You ignore other possibilities, such as idealism and neutral monism.
The sad truth is that some people simply just start off in a tough situation, work hard, and never get a lucky break.

Your tone implies that I don't understand the disparity of the human condition. I lived my entire life very impoverished and at times homeless. I come from a very abusive household and grew up in a rural area with little prospects. I've never caught a break. I saw a way out, computers, and I took it. I was able to pivot to a better career by building skills in my free time.
Improvements in LibreOffice’s PowerPoint Presentation Support
American state boundaries clearly do not reflect these national regions. Federal states have boundaries that either serve to unite separate territories or to administer a united territory. It has probably a source of strength in the US, that states are either much too small or contain multiple different areas in them, since it fosters a broader, national US identity rather than an identity as a New Netherlander or a Far Westerner.

If Americans tried to reorganise their boundaries along the lines of the article's map, they would probably stop "coming together" and start "moving apart" in the course of a few generations. In the short term, though, it would probably ease a lot of the pressure currently felt.

Germany is another federal state made stronger by having internal boundaries that don't reflect historical identities (Bavaria being the weakness), and which has been able to foster a unified national identity in the past seventy years despite excluding Austria and losing much territory.

Canada's borders are more ... logical and accurate (visible in the map), and their federation is much weaker for it. The long border with the culturally similar US probably contributes to the weakness of Canada as a federal state.
We're Moving to Go
on my own instance of Mastodon
working again!

didnt find it without the notebook but here you find the source https://github.com/nickwalton/AIDungeon
What's the difference between initonly and const?
How do we increase intelligence over time? Purely mutational, or do you believe it can be passed down epigenetically similarly to weight?
I'm pretty sure that in 1984 only a relatively small part of the population, the Inner Party, were constantly monitored.
While only being part of the performance equation, analyzing IPC can be quite interesting in understanding the design of the processor and how performance might be achieved.

One thing itches me with the presented comparison: it is running very few benchmarks generated with the same compiler. For a thorough IPC analysis, shouldn't the tests rather being programmed in assembly to exclude any influence by the compiler choice? Also probably a wider range of algorithms should be checked, as IPC on modern processors depends less on how many cycles a certain instruction takes (you should be able to find that in the manuals), but how well multiple components of the processor can be utilized at the same time. Which extremely depends on the actual program to be run.
> a mathematical dual of the physical world.

This sounds right to me. More examples: syntax versus semantics, theory versus model, algebra versus geometry.

Here's something I discovered recently: "Meaning and Duality From Categorical Logic to Quantum Physics" by Yoshihiro Maruyama
http://www.cs.ox.ac.uk/people/bob.coecke/Yoshi.pdf
Take a look at the London contracting rates, you can fetch £600/day at the high(ish) end. Even Leeds I’ve seen people on £500+.

Permanent lead developer roles can also fetch £100k and above for the right company.
As has been mentioned before, what Apple, Facebook, and RSS aggregators are doing is quite different than what Google is: they're not purporting to be search engines.
I make bad decisions every day. How does that have to do with anything? Ms. Brown has had 14 years to come up with a career trajectory. I don't think she has ever bothered in that time to visit a career consultant after realizing she couldn't figure it out on her own.

Random fluctuations in decision quality average out over time to reveal a smooth function of decision-making prowess.
Does Elementary OS support importing iTunes and macOS Photos libraries?
Sad to hear about the discontinued part
See this paper: “If Materialism is True, the United States is Probably Conscious”

https://faculty.ucr.edu/~eschwitz/SchwitzAbs/USAconscious.ht...
The Mission Command concept actually stems from the German concept of auftragstaktik which was a contributing factor in their early successes during the Blitzkrieg campaigns early in WW2. See for example https://smallwarsjournal.com/jrnl/art/how-germans-defined-au...
Quite honestly it really pisses me off how C# is evolving and to me this is a clear indication that Microsoft has still a largely wrong mindset in divdev.

C# was once a great language, but today it is so bloated with features that there is no clear way anymore on doing a single thing. Everything in C# has 3-10 different ways of doing it with huge BUTs, making the language harder and harder to learn for beginners.

It doesn't even make sense to make C# more funcitonal. It's trying to be too many things at the same time. It's almost like an obsession which Microsoft has with C#. Everything great they see somewhere they just shoehorn it into C# and actually really harming the language. What happened to just being a good OO language. .NET already has two other languages, one is functional and you can use F# and C# side by side in a project. What is the purpose of mudding C# to a point where nobody really knows anymore how to write clean and good C# code?

Honestly, I see C# developers constantly re-writing and re-designing their code for the sake of rewriting because there's constantly a new way of doing something. C# developers are like Java developers, spending so much time thinking how to write a feature instaed of just getting on with the work.

.NET Core is great, but .NET, C# and Microsoft in general is still the same old shit plagued by the same old MSFT mindset.

If developers want to write great applications then choose anything but .NET (Core), because in C# you'll constantly be chasing and re-writing existing code because things change for the sake of changing without really making the application any better.

.NET Core itself and ASP.NET Core is still changing so much that it's just tiring.
I consider that to be a fairly reasonable interview question. If you're polite about it ("I've seen this one before, would you still like me to show it to you?") I can't see why anyone would penalize you for it.
The trick is that you don't have to watch it for the data to be useful.
What would extension methods, and extension state have over inheritance at that point? Those restrictions are in place for a reason.
What do you mean by "weaker federal state" when describing Canada?
In what way is HTML5 is inherently slower than previous versions? Pages tend to be slow because of the tracking and adds addded to them as well as client-side "rendering" for static content. None of that is required by HTML5.
Const is fixed at compile time, it looks like initonly is like readonly but can be used outside of a constructor.
> The only hard evidence that was provided were CCTV tapes of him going into local massage joint

provided by who? Would Chinese authorities provide evidence against themselves?
Government? Most of these camera owners weren't government.
Android has supported this for ages, just not customized per app. they put it under dev options, i guesd to mitigate the demented user problem.
> If I buy an Apple USB charger, I expect to get an Apple USB charger. I don't have the equipment to check it for loaded voltage sag (check out some videos of knock off USB chargers for examples). However fast it charges is however fast it charges, but I'm still being harmed by an inferior product.

There's a very good chance you could be harmed when it bursts into flames.
Amazingly little to no use of images in the articles. Turning the 'an image is worth a thousand words' on its head. Seems to work well though. Examples: https://aws.amazon.com/builders-library/avoiding-insurmounta..., https://aws.amazon.com/builders-library/caching-challenges-a...
This did sound like a disclosure to me as well. A disclaimer would be something like, "Use it. Your mileaage may vary. I am not responsible for any troubles you encounter whilen using it."
> add each node to the set if it is not present, O(1).

Not in space complexity.

> A bit more aggressive, check System.Runtime.heapSize() calculate how many nodes can fit in the heap, and subtract 1 for each element visited.

This one will take quite a while…

> recognize that pointers are always powers of 2, so go ahead and tag that pointer

They're not always, and this is also technically uses extra space.
A remote team set up for failure – mob programming to the rescue
> Rent is the main problem

London. The problem is the same in all large cities/capitals. I was listening on a BBC podcast a couple of years back discussing how the "not living where they work" is the main thing holding them back in progressing with their lives as much/fast as they could.

Especially in London, where near the center you can't get a decent studio for less than 1000-1300 pounds per month (just the rent now add council tax, utilities, etc.). The only way to make it is live on a flat with 3-5-7 more people.

There are some "maps vs rent" for London. I assume you can find some for other cities as well.

https://d36tnp772eyphs.cloudfront.net/blogs/1/2018/05/london...

https://static.homesandproperty.co.uk/s3fs-public/thumbnails...

https://www.thrillist.com/lifestyle/london/london-undergroun...

If you see prices below 1k, it's per week.
It should not be taken too literally. Part of the context is how asking this type of puzzle question with a simple expected solution is trivialising to smart programmers; part of it is the question of how many places cargo-cult difficult interviews because google do it that way but then expect people to work on CRUD apps with little originality or autonomy. It would indeed be a disaster to hire someone like this for that job.

On the other hand, there are places where this kind of thing would fit right in: exploit writing, games development, certain kinds of HPC, cryptography, some firmware development. And it demonstrates the kind of deep understanding where being able to read this kind of thing is very useful to puzzle out some horrendous low-level mess that has been inflicted on you by a vendor. If it was John Carmack or Richard Feynman doing it, it would be celebrated.

The risk with "rockstars" is they do this stuff when you don't want them to. Codewitches are much rarer, and have a much better sense of when it's a good idea. Neither is ever really going to be a "team player" but can deliver amazing things.
Weekly would be better
I can only say, based on my own short experience as purchase manager, that the process looks something like this:

1. The company needs to expand / upgrade / whatever, and there's a meeting on how this should be tackled. More often than not, in large companies, this part is also delegated to some consulting firm.

2. Report from said firm comes in, you have a meeting, and either go with their recommendations, or something else which has come up internally.

3. Upper management is convinced that using outside consultants / contractors is the way to go, because it's lighter on the company (no hiring, etc.)

4. Upper management gets wined and dined by the largest players, and are convinced its better to go with the most establishes firms.

Often times they have good relationships with these firms from beforehand, and don't even bother checking out their competition.

I've been myself in the situation where we spent months on coming up with the best deal possible, only to get steamrolled by executives, because they wanted to go with someone they knew - and pay many multiples extra.

In the end, it's the tax-payers or shareholders that are paying for this kind of stuff.
This seems just as magical as the original algorithm. Do you have insight as to why it works and what though process is necessary to arrive to it?
> My experience with Amazon, in this regard, was an eye opener. Today I do not buy anything on Amazon that isn't marked as "Sold and Shipped by Amazon".

That'll show them!
I Almost Lost My Career Because I Had the Wrong Passport
I think these people didn't care about individual liberties in general, but on their OWN individual liberties.
> Iterate over the list, re-tying it backwards as you go.

What does "re-tying backwards" mean?
D: The more internet data is encrypted, the less encrypted data stands out. I.e., if you only encrypt data when it's important nobody listen, everyone can tell when you're doing something you don't want anyone to hear. If you encrypt data all the time, nobody can tell "secret" from "normal".
> bracket your ifs and place the starting { on the same line as if/while, or one day you'll sit there staring at the screen for 8 hours trying to figure out why your code no longer works due to an accidentally deleted line.

This is some rather strange advice. That and the rewrite dropped a '!'.
You could call dreams something like running your mental models on training sets. If it’s physical when it’s electrons and silicon, can it be physical in the brain as well?
I like this a lot, here's a very simple machine learning perceptron[1] example in Golang:

https://github.com/montanaflynn/simple-go-perceptron

1. https://en.wikipedia.org/wiki/Perceptron
OT: is there a way to filter out stories on HN that link to sites that are unreadable without a subscription? It’s super frustrating to see these links daily that may be interesting but are paywalled.

Alternatively, maybe someone could make a bot or hn could build in an auto-outliner or some such that would automatically link to an outline or other overview of the article?
Well, once a webpage has played audio there's a notification that hangs around till you restart the phone. That's probably better than the cost of running Chrome, though.
IMHO you can use GPT 2 to augment writing not replacing it.

Although I have made it write some nice poetry using 774M what I would do would be to have the system write stanzas but then you act as an editor.
Same here.

I think these days you must force a specific code style according to a specific C# version otherwise you're going to have a mess. Harder to read for those used to older c# version while also hard to read for those used to newer c# versions.

You can have a valid reason to have c# classes that just use lambda to implement interfaces, a valid reason to have an interface with methods implementation, and a valid reason to do classic c#. In the end, you still have a mess.

I hope that someone makes a tool that helps make the code consistent and let developers avoid the suffering of thinking "but why is this like this??? oh wait... this the other c# version feature which I never used before.... I guess it's okay? ¯\_(ツ)_/¯
Is a Children's Song About the Death of Millions?
This isn't really it. It's not like this sort of thing would have been OK if editing was 10 or 100 times less likely to cause off target effects.

The way the whole thing happened was stupid. It was the wrong population of patients (healthy children), who had other options for avoiding HIV infection (antiretroviral suppression in parents, surrogacy, etc etc). And the fool decided this was the right population in which to employ highly experimental and underdeveloped gene technology? Any scientist with a modicum of integrity or common sense would never have done this. It's just bad science.
Remote clients are hard to find
That's similar to my pet theory, except I don't think it will emerge "naturally" from current AI architectures. I think it is an emergent property from various interconnected, competing networks. For consciousness to emerge, it would require a feedback architecture where multiple RNNs not only operate on the same inputs, but on each other's outputs as well.

At least that's my thinking. It's not my area at all.
One thing that I always wondered is if people just ignore the cameras.

Once I got called for questioning on a local retail store, since I was with enough free time and a good mood, so I just went with it. So the reason I was called was that the security guard noticed that I was looking at all security cameras which made me seem suspicious, my only answer was "well they're distracting".

Anyway there was no other irregularity and even the manager thought that the guard was being over zealous, but I was left wondering if other people are not uncomfortable around so many cameras. That this journalist seems surprised makes me think that maybe other people aren't even aware of them.
It's a very distant parody of the famous "Cracking the Coding Interview" book, and the whole set of expectations around technical interviews.

What's actually happening in the code: it starts off in the Lisp-on-JVM that is called Clojure, but for "performance reasons" drops down to hand-writing Java bytecode. A useful reminder that it's all just bytes and we don't have to arrive at them by the "normal" route.
For me it's rather curious that people place such a high value on finding an SO even when dying. This seems to speak to one (or two) things: that it is a tragedy to have lived and never been in love, and that having someone with you in the pain and the last period of your live is very highly valued.

It makes me think of all the people who don't have a terminal disease but still never manage to find someone. Their case, while sad, is perhaps not as tragic.
Moscow’s Facial Recognition System Access for Sale on the Black Market