skysight-inc/HackerNews huggingface dataset:
> Welp. The dystopia is here folks. We're living in it right now.

I thought the same thing after reading:

> Mr. Pedraza said. “The human is very important right now.”

And these lonely old people you're referring to are likely seen as burdens by their own families who regard every last scrap of their time as means to advance a career.
Indeed it is illegal and you'll definitely get into trouble with some law enforcement agency if you impersonate the government. But there's not a US Trademark Renewal Services Department to impersonate. You can name your company anything that's not already someone else's property or the name of a governmental body.

Are these companies despicable? Yes. Are they misleading people? I'd say so. Can you make a fraud charge stick? Probably not. In cases I've seen, if you read the entire document, including fine print, and you think logically about the content, you can deduce that the companies sending these notices/invoices/wtfe are just hoping the target isn't savvy enough to figure things out.
> Defensive programming can be achieved through various means. Type checking is one of them and often can't replace Unit and Integration testing.

Of course they won’t replace unit or integration tests, but they will replace a lot of damn trivial tests you have to write to make sure you exercise all paths of the program, because there are no types to help you.

Also, at least when I think of defensive programming, I don’t think of how Haskell et al. allow me to more clearly express my intents in the type system. I think of the times where I write JS/TS and cannot rely on any data anywhere being in the format it says it’s in.
I’ve handled one of the bay psalm books. It’s very magical even if the object itself is quite humble.

If you want to get laughed out of Houghton library ask the staff to page the Gutenberg for you, as one of my friends did in their first year of grad school
I totally disagree. I’m an amateur mathematician who dropped out of his PhD program at NYU with a Master’s. But I remember when I was doing my math major ever since college, seeing the Appel and Haken proof of the four color theorem and thinking it wasn’t a real “proof”, only a “half proof”. Because it just came down to a computer checking thousands of cases. The “last mile” was not proven.

Proofs are basically being able to explain something with a small number of concepts at every step. That’s the human way. What we lose when we turn everything over to ML is the ability to understand anything. And I don’t just mean by humans. I mean by machines too.

I can accept that human logic and thinking is just whatever we can fit into a small vector, and small bandwidth. If that’s all there was, and understanding was synonymous with pattern recognition, then machine learning would just be an amazing upgrade to that, with far larger vectors and so on.

And although there may be a “superlogic” out there where each statement involves millions of variables, I do not think we are achieving “reasoning” using this logic when it comes to computers. A project like “Cyc” tries to do it. But Machine Learning is something completely different.

For the real world, the results have been undeniable. So far MCTS is king, followed by RNNs and gradient descent I think. And these may actually be really good for learning situations.

But proofs are supposed to be more elegant. In mathematics, the whole explanatory elegance is in the “bandwidth” at every step of how many concepts you invoke. The question of “Why” something is.

MCTS simply seems to say “well, dunno why it is but in these 927282781618 cases things just seem to be worse than in these other 91273737833738 cases”.

Although I am open to the idea that a lot of human learning doesn’t really have the “why” explanation either. Maybe “why” is out of place to ask in many questions. But NOT in mathematics!
1k, not so much since there is no aggregation that can happen there anyway.

100k is not that much different than 100mb, except the TCP window will not be as far open, so TSO will not be as effective.

Note that I work on a CDN that serves large media files, so I'm biased towards that workload.
Local leaders cooling to Boring Company tunnel promises
There was a documentary about these on the BBC maybe 15 years ago, part of a series the theme of which was dangerous places or similar. The presenter walked the length of a Qanat and seemed genuinely worried by the poor state of it in parts, which was unintentionally amusing, but he did make it out in one piece in the end. Can't find it on the web sadly.
Vimwiki 2.4 released – three years after the last version
MathJaX has server-side rendering too. The speed differences (for the reader) vanish once you're no longer doing everything client-side.
One Page Love – One Page Website Inspiration and Templates
Hearsay from a winery in Cali I recently visited:

I liked the wine I was tasting and the guy pouring mentioned that Costco has purchased the entire stock of the previous year's vintage which had won some international competition.

It was Cline Cellars. Not a super luxe brand, but also not a cheesy one.
Visiting that website made firefox on android 8 hang, the phone got hot.
If it is stability you are after, choosing Java on JVM will get you there much better. Java written 20 ago still compiles and works fine today.
But why is beneficial even for short term and valuation? Being the company known for fraud listings, lots of customers demanding refunds and so on can’t be better for growth and a future IPO than it would be if these (presumably quite rare) listings and their landlords were simply removed after refunding the renter?
Non-optional strong types is one example where it benefits Facebook, but likely isn't great for those hoping for a "faster PHP". The blog post makes it sound like HHVM will only support hack, and not PHP, sometime in the near future.
> The users are learning Python, not C++

The key word here is "users". Python is fantastic for users. It allows users to get things done without having to worry about types or memory or the underlying hardware in any way.
We have 2 eyes and stereo vision... No matter what you put on a screen, it'll be 1-dimensional in the body's ability to discern distance and actual spatial awareness.
Show HN: FastDom – Lightweight replacement of React and MobX
Control-shift-T when you start Chrome back up again.

I don't want the feature you describe. I prefer undo to confirmation.
"Everyone being administrators" is a default on OSX and Windows - and you can configure both trivially to avoid the issue you state.
No sane System or Windows Admin gives anyone admin rights on Windows without a very, very good reason (e.g. they are a developer and admin on their machine is a good thing). There also are very few computer uses that require local storage of any sort.
Pytype – A static type analyzer for Python code
GPUs have single cycle sin/cos LUT implementations, so they should be good for this kind of thing - competitive with an FFT for a relatively small number of overtones.

But there are some technical issues. Older GPUs don't have full IEEE 754 floating point support, and compilers are optimised for graphics, not for audio, so you won't necessarily get the same output as you would from DSP code running on an x86.

If shader compilers included some audio-friendly tweaks and perhaps a standard audio API for co-processing, they could see a lot more use in music editing and synthesis.
> I'd say desktop Linux is more insecure than Windows, and the only reason we don't see malware is that nobody uses it. So if high profile targets, like energy companies, started using Linux on the desktop, it may end up being worse than Windows.

What's the basis for your assertion?

At the level of systems we're discussing, a Windows installation would be operated by experienced Windows administrator. Thus the appropriate comparison group for Linux would be something like a university-run supercomputing cluster. We don't often hear of these being taken over for ransom.
Why is Cmder not actually a terminal?
When I'm forced to use Windows (which is pretty much just at work), I run an X server through Cygwin then use URxvt with GNU screen. I haven't found a Windows console application that doesn't play nicely with this when run through winpty, so for me it's the best of both worlds. I have used ConEmu and Cmndr, but I found them both to be nowhere near as reliable as my current setup (much like how WSL still can't touch Cygwin for my use case).
I had a similar reaction when I looked at the smoking rates for Canada after reading this WashPo piece: https://www.washingtonpost.com/national/americas-new-tobacco...
Great Job guys!! I love vimwiki.
Working on ff mobile for me
Most of the cheap ways of capturing analog video will end up dropping half the image data before the process even starts.

At a minimum, full SD-resolution capture is necessary. 480 lines and whatever seems reasonable (for VHS, doubt there's much of a difference between 640 and 704/720).

Capture such material at 240 lines and you might as well not be capturing it at all.

It's somewhat involved to make archival-quality digitizations.
I can see it now. A study shows some interesting results and potential patterns - BAM post it on all the social media outlets ASAP and court whatever grant money reward there may be. No reason to verify via replication, the results are here in front of us.

"Look I found something, where's my treat?"
If you find them that problematic, stick with halogen lamps. There's no shortage of supply, they're slightly more efficient than plain tungsten filaments and they give better light.

FWIW if you're looking for nice non-electric evening lights I'd recommend gas over candles. Some nice camping lanterns that put out a lovely light. Cripplingly inefficient, though.
Nobel prize winning physicist Abdus Salam (https://en.wikipedia.org/wiki/Abdus_Salam)

> During his doctoral studies, his mentors challenged him to solve within one year an intractable problem which had defied such great minds as Dirac and Feynman.[29] Within six months, Salam had found a solution for the renormalisation of meson theory.
I was just browsing websites that were loading unusually slowly, so did the usual ping/mtr to investigate, which pointed to the router. From there and a bit of tcpdumping the cause turned out to be UDP traffic to Google from another person, who was watching videos I think.
I started a awesome list dubbed "awesome data distribution" feedback welcome at https://github.com/amirouche/awesome-data-distribution
Yeah, that is convenient and I do that often. But I try to wrap the variables in different types depending on their source (e.g. whether it's a filename or file content) so that functions further down can disambiguate between variables explicitly.
They were going to have tabs in native terminal (which is otherwise pretty good asides from this) via Sets until that feature was cancelled. Hopefully Rich etc has a backup plan.
I wonder if from mid 90s to early 20s it was like art, though, or at least more like art.

Tech wasn't as big of an umbrella then. I imagine everything was a lot different, including the types of funding and the investors.
In the UK, there is a list of words which can’t be used as part of a registered company name: https://www.gov.uk/government/publications/incorporation-and...
It doesn't seem to affect everyone/every machine.
I've used Pycharm extensively in production. It's hands down the best Python IDE, but the refactoring is nowhere near as reliable as with IDEA, Golang etc. Having a static type system provides refactoring certainty that simply cannot be achieved with a dynamic language.

You cannot do with heuristics what you can do with static types.
Pushing that crosswalk button might make you feel better, but (2016)
If he got $120M over 3 years, there aren't many jobs out there which would pay $40M a year. And if you can just send invoices and get paid, why even do any work, like ever?
> [for Greeks] EU thing hasn't worked out

What didn't work out for Greeks was their corrupt politicians/elites and lack of sufficient oversight, including by EU institutions. All sorts of requirements that all EU members have to meet were never enforced for Greece.

From the time Greece joined the Euro (by cheating) to the start of the financial crisis, Greek GDP skyrocketed 2.3x. That's astounding, and pretty much unheard of. Of course it wasn't real, because there were no corresponding improvements in Greek economic efficiency or productivity.

I wrote about this at the time: https://blog.metaobject.com/2015/07/greek-choices-german-per...
I've been using an extension called "Auto History Wipe" for almost two years because of this bug, so it's at least ~2 years old.
From the article:

>[The Vessel] ... ruinously manspreading

Is that what passes for journalism these days?
so the arista's are gonna be able to ecmp on it?
NZ is in a state of collective shock, and, at the moment, apparently a very cool head, and bravery (understanding that you will get massive social pressure, and lots of ugly accusations) needed to stand against censorship. By no means it's a normal situation for a political debare.
The cost structure of private cars (big fixed cost, thereafter low marginal cost per km) and convenience works against this. Yeah, there are always exceptions, but these planning decisions should be made by considering people in aggregate.

Re "not the main source" - the co2 emission pie is very fragmented. We can't afford to go after only the biggest source of emissions. This is the divide-and-not-conquer method of losing this battle, to consider all the little parts in isolation and on each decide that it's not significant!
Polyfilling WebP support just for browsers that support Web Assembly but not WebP seems pretty weighty when it's very straightforward to not exclusively use WebP.

The <picture> element is great but using it means not, as you wrote, "Use WebP! For everything!" Maybe you meant "Use WebP! For everything! With Fallbacks!"
Because Cmder is actually:

- Console emulator ~ Conemu

- Cmd.exe enhancements ~ clink

- Unix tools on windows ~ git for windows

The Cmder website tells you this if you scroll down, but doesn't make it obvious. 'clink' in particular is of dubious utility - if you're using Windows, powershell is the default terminal, and powershell is one of Windows' best features.
> The Rust compiler is well known for having rather less-than-stellar performance.

You can do 'cargo check' to do the analysis part without actually compiling a binary, it's super fast and excellent for development.
Yes, I misworded it and gave the wrong numbers. I gave the number of possible combinations in a genome, which is 4^6e9. That’s obviously not the number to compare (and a slightly embarrassing mistake).

With 6 gigabases per cell and 2bits per base, the storage capacity is 12 gigabits (1.5 gigabytes) per cell. And with 37 trillion cells (3.72e13) in a human body, that’s 3.72e13 cells * 1.5e9 bytes per cell which is 5.58e22 bytes per person or 55 zettabytes. This seems like a more reasonable number.
Recalbox – Open-Source Retrogaming Console Using a Raspberry Pi
I've never personally owned an automatic. Every single car I've ever bought has been a stick shift, 5- and 6-speed. I'm not sure it's made me any safer of a driver, to be honest, but damn, for a long haul driver like me it's a lot more fun.
Actually http://lacasadecarlota.com/ only hires peolple with some kind of autism. They are doing it from Medellin, Colombia and are one of the big players in the creative industry here.
I was just trying to find _koreader_ on the Play Store, but am not having much luck. What's the actual name, please?
> Pretty much every initial technological advancement in human history was likely driven by an irrational thought completely unrelated to what would be achieved in the end before the scientific method was developed.

This strikes me as highly unlikely, considering how recently the scientific method was formalized.

It's hard to imagine, for example, that the Babylonians' or Egyptians' use of the Pythagorean theorem[1] was irrational, even though it undoubtedly had mystical and religious overtones to it. (The idea of separating science and religion as such is a relatively modern invention. The medievals called theology "queen of the sciences," for example,[2] perhaps due to their belief that rational study of the universe required a rational cause of the universe.)

[1]: https://en.wikipedia.org/wiki/Pythagorean_theorem#History

[2]: https://en.wikipedia.org/wiki/Theology#As_an_academic_discip...
As someone who does most of their professional development in Python, I’ve been eagerly waiting for something like Mypy, but my experience with it has been really disappointing and frustrating compared to languages like Go. Mypy mostly seems immature, buggy, and completely unergonomic (typing support was shoehorned into the syntax so most things chafe—declaring a type variable or a callable that takes args and kwargs). Python needs a better static typing story in order to be a productive language in medium-to-large-sized projects.
>This idea of having a second treatment to smooth out the fine-grained texture to dimples came about by an accident.

From penicillin to vulcanized rubber to frosted glass. The crucial moment for so many inventions and discoveries was accident. But I remind myself that in nearly all cases a dedicated professional working diligently, iteratively for long periods of time is the perfect person to a) notice the accident in the first place and b) realize it’s significance and put it to use.
I misspelled pharmaceutical, which was part of the company name, and also appeared on the splash screen of the power builder application. Was not noticed by anyone before several cases of floppy disks were delivered to us. The App required a dozen floppies or so per set... so we had a lot of 'spares' laying around. My personal cone of shame.
Why you believe you should stop other people from sharing something?
NYC is far better for housing than California. In New York you can get an apartment in Jackson Heights for $200k and take the F train to work.

https://www.redfin.com/NY/Corona/112-50-Northern-Blvd-11368/...

In the Bay Area it's expensive near job centers but it's still expensive 40 miles away.

California's problem is property taxes. Tax people fairly - not based on the time they joined the class of property owners - and our problems go away.
From Google's Shell Style Guide[1]:

"If you are writing a script that is more than 100 lines long, you should probably be writing it in Python instead. Bear in mind that scripts grow. Rewrite your script in another language early to avoid a time-consuming rewrite at a later date."

[1] https://google.github.io/styleguide/shell.xml
A csirkéket lelövik, ugye? – A fajok eredete – ArtNews.hu
Honestly, while it isn't a feature that's unique to iTerm2 by any means, I just appreciate how easy it is to theme the colors and appearance. I used Arch Linux for many years before moving to Mac OS and messing around with urxvt configuration files if I wanted full 256 color or font support was somewhat tedious. It's nice to just have something that's easy to setup and always works and looks the way I want given I'm looking at my terminal for 75% of my day.
GoFundMe CEO Says His Site Has Revealed Problems with US Healthcare
Wouldn't pretty much all of that overhead compared to TCP vanish if QUIC was implemented in the kernel?
The quantity of bullshit is increasing, unfortunately. Replication still represents only a tiny proportion of research. We're making new bullshit faster than we're finding old bullshit.
Those bugs are all extension bugs. The built-in option to "clear data on exit" that Firefox has in about:preferences seems not affected by them. Although of course they should be fixed.
/offtopic

Good folks at fastly, I hope you're reading... I've been waiting very patiently for part 3 of this series for a good part of 2yrs now: https://www.fastly.com/blog/building-and-scaling-fastly-netw...
Is one programming language more secure than the rest?
There is typeshed for stubbing libraries that don’t have their own annotations, but there are still several popular libraries that can’t be annotated—like SQLAlchemy or boto—because they generate their own types at runtime.
I am a heavy TeX user and great fan of TeX, just Knuth's TeX with just his Plain.tex macro package, just as in his The TeXBook. Great fan.

No, I don't use LaTeX -- (a) I would no longer know how to write macros, (b) there is more to learn, (c) there is much more documentation to read, and (d) IMHO the LaTeX documentation is not written nearly as well as Knuth's The TeXBook. So, net, I don't use LaTeX.

Sorry, guys, there's no law saying I should get to TeX with a graphical user interface (GUI) with "what you see is what you get".

In fact, one of the things I like most about TeX is that I don't have to use a GUI. Instead, I type into TeX the same way I type as much of my writing as I can, into my favorite programmable text editor KEdit for which I have 200+ macros, many to help with typing TeX.

I'm happy as a clam. KEdit's functionality with my macros lets me get my work done with blinding speed, much faster than with any GUI which is "what you see is all you've got" and direct manual manipulation with no hope of automation -- bummer.

If I had to use TeX only via a GUI, I'd scream bloody murder loudly enough to blow off the roof of my house and the other houses in the neighborhood.

To each his own. A good GUI for TeX could be a lot of work. Sorry, guys, I just want to type into KEdit.
There were a lot of articles in 2015 about something similar for "fake relationships":

> When you sign up for the service, you can design a boyfriend (or girlfriend) to your specifications — kind of like picking the genes for a designer baby, except for an imaginary adult. You pick his name, his age, his interests and personality traits. You tell the app if you prefer blonds or brunettes, tall guys or short, guys who like theater or guys who watch sports. Then you swipe your credit card — $25 per month, cha-ching! — and the imaginary man of your dreams starts texting you.

-- https://www.washingtonpost.com/news/the-intersect/wp/2015/01...
Nix is not "your own dependency management system"
What resolution did you use to capture? What deinterlacing algorithm did you use to process the footage? Did you run the VCRs output through a quality TBC?

If the answers to those questions are "I don't know" or "I don't care", then you got it wrong. If you ended up with a 29.97fps or 30fps file, or if you ended up with a 320x240 (or 352x240) file, then you got it wrong.
Then there are things like sensatory feelings ... on your hands. Which can be different from a touchscreen..
I tried the same thing a year or so ago and there were a few items that brought me back to iTerm2. They’re going to seem super minor, but I use them often enough that it made a difference.

Text selection is better and customizable. Makes it easier to select things like up addresses with a double click.

Hotkey window is just too damn convenient. I end up using it all the time when I just need to execute one-off commands.

It’s gonna sound super minor, but
I think this is 1) untrue and 2) an extremely hazardous belief. If you try and reward altruistic behaviour, you corrupt it. Altruism becomes indistinguishable from self-interest, and it becomes impossible to trust anyone.

China, by the way, is in a fairly horrifying state as far as altruism between strangers goes. I wouldn't look towards it as a model.

https://www.lowyinstitute.org/the-interpreter/why-altruism-r...
Doesn't seem as if total entropy is increasing, simply rebalancing to the other side (which is still kind of interesting, like a wave in a pool).
In Europe, almost everyone learns to drive manual. Manual is awesome. But, when driving long distances or in heavy traffic, nothing beats automatic. Especcially in stop&go traffic. Heavy stop&go can be really draining on your left leg.
Nevertheless, manual is awesome, nothing gives so much fun and feeling of being in control as manual gearbox.