skysight-inc/HackerNews huggingface dataset:
You already have the complexity in Go, just without type safety. You already have boxing in Go, all interfaces are boxed, so you can easily add Java/OCaml style parametricity without even any changes to your runtime.

interface{} is already promoted to heap, they are pointers, all you need is to swap interface with type parameter and add a couple of hundreds lines of code to the type checker. The theory is all in the books and there are dozens of compilers implementing it in practice.
In the criminal justice system a judge is asked, in 15 minutes average per case, to see if there is any reason at all to suspect this person, nothing more.

A judge would sign off given just the list of coordinates, and legally, they'd be correct in doing so.
So, basically they "invented" fuzzing?
Do we know that the judge didn't simply plug the coordinates into some online mapping service to find out? It's not that hard...
I find it truly bizarre that there are people who actually still buy a Mac Pro. Just look at the shop page. They sell that thing for 4k$ with 16GB RAM and a 256GB SSD. It's completely bonkers.
If you need a high-powered audio machine with dedicated PCI-E ports today(!), there's simply no alternative to a Windows PC. And yes, Windows can do audio just fine; you either invest the work and carefully choose components and build it yourself, or you buy it readily from 3XS, VisionDAW, whatever.
Julia is probably the next best bet, according to the Swift for Tensorflow team - https://github.com/tensorflow/swift/blob/master/docs/WhySwif...
> along with another browser with an italian sounding name

Maybe ViolaWWW [1]? That browser invented (it's own) stylesheets [2] and scripting language [3] years before JavaScript and CSS:

[1]: https://en.wikipedia.org/wiki/ViolaWWW?wprov=sfla1

[2]: http://viola.org/viola/styles/HTML_sodium.stg

[3]: http://viola.org/viola/vw/inset_talk.v
Would guess that as well. Very common error, which comes in many fashions and which can be made in practically any language. I'm mostly working in Java, where it's the same thing with System.currentTimeMillis() used instead of System.nanoTime() to measure and/or enforce timespans (because "you know, nanoseconds are so unwieldy, and milliseconds are so nice on the eyes, and I only needed millisecond precision...and anyway, who on earth would change the clock while our software is running...").
> I'm imagining a processor like the one on the iPhone/iPad Pro acting on all those pixels. And a true software platform running on top of it.

I think a lot of professionals and prosumers who are still buying interchangeable lens cameras don’t care. Folks generally shoot in RAW and edit their photos on a PC with Photoshop and Lightroom, which affords people much more control and is much more powerful than whatever is in an iPad.

The only photographers shooting JPEGs are sports and news photographers, and they have specialized use cases. That’s why the pro cameras (1DX2 and D5) come with Gigabit Ethernet and auto-upload to an FTP server through that.

People want the pre-capture sequence to be reliable and easy to use (so lots of buttons and dials) and in general once the photo is captured and saved, they don’t care and don’t want the camera involved any more.

Of course, if people really want to upload to Instagram immediately, most cameras nowadays come with Wifi so they can just transfer photos to a smartphone and do whatever they need to do there.
Why did the police ask Google, and not the cellular operators? They know who was where to the level of positioning detail this requires.
Depends on the context.

On GPGPU programming certainly not, in fact latest NVidia's hardware is designed explicitly for C++ workloads.

On GUI frameworks, C++ no longer has the spotlight on OS SDKs that it once had.
> What I would be terrified of in Coq is some tiny change in business requirements ends up pulling the linchpin out of some fundamental premise way down at the bottom of your stack of proofs, this forcing you to go and fix everything.

To be a bit facetious: What I would be terrified of in software development is some tiny change in business requirements ends up pulling the linchpin out of some fundamental premise way down at the bottom of your stack of functions, this forcing you to go and fix everything.

There is good proof engineering and bad proof engineering, just like there is good software engineering and bad software engineering. (If only all of us could agree on what exactly is good and bad in either ;-)). Coq has all sorts of modularity and abstraction facilities that you can use to build an architecture that is hopefully resilient to change.

But yeah, it's not perfect. Particularly because proofs are not always like unit tests: At the lowest level you prove things about actual implementations of functions, not just their behavior. In tricky cases, changing a low-level function does mean that you may have to change a lot of proofs. How to avoid this is still an open problem.
I don't understand what people are talking about when they say they get gouged by phones. Mine cost 180 USD in 2016. I still use it everyday and I get over 10 hours screen time. The issue is people conflate everyday devices of utility with fashion products (Apple, Google Pixel).
So, what's a better way? Let's see your not terrible advice.

> resonances of your room/speakers/headphones

Yet the frequencies that stand out depend so much on the input material, and arent't the same between recordings in different rooms or with different mics, even with the same playback setup. Weird.

As the manual of that VST so terribly states

> This is an excellent tool to correct a boxy low-endsound, even out resonances in a recording or reduce excessive sibilance in a vocal part.

Sure, they don't outline this specific approach, but others do, sadly:

https://www.soundonsound.com/sound-advice/q-how-do-pinpoint-...

> In my experience visual analysis won’t usually help a great deal here, and you have to adopt more of a ‘hunt and peck’ approach, sweeping a narrow EQ boost around the spectrum and then placing an EQ cut wherever the boost sounds most unappealing

And it just goes on and on :(

http://indierecordingdepot.com/t/how-do-i-find-resonant-freq...

Of course, since you said it's such terrible advice, my ears noticing the results are probably lying to me, and I can hardly wait to find out how to do it correctly at last.
> Still, some spam messages get through.

I believe spammers actively test their messages against things like SpamAssassin to sneak them through.
I apologize if that's a bit off-topic, but I would appreciate some advice on where to start with decent digital photography.

I am in no way a professional photographer, but I have mostly used some relatively budget smart phones to take pictures these past years (my previous experiences were with a canon compact circa 2002-2008, and film). I do not have a great budget for photography, since it isn't my main hobby (and am still studying), but would appreciate some of the features I saw in the discussion thread & website, notably:
- the ability to shoot RAW pictures
- the ability to shoot professional-ish looking videos
- an open firmware I can tinker with and learn from is a great plus
- if the device is moddable or has some available interface ports, that would be nice as well
- maybe a timelapse/timer function? (though that sounds quite simple to implement with the above).

Would compact cameras be the way to go (they're a plus for travel, I think)? Or would a cheap (second hand) DSLR be way better? Any specific brand suggestions?

Thank you in advance for the advice!
Hi Everyone, Who's Using Govalidator in Production?
> The guide is not intended to teach everything about security -- that would be too much.

On the other hand, the objectives list contains: "this guide will attempt to cover as many of them as possible". Despite that, it still misses basic security rules.

"A desktop class computer [...] That I want to be able to SSH to remotely from unknown computers and unknown locations (i.e. a friend's house)."

SSH from an unknown computer? Also see my original comment about what is missing in description of a situation when connecting to your server from a new system.

> Are you saying a public key can be used to decrypt data it encrypted? Or are you saying a public key could also be used to decrypt data that the private key encrypted?

See my discussion with derefr in this thread.

> You mention "server room". This guide is intended for a person running a simple server in their home.

The "server room" here means you are sitting next to your server and can connect point-to-point. It doesn't mean you need a backup diesel generator.

And if it is really about a home server, concerns like "make sure nobody is listening" don't make sense.

> I made some other updates to the guides that I hope address your other concerns?

I've seen you accepted pull requests of some contributors that fixed the basics for you. Because they were generated right after discussion in this thread they concern things discussed here.

> Also, I want more folks to use Linux. Most distributions are so similar there is no value in having so many distribution specific guides -- all it does is create unnecessary confusion and steer potential prospective users away from Linux.

How many (which) distros have you managed as a professional sysadmin to state that with high confidence?

I'm quite sure that a beginner will just choose Ubuntu and proceed to something like https://linuxjourney.com/. If someone becomes more than a hobbyist one will hopefully go and read something from a trusted source, written by sysadmins with a good grasp of contemporary cryptography involved.
They still need a bit of work to improve the 3., specially against GC languages.
"Most human beings can't interpret large strings of numbers
and GPS coordinates without a map to illustrate them, and
judges are no exception," said Nathan Freed Wessler, an
attorney for the national American Civil Liberties Union.

One would hope though (clearly not, in this case) that a judge would be motivated to recognise when they were unable to interpret data like this that they were given, and request that it be provided in a clearer form that they could interpret.

If judges do not do that routinely then perhaps they should be required to do so
Yeah - now they'll simply pull your contactless card details instead. No need to register at all.
Thanks for the feedback! I will definitely check them out. The problem you pointed out (firing up a bloaty browser) is exactly the problem I am facing, hence the birth of Vocab. I am not a native speaker, so one of my goals is also to add some supporting features to help people learn English.
Did you ever come across how they map parameters inside the VST/AU standard? Everyone else does 0 -> 1. They do 1 -> 120 or something completely boffed.
That's unavoidable actually. Basically US just begins to treat China as an eligible opponent.

There were never "friendly" relationships between two superpowers in history if I remember correctly.
Been a while since I’ve updated it, but http://itskrish.co

I promise I was on the minimalist monospace emoji design wave a few months before it really took off :)
A lot of people are sour at FB/Google simply because how the companies represent themselves to the users. I can't look at Google/FB without bringing up gmail, maps, search etc. and their utmost desire to track every nanosecond of my life, and understand me better than I do... just to earn money from me. I couldn't care less about hiring processes there, since where I live they don't pay more than other businesses, and everybody knows how 'great' their hiring experience is.

With ie banks, they are at least honest about how they earn from customers like me and I don't have any unreasonable moral expectations.
Learning to Control Self-Assembling Morphologies: Generalization via Modularity
I remember reading pg's post, it was a classic.

Anyone here working on anti-spam?

Where are things at today?
http://www.jacobjacquet.com/
Not "working" on anti-spam, but for my family's email server, we run rspamd and it works really well.
haha I was thinking about starting similar thread :) don't bother if I repost from other thread again?

https://lukaszkups.net

My DeusEx-game-inspired personal website (love the game, especially from the design side so decided to take an inspiration from it)

Will soon release tool I've used to generate this website (yes, another static site generator ;) )
Thanks. It's really just a simple script (less than 300 lines of Python).
I don't understand why epub rendering quality varies so wildly between devices. Isn't it just basic HTML or is there more to it ?
Interesting.
Good to know that he supports some minorities.

Shame that he continues to be anti-Semitic in his tweets.
Certain applications - Sibelius seems particularly bad - cause audio glitches that can be cured by restarting coreaudiod.

The other glitching problem I've had is in Ableton Live, where every thirty seconds or so the sound from the audio inputs glitches and breaks up, which makes Live useless for any kind of recording.

This is a known Live bug that has been around for a long time. It seems to be caused by the built-in audio devices competing with external hardware.

Certainly Apple are a long, long way from "It just works" now.
> Linux which is still just not good enough for desktop use.

For you perhaps. I've used desktop/laptop linux for nearly 20 years and it works just fine, millions of others do too.
I'm glad I can. It's a known, trusted distribution I've been using since 2001 on my main PC. It runs my personal web server since 2013 on a Cuibeboard and it works well. I've got a stable system which I'm familiar with, plus automatic updates, no binary blobs, vanilla kernel and all.

I can't think of a better solution if the SBC is supported. What would you recommend as an alternative?
https://www.sadiqevani.com
Good point about metamaterials. I am doing a PhD in nanotechnology (electronics), and the advances I see in optics at that scale really hint at revolutionary products.
Manufacturing still needs a few improvements, though. And I wonder what the market reaction will be? I wouldn't be surprised if photographers were quick to dismiss those millimetre-thin lenses at first.
As long as they do it incrementally it should be fine. For the first week only transition motorcycles to drive on the other side, then the week after the cars, then a week later transition the trucks and heavy vehicles to the other side...
Interesting as I don't seem to have this issue on the two 2018 MBP I've had. Originally I had a release day i7/32GB/1TB/560X model but it had a power/charging issue so Apple replaced it with an i9 model which has been perfect.

I have worried a lot about the keyboard breaking but so far it has been fine. I actually really like working on it now with the exception of the TouchBar which is the most useless change to keyboard design in years.

I really enjoy this laptop. I bought it after two years of pain buying, replacing and ultimately returning sub-par Windows laptops from Dell, Lenovo and Microsoft.

Apple gets a lot of hate in the tech press (and regular press sometimes) whereas people seem to accept far worse issues from only-slightly-cheaper Dell, Microsoft, etc. laptops.

The Dell XPS 15 9570 has far worse audio issues (DPC latency, crackling/popping speakers), coil whine on the majority of units shipped, keyboard issues (ironically I had more keyboard issues with my XPS 15) and much worse thermal throttling compared to the MBP 2018. Sleep issues (honestly just support S3 ffs)

I had a Surface Book 2 with a whole host of issues as well. From thermal throttling, constant BSOD/crashing when de/reattaching the performance base, pen input skipping and a whole host of silly-but-annoying software issues and of course sleep issues because not even Microsoft's own hardware works properly with their new S0i3 Connected Standby crap.

The MBP isn't perfect. The constant anxiety that something will kill the keyboard sucks but on the whole it is without a doubt the best modern laptop I have used in that it has the least issues. It sleeps when I close the lid, it also comes back on instantly, it never needs to be rebooted to get things working again, screen is stunning, runs cool and quiet when not being pushed with no random spinning up of the fans for a few minutes, etc.
I disagree, one day it will be a footnote in a history book about banana money. Sooner than some think.
https://jules.hu.ls/

I made it to get familiar with all tooling involved - I host the website myself at home. From the hardware to middle ware to the web server it all runs on a simple €150 dell server.

Might be a bit slow for non EU people because of it. :)

To create it I used Hugo!

https://gohugo.io/!

edit: no markdown here...
The economic growth of the so-called developing world, including that of China, means that China will feel less isolated no matter how the West behaves.

Also, the Chinese-U.S. relationship is what is abnormally strained at the moment, except not really. Firstly, nobody in the international community takes Trump at his word (he's a notorious liar who also follows a wholly transparent negotiating playbook, one that he's spent decades advertising). Secondly, even if Trump followed through on his blusters, China is well aware that following through on them is also costly to the U.S. and even to Trump's base (e.g. soy farmers), so they can discount the risk considerably. Thirdly, Trump doesn't care much about human rights or long-term international political norms and actually often idolizes authoritarian regimes and other anti-normative behaviors. Trump has no inclination to invest himself in the matter of China obeying a 30+ year-old bilateral treaty with the U.K.; it's of no matter to him. All of these combined mean that, whatever China is feeling, politically or economically isolated is not one of them.

Rather, what every non-Western country likely feels at this moment in time is opportunity--the post-WWII international order is disintegrating, and more importantly the moral center of that order, the United States, has amoral leadership backed by an electorate that has no interest in continuing to provide moral direction. Everything is on the table, now. Which, to be fair, is more-or-less what Trump promised.
This theory is total bunk. It is widely considered to be discredited and a great example of fanciful psychological theory with no scientific backing.

I mean, if this theory was true, you would expect to find schizophrenic families--after all, they all had the same mother. It also doesn't line up with the timing of onset at all.
Building a Pathway Between Estonian Universities and Companies
Exactly my thoughts - instead of one datacenter class gpu, you can use multuiple desktop components for better performance and more performance per buck. I've seen some sweet supermicro 2U chassis that can fit and run cool four 2080Ti.

I remember, though, that NVIDIA disallows in EULA the use of nvidia driver blob in consumer gpu in datacenter environment. Time will show how legally enforcible is this restriction.
Sourcegraph CEO here. Thank you for pointing out that the way we embed our architecture diagram was better before for screen reader users. Sorry for the regression. I filed an issue at https://github.com/sourcegraph/sourcegraph/issues/2355 for us to include a link to the diagram's Mermaid source definition so you don't need to dig around for it.

Note: For anyone else interested, you can read the architecture doc mentioned in the parent comment at https://docs.sourcegraph.com/dev/architecture.

BTW, it would be awesome for someone to build a Sourcegraph extension (https://docs.sourcegraph.com/extensions) that renders Mermaid/Graphviz diagrams in code. Then you could see the rendered graphs when browsing on GitHub if you use our Chrome/Firefox browser extensions (https://docs.sourcegraph.com/integration/browser_extension).
This is exactly what I thought as well. Julia is born for this use case.
Show HN: TensorFlow Serving with OpenFaaS and Kubernetes
Among other problems. IPv6 is not impossible to be disabled and few other minor annoyances.
Is he against all Jews or just opposes Israel policy?

I ask this because pretty much anyone who criticizes Israel is now labeled anti-Semitic
Cobra-HDWallet for Ethereume Blockchain
https://cobraframework.github.io/#hdwallet
=> Generate Wallet address by Mnemonic(seed) or any thing text uni-codes.
=> HACK/CRACK Private Key using Cobra-HDWallet,
Here is link: https://cobraframework.github.io/#hdwallet/private
This is why I prefer userscripts instead of extensions for simple things like this. Usually, they can be achieved with a single or few lines of code; even though I am not a programmer (and certainly not a Javascript programmer) I can often write one with a little bit of research. No need to extend the attack surface with yet another extension for every little thing.

You might be able to inspect the code of an extension, but it is less straightforward and easy compared to a simple userscript. Plus, with a userscript, there is no risk of the extension author turning malicious and updating it with malware, even if it was clean at one point.

My rule of thumb is using userscripts to modify websites' behavior, and using extensions to modify the browser's behavior. (At least that is the case for Firefox 56: Firefox Quantum and Chrome limits extensions from modifying the browser much; often they are little more than glorified userscripts.)
Driving rates are pretty low in HK and Macau because the cost of car ownership is so high (namely, the cost of a parking space) and public transit/taxis are so good. So I don’t think you’d get much pushback from actual drivers.
Even Faster WebAssembly: Cheerp 2.0 Surpasses Emscripten for Speed and Size
Biggest Mystery on Earth
https://adambowl.es/

I like seeing a few domain hacks here!
A few posts, but hey it's mine.

https://www.williamghelfi.com/
I wrote an SVG powered contact page which is around 16KB. https://edent.tel/

I was trying to get the most functionality out of the minimum possible size.
https://devbrett.com
https://cobraframework.github.io/#hdwallet
https://github.com/cobraframework/cobra-hdwallet
There is no better way to deliver humour than with a straight face. Well done, sir!
I've been thinking lately I should take a look at Gatsby finally add build a blog that goes with my current website. At the moment it's just a list of projects and some contact info.

https://kuroikyu.com/
Televisions must report the channel they’re set to.

TV ratings demographics are highly valued and can make big money. Years ago, Nielsen viewers received stipends plus free repairs on all metered TV/cable equipment.
We're experimenting with Mermaid diagrams <https://mermaidjs.github.io/> in our source code. How does that come across?
It doesnt weed out anyone. You dont have to have your phone with you during a crime.
Mostly out of date...

https://badalic.com/
https://blog.badalic.com
Hey Hacker News! Python^Vim user here.

A blog: https://tarasmatsyk.com/
I always export posts on medium: https://medium.com/@tarasmatsyk

I am talking about Architecture, ML SOA models in production and Team building activities. Next post is going to be about our experience of using PyTorch in production for a year.

It's backed with GoHugo on top of Netlify and I am extremely happy about it.
Also I wrote a post on how to start a blog under 2 hours where compared most popular blogging engines for engineers: https://tarasmatsyk.com/posts/1-how-to-start-a-blog-in-2-hou...
Windows is not a serious alternative. It is pretty unbelievable that MS did not learn a single thing from Apple over 20 years. The result of this ignorance shows. Their software is complicated, bloated has 100000 features when people use 3 most of the time. Apple got this right with the mandatory app menu where the most used things are the same (like CMD+P). I think for developers Linux is a better alternative today than Windows (if somebody does not like MacOS).