skysight-inc/HackerNews huggingface dataset:
Isn't the ID problem just a question of the type of the ID?

Sure strings would have collisions, but symbols wouldn't.
Debugging Using WinDbg Preview
The 2018 Assembly polls commenced with Over 68+ Lakh tweets
JavaScript vs. Data Science
My mission is to help devs, so F# is the best spot for me right now. Having said that, I'm quite interested in the theory, so I'll probably be playing around with Category Theory and Haskell over the next few years.

My biggest technical frustration with F# is just what you pointed out: they started down the OCAML route, then pulled back immediately after somebody figured out it would lead devs away from MS. Now all I hear about is how F# will integrate better into existing MS stuff and complaints about how the C# guys are copying F# stuff (and badly). None of that I'm interested in. None of that helps devs.

And I believe your and my observation are related: the more MS tries to keep F# in the fold, the more tension it's going to build between devs who want to branch out and those who don't.
just curious -- what do you recommend?
C is very safe if you are experienced and don't do anything fancy.

What else would you use apart from Ada? I wouldn't trust any language with a large runtime like Python, Java, and yes, also not Haskell.

C is very amenable to proofs that use Knuth's proof style. Also of course Frama C exists.

EDIT: If Rust is more mature, it may be an option, but I'd wait at least 5 more years until (if?) it is widely used.
China is actually doing something similar right now, albeit in a different way:
https://nordic.businessinsider.com/china-swedens-bizarre-feu...

Chinese tourists visiting a Swedish hostel in Stockholm sparked an international incident when they appeared on video screaming and crying and accusing local police of trying to murder them.

The "graveyard" they were dropped off at is more of a park, with a train station 8 minutes from the city.
The Office formats are well specified, they are complex because that is the nature of the software but it is a world away from something like PSD or even PDF.
WiFi in China, in general, was incredibly shitty and I have been in hotels in 'the west' where I'd get 50 mbit, but I have also had crappy wifi experiences. So I think you get shitty internet in both east and west, as is to be expected when 50 or more devices try to stream Netflix at the same time on the same internet connection.

Luckily, in the EU at least, you can roam with your own 4G connection everywhere and having a 120 KB/s connection is a thing of the past.
I always hated it. I would switch to the 'classic' theme as soon as the PC booted.
Personally I hated the default look and feel back when it was released. It was screaming "plastic" all over, except for Luna Silver. Icons were less plasticky than the rest of it, but still meh.

IMO, the timeless Windows look is Win2K - it's when they got the original Win95 / WinNT4 look perfect. They adjusted the colors a little bit so it was less dark, and IIRC that was also the first version to have sky blue wallpaper background by default, and blue gradient title bars. It was also the first to switch from MS Sans Serif to Tahoma 8pt for the UI font, and Tahoma was pretty much pixel perfect at that size.

So the overall effect was that it looked more cheerful than Win9x, but not cartoonish.

https://i.imgur.com/jwzJiSW.png
It's a little funny how stable the desktop ecosystem has been for 10 (or maybe 30?) years.

Mac gaming still sucks, EE/ME/Enterprise engineers use windows. Web devs and Artists use macs. Academics and scientists use Linux.

These ecosystems are so stable now that I don't see it changing.

Granted, it could change, but they would have to really try... And Apple has shown decreasing vision for the Mac platform over time.
I'm not sure I buy this. Quote from Martin Fowler:

https://youtu.be/z9quxZsLcfo?t=1447

> I share with with David and Kent, there are problems where TDD doesn't work terribly well, and sadly most of the programming I do these days is not conducive to TDD and I miss it because actually I really like the TDD flow that really works for me just as it works the Kent.
CVE-2018-8626 – Windows DNS Server Heap Overflow Vulnerability
Writing such a script was probably more fun than what you did with the internet connection afterwards :).
Are you sure you are not conflating TDD with the presence of automated test suite?
Wouldn't symbols solve this issue?
A 90$ HP 22" monitor to use side-by-side with my 15" laptop display. The quality is a bit lower than the laptop display but having more space and a bigger display is such a blessing for my eyes and my productivity.
Mark David Chapman didn’t have the internet.
That not unlimited people can rent the same title at the same time is probably a licensing issue (as they only purchases x copies for lending).

The DRM in this case is mostly about the time limit on the rental though. If you would get access to the title indefinitely it would be giving away not renting?
My guess would be that the office is from the Beats acquisition. A quick job search on their website seems to confirm that as there are a few audio/DSP positions.
That is sort of what PDF/A is: https://en.wikipedia.org/wiki/PDF/A
This is even more useful on international airports many of which only allow 1hr of free wifi. Are there any macchanger equivalents for Windows as well?
So we'll have to wait until 2020(?) until we'll get a usable secure CPU, with a redesigned cache? Sorry, too late. By that time AMD already took over.

Willow Cove 2020 ?	10 nm ?
Cache Redesign, New Transistor Optimization, Security Features
"The Waterfall Methodology is not a thing and only seems to be used as a "straw man" foil."

Waterfall is a 'thing' because it existed long before software or computers.

I view it as essentially the most obvious form of project management, which is simply a phased approach to solving a problem: gather requirements, plan, design, do, test, fix problems etc..
OSS analytics packages are unfortunately such a rarity - Piwik seems to be the only serious game in town. All I really want is an anonymized picture of feature uptake and some inkling as to how well we're doing in the UX and perf departments. I want to have these things without that annoying EU cookie widget, without shipping any data to third party services, and without loading any third party scripts.

Unfortunately this seems to just be the frontend tracker, and the backend will remain a closed MS service.
Not quite the same vein but I found Higashino Keigo's works really enjoyable.
- Sauna ticket
Those "some fixes" are not enough. It needs a cache redesign, which will be too late.
I also don't see a second C3, extra for the kernel.
Well, there's going to be tax revenue coming from those jobs even if there are less or no taxes to the business itself, before you even consider the money that those employees and potentially even the business itself will spend within the community. I don't think it's as simple as tax incentives inherently being a cost for the community.
It is a bit more expensive although still under $100 - I've used the 3M joystick mouse for the last decade with much success for hand pain. Worth a try if you ever in the market again. It holds the weight of your hand and takes all strain (at least for me) out of the wrist.
> Heaven for generalists that always love doing new kinds of things.

Really? That's me. I'm in web development, and I've always felt that embedded was far too specialised for me.

Though I do prefer readable, maintainable code.
GDS are really very good.

The UK has a lot of political problems. But we also have some seriously talented people doing absolutely outstanding work.
"It's far more readable and — as a bonus — compiler is likely to produce more efficient code."

I want to learn more about this, when or how do you know a compiler produced efficient code? Does anybody have any interesting links for reads on this?
Very disappointing. Next time the will reveal that these are not real transformers:

https://www.youtube.com/watch?v=hGruY-NG3Ng
John Lennon would like a word with you.

Oh wait, he doesn’t. Because some crazy fan shot him and he’s been dead for decades.

This is nothing new.
I checked Snopes and it seems this is not entirely bogus. A bit speculative perhaps.

https://www.snopes.com/news/2017/01/06/coal-fire-sink-the-ti...
yeah, you have GPU like chips being developed by a lot of companies invested in AI. From server chips for training, down to cell phone chips for cheap inference.

I am really hoping to see AMD entering the battlefield. AMD GPUs are more than capable of handling the workload it is just a software problem.
IANA (botanist, chemist?), but terpenoids are in most plants, e.g. pinene is abundant in pine trees, responsible for their smell, and happens to modulate cannabis’s subjective effects in very interesting ways.

A blend good for sleep might have a good amount of THC and CBN (and maybe some CBD) plus the mycrene and beta-caryophyllene terpenes (associated with the more sedating strains).

Indica/sativa don’t really mean anything, strains are mostly just variations of terpenes.
I don't think it is an important inconsistency and I don't see why it would hurt maintainability. Maybe you're thinking "you can't change return types easily" but in practice the situations where you can change a return type without altering calling code at all are extremely rare.

Also, I agree that there could be a better solution - always use auto, and use an IDE which shows you the type inline. IntelliJ can do this for Rust. But unfortunately no C++ IDE has code intelligence anywhere near good enough to do this reliably.
See https://en.wikipedia.org/wiki/Terpene and https://en.wikipedia.org/wiki/Terpenoid
"While you might not be scanned going to see the next Marvel film, the movie ticket of the future might just be your face."

This sounds very dystopian to me.
Writing a contract in stable coin denomination fixes your crypto platform costs in non-crypto terms, and enables things like Ethereum contracts to transact in dollars.

This simplifies, eg, a dApp hiring staff: you hire them for stable coins, which they cash out at various certified brokers.
PUBG and Fortnite just got banned by the Chinese government
To be fair, in my experience Chrome's and Firefox's PDF viewers don't cut it. They are good for a quick preview, but especially when printing they occasionally render things slightly wrong, which is unacceptable for a file format whose entire point is to look the same everywhere. Also forms.

That doesn't mean that there aren't any alternatives. Foxit for example is pretty good. But in-browser alternatives just aren't there yet
So - any idea just where they’ll KUT the expansion? The domain is too far away, right?
AFLSmart: smart greybox fuzzing
>"The log forwarders are horrible to work with (be it logstash, filebeat – or worse: fluentd)."

Why are they horrible to work with? Why is fluentd worse than the other two?
LXD is amazing. It replaced most VMs in my homeserver setup.
You're being downvoted, but nobody is engaging with the sensible points that you're making.

While viewing these in the lens of a corporate handout, it is definitely a practice that deserves a close look, pretending that entire state governmental bodies in the US are acting outside of their own best interest (both fiscally and politically) deserves a conversation
Going to https://clarity.ms gives 502 Bad Gateway
Build Spam Filter from Scratch (ML)
true that, some corner cases only appear in the wild and very hard to reproduce as we don't really know what caused them, anyways, keep us updated.. ;)
Oh yeah most airports I have been at had bad wi-fi. Some you pay X for an hour, and then still get connection issues..
Good work @stgraber and team and congratulations on continuously improving and constantly releasing new version and updates. Indeed being able to do this when majority of the container funding is going to Kubernetes or Docker is a great achievement.

Has been using LXD for last 6 years in production. Its a little gem hiding with all the spotlight on Kubernetes and Docker. Indeed the way LXD works, it naturally provides a path from physical servers and VM instances to containers and back.

The important part is it runs containers in userspace providing a much better security then docker, but seems developers don't care about it.

Also you can use traditional ansible, puppet or chef to create and manage images and containers directly instead of learning shell scripts and Dockerfile way with additional cognitive load.

The only issue I am facing is mounting a shared NFS or CIFS in userspace container using FUSE, since the client drivers for this fs needs to be run through a root process. Hopefully it will be resolved in future. Tried Lizardfs instead of NFS and the system failed in the middle and my issues on the github is there for weeks without any feedback. I will try glusterfs and also looking and beegfs lets see if it can work.
Best Arduino Robotic Arm Kits for Adults
Plug Gaps in CloudFormation with Custom Resources
The example

int rc = fx ();
if (rc != 0)
handle_error ();

can be simply converted into ASM

; call fx() and copy to acc
JNZ handle_error
; rest of code
handle_error:
; code of handle_error()

whereas exceptions in C++ need to generate a lot more code than this
I would rather get rid of the term "exception" at all, and instead talk of recoverable errors (which should be properly reflected in the type system, as in e.g. Rust), and contract violations (which should result in an immediate panic).
The more expensive the hotel the greater the chance they charge for WiFi access.
I think i expected something more advanced, but in reality I really love how simple/few lines of code such a task can be accomplished.
It's a great reminder to keep things simple.
What's point in saving it in server? Why not Local Storage?
Here they had a series on Edsac, the first von Neumann machine. There they had a long mercury tube as main memory. The signal was turned into sound by a loudspeaker and sent to pass through the mercury tube (sound is very slow when passing through mercury), then on the other end converted to digital and looped back to the loudspeaker for the next trip (in loop). They say that this hack was invented during WW2 to store/recall RADAR signals.
https://m.youtube.com/watch?v=lXJ-tYqPARg

The proper word for that is delay line memory https://en.wikipedia.org/wiki/Delay_line_memory
Client: "What do you mean it will cost X money and Y time to fix this trivial bug/feature in our App? And whats this babbling about having to upgrade at least a dozen frameworks? I just want this simple thing changed, not have my entire App rebuild. Last time you did that everything else broke and it took forever to get all the new bugs sorted."
Well I don’t know about tech, but multiple swiss banks have had internal advisories against visit to the US, as some of their employees have been arrested.
In actual use I've seen that Redux apps often wind up with a lot of accidental data dependencies that probably wouldn't have happened without a centralized store. For example devs will lazily use a "currentUser" key in the store for all kinds of unrelated stuff and subtle bugs creep in. Another common problem with Redux is memory issues because various components don't clear their data out of the store when they're unmounted.

Redux has some nice features but at this point I recommend people avoid it until they start to suffer from some of the problems it was designed to solve. You can get pretty far with a lot less complexity by use using local component state in vanilla React.
The same behavior can also be exploited for the inverse effect. Solubility of caffeine in water is greatly boosted with temperature. Many of the bitter compounds in tea extract at a comparatively slower rate, particularly as temps approach 100°C. If you want a caffeine hit with a decent flavour steep a high number of tea bags in boiling water for very short amount of time.
That’s not really true either. Tax rates are higher outside the U.S. (but also flatter—VAT taxes which are pervasive in Europe would be considered a right-wing attempt to shift the tax burden to the middle class here.)

But infrastructure isn’t more “left” in Europe, and it’s often more “right.” The Danish telecom operator owns all the copper and almost all the cable and is a fully private company. And Denmark got rid of its telecom regulator recently. The Danish rail operator is a for-profit government owned company that is in the process of being privatized. Deutsche Bahn is organized as a for-profit company. (The Japanese rail operators are all for-profit companies.) Stockholm’s dark fiber provider is organized as a for-profit company. Whereas De Blasio has turned fiber in NYC into a social justice issue, the Stockholm fiber provider built out its network based on demand and revenue generation (e.g. businesses first), and charged high initial hookup fees (approaching $1,000). The British commuter rail system is run by private companies. While London’s subway is run by the city, it pays for itself with fares (while half the costs of the New York subway come from the government). Nobody in Europe has anything like our Universal Service Fund, which shifts billions of dollars a year from urban areas to rural areas. It goes on and on. Europe was late to the deregulation game, but ran with it in the 1990s and 2000s.

Case study: the U.K. The U.K.'s telecom infrastructure is almost entirely owned by a single private, for-profit company: BT. British telecom law imposes an open access requirement, requiring BT to lease access to competitors. However, because British regulators are sane, these leases are made at rates that leave BT with similar profit margins to Comcast. BT, unsurprisingly, has invested in upgrading its copper network. The U.S. had a similar requirement for DSL, but the FCC set the rates so low (at cost) that it basically killed investment in the copper network.

The idea of the government owning and running rail, power, or telecom infrastructure these days is solidly left of center compared to Europe.
Exactly.
Of the 6 or so different resort hotels i have visited in the canary islands etc, maybe one had good wifi/internet.
But since the EU rules changed, i just connected via 4G - problem solved.
Even so, I'd imagine more reliable SSDs would be able to fetch a higher price.
You need to put "www" at the beginning.
On the video they showed the full URL: www.clarity.ms
What makes this the first "True" Word Processor? Looking things up on Wikipedia I find that IBM's Expensive Typewriter, a computer program for the PDP-1, existed in 1961, several years before the Redactron Data Secretary.
Both the IBM Expensive Typewrite and the Redactron Data Secretary used an IBM Selectric as input/output device.

Almost contemporary to the Redactron Data Secretary was the vastly more advanced NLS (from Engelbart's demo) which used a CRT for output and keyboard and mouse for input. The mother of all demos was given in december 1968, I couldn't find the exact date that Redactron was incorporated but the interview of Berezin by CHM gives it as "the end of 1968".

The Data Secretary might have been the first successful Word Processor but it appears that it's hardly the first one, but claiming that "Without Ms. Berezin there would be no Bill Gates, no Steve Jobs, no internet, no word processors, no spreadsheets; nothing that remotely connects business with the 21st century." seems incredibly hyperbolic.

I hate that every time I hear "first person to do X was a woman" I'm immediately skeptical because, if I look into it, most of the time is at minimum using a bunch of misleading definitions.
Maybe they want that people realize that the project in question depends on donations. If they just give them a bunch of money, many people won't notice.
Sweden is a place with large amount of land and a sparse population. Home prices has not tripled overall in Sweden.

Those 23 regions are all districts of cities. When we talk about people moving out of those area, we are talking about people wanting to move from one part of a city to a richer part of the city. It is relevant from a integration perspective, but it is a rather important distinction. If people want jobs and cheap housing all a person need to sacrifice is the willingness to move to any of the smaller towns. A fact very easy verified by looking at the government department for labor which list job offerings. From construction worker, health care worker, to IT professional, I would claim that being flexible in where you want to live is the most important aspect (and the government will usually pay the moving costs).
I think this post has actually pushed me back towards Symbol keys perhaps being a good idea. The useFormInput() example under Flaw 3 seems rather contrived – wouldn’t you just pass a Symbol key to useFormInput and it would then pass the key to useState, solving the supposed flaw? If you had to use useState several times in useFormInput, just use a WeakMap (they’re not that scary) with the keys being the Symbols passed to useFormInput. Or am I missing something in the explanation?
I suspect subsidies are often excessive, in part because they often arise as part of a bidding war. But that doesn't mean that localities should never provide incentives to encourage companies (and jobs) to locate in a particular location. To think otherwise more or less means that it's not the job of government to take specific actions to encourage job growth, which doesn't seem like a generally sensible opinion.
I’m right there with you I think but for me it’s Win2K3. Not hugely different but there were enough UI changes to make it feel like peak Windows design. Superficially they might look pretty similar but I think it’s worth mentioning as a distinct product instead of lumping them together.
To Pivot or Not to Pivot, That Is the Business
This is an API design issue. The proper solution is to provide two versions of malloc or equivalent - one that doesn't have any error code, and simply panics on failure to allocate, and another that provides a way to recover. A typical app would then mostly use the first version, and very occasionally the second when it anticipates that allocation might be so large that it could fail even in a healthy environment (e.g. loading an entire file into memory).
Even so, if SSDs are an entire computer on their own, could that computer at least have the decency to provide some helpful logging?
This doesn't make much sense. Transit follows population. You wouldn't build transit before there was a need for it.
VIPs don’t have to pay to get in to nightclubs. Do you think that’s a huge cost? If so, why would club owners agree to it?
Thinking of making one actually
This makes me glad to know. I love tea but don’t need the caffeine every time.
oh god what a totally new and revolutionary idea that definitely has a place on hackernews: you can automate things with a computer!
It does, insofar as you can express anything meaningful in an inconsistent system.
A formal system being inconsistent implies being able to prove some statement A, and also its converse ~A.
If both A and ~A are true, then we can prove that every other statement in this system is also true.
A quick proof:

1. A
2. A v B
3. ~A & A v B
4. B

We start with A.
The union (logical-or) of true statement (here A) and any other statement (say B) is a true statement, thus A v B.
Then we introduce another true statement, ~A, via logical-and to get ~A & (A v B), which simplifies (disjunctive syllogism) to just B.

So we have proved B, but B was arbitrary.
It could be anything, including the statement that x = y for x and y two ostensible non-equal numbers.
French foreign ministry website hacked – personal data stolen
There was an excellent Channel 4 UK documentary about this, https://www.youtube.com/watch?v=ORUKjNZzPbQ
Cant wait to try this on an international flight of 14 hrs. Emirates only gives 2hrs of connectivity/20mb, so will have to do a lot of resets and on an android phone as well.
Pixologic ZBrush 2018.1 Crack for Mac
People must have felt that Engineering products gave humans god-like powers. It must have been fun to completely ignore Physics.