skysight-inc/HackerNews huggingface dataset:
The SQLite project seems to have an alternative view: https://www.sqlite.org/testing.html

A lot of us would consider SQLite to be high quality and relatively bug-free. The extensive test suite they've built up that exercises each release is a huge reason for it.

Of test code quantity, Coplien writes:

>If your coders have more lines of unit tests than of code, it probably means one of several things. They may be paranoid about correctness; paranoia drives out the clear thinking and innovation that bode for high quality.

> - Keep regression tests around for up to a year

> - Throw away tests that haven’t failed in a year.

SQLite appears to keep their tests. Somebody files a bug; SQLite writes a test that reproduces that bug; the test code remains long after the bug is fixed. This prevents the bug from reappearing. (Isn't that the main purpose of "regression" in the phrase "regression test"?)

I also think it's better to keep relevant regression tests for years. E.g. Consider that there's piece of code that's been working correctly for 5 years with 5 years of passing regression tests . Imagine a new programmer wants to rewrite the code to optimize it for speed and reduced memory usage. I think we'd feel much more confidient if the new code passes those same regression tests that were accumulated over 5 years.

As for test code size ratio... A lot of good comprehensive tests will have LOC outnumbering the actual code being tested. This is especially true for library code that's used in many places up the stack. I wrote string parsing routines and a reverse Boyer-Moore search routine where the test code (test edge cases, test nulls, test string sizes at 2^32 boundaries, etc) was 10 times larger than the actual code.

Of testing's utility, Coplien writes:

- Testing can’t replace good development
- [...] Tests don’t improve quality: developers do

... which looks like a strawman and a false dichotomy. Can anyone cite a credible development philosophy that believes testing can replace bad developers or bad process?

We could say that about <ANYTECHNOLOGY> such that <ANYTECHNOLOGY> can't replace quality developers. Garbage Collection doesn't improve quality, developers do. Array boundary checking doesn't improve quality, developers do. And so on.

Or maybe there's a difference in terminology? I wonder if Coplien considers SQLite testing "system test" or a "unit test"? Does he consider SQLite "white box testing" or "black box testing"?
There are dimensions to genius.

Seeing a common subject, a set of boundaries, a possible (even if incorrect) set of guiding principles, can be genius. If it inspires further exploration or refinement or even rejection of ideas, it's a productive step.

Einstein railed against QM, Newton believed in alchemy, Kelvin though the Earth was 30 million years old, the list of people opposed to continental drift / plate techtonics is vast (see Naomi Oreskes several papers and books on the history of the development of that subject), Samuel Morse had what would now be dispicable views on race and religion, Ford was an anti-semite, Crick and/or Watson have their own failings, etc., etc., etc.

Much of genius is being able to jump out of and beyond the present dominant paradigm and mental models. It's not about being right but of being less wrong. Than that which came before, not after.
The Paracraft '3D movie maker' and NPL in general are interesting. Paracraft is like Minecraft in a way.
There are some screenshots of MS Visual Studio for debugging and editing, and it mentions that the NPL runtime can also run on top of Mono/C#.
There's a screenshot of The Haqi Magic MMORPG which has over 5 million registered users in China online since November 2009 according to the site.
There is substantial development history, apps, cross platform (PC, Android and iOS) per http://www.paracraft.cn/. I'll have to spend some time looking at this over the weekend for game dev.
For those using something like uMatrix, it seems the site's JavaScript crashes if you don't load Stripe's JavaScript too. Enabling that makes the site render.
After 91 Years, New York Will Let Its People Boogie
Phones not made by Apple are easy enough to fix.

Just replaced the screen on my Mi Mix for about $100 plus an hour or so of my personal time.
I zuum in, which is faster
Pretty much on point.

Apparently US is involved to fix relations with Saudis after the nuclear deal with Iran.

> The United States is selling the Saudi monarchy missiles and warplanes, assisting in the coalition’s targeting selection for aerial bombings and actively providing midair refueling for Saudi and United Arab Emirates jets that conduct indiscriminate airstrikes — the leading cause of civilian casualties. Meanwhile, the Saudi coalition is starving millions of Yemenis as a grotesque tactic of war.

via https://www.nytimes.com/2017/10/10/opinion/yemen-war-unconst...
I have to agree on this. I have yet to find an email client that works as elegantly as Inbox (which is obviously Gmail-exlusive).

I have been considering migrating away from Gmail, but it is a bit daunting, mostly due to all of the logins I will need to update (if that is even possible) and because I would have to go back to manual sorting and categorizing.
BAM! You've been Buzzfed!
Command-Line Title Case Utility Written in Rust
Most of those feelings are pretty common if you smoke too much pot.

I have a very low tolerance for it and while I had a few good times with it, I had what you describe happen more often than not.

But the feeling you have while on drugs generally goes away when you’re not on them. I wouldn’t assume that because taking a drug gives you a feeling that approximates a psychological problem that it would necessarily be a cause of that psychological problem beyond the time you were intoxicated.
The Gambling Habits of Women
How does this compare to Brython (http://brython.info/), apart from missing the Python 3 support? Are there any custom bindings to the browser API?
Maybe they just don't like the casting of aspersions made with no evidence, like yours, to people you've obviously never met.
Yep a bit closed minded. :)

Have a look at Project Oberon, Mesa/Cedar at Xerox PARC, Modula-3 at DEC/Olivetti, Singularity/Midori at Microsoft

https://en.wikipedia.org/wiki/Oberon_(operating_system)

http://www.ocp.inf.ethz.ch/wiki/Documentation/Front

https://en.wikipedia.org/wiki/SPIN_(operating_system)

https://archive.org/details/bitsavers_xeroxparcteCedarProgra...

http://joeduffyblog.com/2015/11/03/blogging-about-midori/

https://www.infoq.com/presentations/csharp-systems-programmi...

All of them produced workable graphical workstations that were used for a couple of years until the projects were shutdown for political/monetary reasons.

Oberon GUI is the genesis how Plan 9/Inferno GUIs work, specially the ACME text editor.

For something with more constraints, Real-Time Java implementations are powering battleship weapons tracking systems, here two examples

http://www.military.com/equipment/aegis-weapon-system

http://www.marketwired.com/press-release/ibm-raytheon-delive...

Having said this, of course there are environments where not having a GC at all is a better approach for the use case being solved.

What many in the anti-GC crowd don't realise it that these GC enabled systems languages also allow to switch off the GC on critical code sections, or make use of manual memory management in unsafe code.

So it it not necessary to throw away the productivity to get the full benefit of performance, if the language offers the necessary knobs.
Thought this article looked familiar. Dan please add dates to your blog posts, Admin please add 2016 to the title.
We developed a continuous scalability testing technology that lets you meet the concurrency and throughput requirements of your microservices build, before they ship to production.

Our community uses this information to reduce the waste at the software, middleware and AWS level. e.g. configure Auto Scaling groups to scale upon reaching a custom ELB Target Trigger equal to your measured concurrency.

I wrote an article about this specific ELB use case a couple weeks ago, at https://medium.com/@stacktical/how-to-lose-money-with-the-ne...

Maybe it can give you some ideas.
Message me. I'm looking for other finance refugees to do tech things with.
Sort of kind of, and in that analogy Gulp/Grunt would be equivalent to `make`. But unlike a typical linker, Webpack can invoke 'compilers' itself for the code it's bundling/linking - which is where the confusion around this topic comes from.
I used to do -and still do- a lot of work with AVRs for hobby projects. I find them an awesome piece of technology, allowing you to start working on something with only a breadboard and a couple of wires, in contrast with ARM based ucs where the basic setup is not simple at all.

However, in the last years, following the Atmel acquisition by Microchip, the price rise on suppliers like Mouser started to make them look unattractive. But I still prefer the 8 bits ;-)
>That is, the only specification for how the system should work is how it worked yesterday. In that case, unit tests serve as a great specification.

Unit tests are better than nothing, but integration tests usually serve as a better specification still.

Unit tests are ok at specifying low level side-effect-less modules though.
It'll be fun to refactor a codebase without unit tests </sarcasm>
Using Typed Racket adds 7+ MiB to the binary.
It is hard to imagine that a proof-assistant will be used as a tool for checking smart-contract correctness due to a lack of sufficiently trained personal. What this BC community is really need is a suitable programming language which will be tailored for functional correctness and expressiveness.
Unfortunately, the Simplicity language addresses only the first half, and it is not sufficient for practical success IMO.
At University I used to do lighting design for theatre (still do occasionally). I put lighting design in the same category as good typography, and the difference between 100ms and 300ms page load time.

After most shows, 90% of the audience couldn't tell you anything about the lighting, but good lighting absolutely lends to the overall experience. The right use of colours and angles in a scene can really add to both the immersion (in the sense that you believe in the setting) and the mood (in the sense that it adds to the tone of the scene).

We have data on fast page load times - we know that it makes people more likely to use certain kinds of site. They won't know why though. I am pretty sure that the same is true with font rendering, kerning etc.. Done right it makes for a pleasant reading experience, done wrong (or inconsistently) an unpleasant one, and most people wouldn't be able to say why.
You can indeed, but it makes you duplicate every implementation with its associated interface.

As for this kind of relationship, i'd say it's fairly widespread. One proof is that even relationnal DB such as postgresql added table inheritance.
The author lives in Germany, where the word has the same meaning. Pretty sure it is intentional.
This is bizarre.
OONI – Writing a modern cross-platform desktop app
I wanted Amazon to remake car rental after standing in line at a car rental place for 1.5 hours in for a Convertible I'd booked to go to Coachella, and then being told that they'd given it away to the people right in front of us because we were 'late' (WTF we were in line for 1.5 hours).

Fuck car rental companies.
My guess is it can be managed by something similar to the concept of critical sections. That is, GC is disabled in the critical sections and is only enabled explicitly by the programmer. That's like how the pauses caused by hardware interrupts are prevented in kernel/driver programming. After all, you won't like heap allocation/deallocation in the hot-path no matter what language is used, be it GCed or not.
I agree about the definition of embedded. My personal definition is "doesn't have an MMU".
A Solutions Oriented Digital Asset Management Software Company
The article addresses your first point in a big section:

1.4 The Belief that Tests are Smarter than Code
Telegraphs Latent Fear or a Bad Process

Your other point about only good programmers not needing unit tests is moot as you haven't followed it through to the conclusion. Namely, if bad programmers write bad code that needs unit tests, they're also going to write bad unit tests that don't test the code correctly. So what's the point?
Downvote me all you like. I never said it was a bad product. But as Bram says "Over 2.5 years". This isn't new. Therefore not news, therefore shouldn't be at the top of Hacker [New]s.
TensorFlow (GPU) Setup on AWS for Developers
Apple reportedly looking to ditch Qualcomm components
> If it was that easy, it would have been done.

Part 2: business model problems!

- getting money into the system is plagued by usual fraud problems of card TX for pure digital goods

- nobody wants to build a federated system; everyone wants to build a Play/Apple/Steam store where they take 30%

- winner-take-all effects are strong

- Play store et al already exist, why not use that?

- Free substitute goods are just a click away

- Consumers will pirate anything no matter how cheap the original is

- No real consumer demand for micropayments

=> lemma from previous 3 items: market for online goods is efficient enough to drive all marginal prices to zero

- existing problem of the play store letting your kid spend all the money

- friction: it would be great if you didn't have to repeatedly approve things, such as a micropayment for every page of a webcomic archive. But blanket approval lets bad actors drain the jar or inattentive users waste it and then feel conned

- first most obvious model for making this work is porn, which is inevitably blacklisted by the payment processors, has a worse environment for fraud/chargebacks, and is toxic to VCs (see Patreon and even Craigslist)

- Internet has actually killed previously working micropayment systems such as Minitel, paid ringtones (anyone remember the dark era of Crazy Frog?); surviving ones like premium SMS and phone have a scammy, seedy feel.

- accounting requirements: do you have to pay VAT on that micropayment? do you have to declare it? Is it a federal offence to sell something to an Iranian or North Korean for one cent?

Previously on HN: https://news.ycombinator.com/item?id=630862 Slashdot (2003): https://news.slashdot.org/story/03/07/22/138257/whatever-hap... HBR: https://hbr.org/2010/02/why-i-hate-micropayments.html
You Are Being Tracked, Evaluated and Sold: An Analysis of Digital Inequalities [pdf]
Agree, for learning and that feeling of knowing more or less exactly what is going on, uc's like AVR, STM8, or MSP430 are hard to beat. It's comparatively simple to do things, and almost everything is just a couple of register settings away.
The Fastest way for Designers to get Feedback from team mates and users
Why cross-functional teams fail? How solver-teams sail
It's more the batshit crazy idea behind it. If you want to play the game you have two choices:

1. Pay for the game to support the creation of more games. This path will include invasive DRM that either causes performance problems, damages your hardware, or disallows you from playing the game you paid for, for instance when you're not connected to the internet.

2. Pirate the game, play it how you want.

That they punish the users who do the right thing and reward those who do not is crazy to me. That it has continued for so long without a collective wakeup call that you should not punish the people who give you money and play by the rules is mindboggling.
Only if the tests and business code are not written by the same engineer.
GREETINGS EVERYONE, are you looking for a LEGIT and Trustworthy HACKERS with 100% Guarantee and you want to get your job done urgently withing one Hour or you are face with delay and unnecessary excuses and error on your job?. Then Worry no more because easyhackingguru@gmail.com are the Best Bet in any hacking Services. They are ready to render and attend to your job with swift response and No delay at all.
Their services are outlined as follows:
. LONG TIME LOAN GIVING
. PROFESSIONAL in SCHOOL GRADE hanging
. WHATSAPP Hack
. FACBOOK hack
. PROFESSIONAL in any BANK ACCOUNTS TRANSFER
. TWITTERS hack
. EMAIL,YAHOOMAIL and HOTMAIL ACCOUNTS hack
. WEBSITE CRASHED hack
. SERVER CRASHED hack
. SALES OF SPYWARE and KEYLOGGER SOFTWARE
. RETRIVAL OF LOST FILES and DOCUMENTS
. ERASE and EXPUNGE of CRIMINAL RECORDS
. DATABASE hack
. SALES of ATM CARDS in WHITE
. SKYPE hack
. PAYPAL hack
. DROPBOX ACCOUNT hack and Lots more..........
CONTACT: their services at easyhackingguru@gmail.com and you will be glad you did
whatsApp contact- +12182085613
>Freud was a misogyn and a drug addict, and he proposed a lot of theories that leave modern people scratching their heads.

All three are totally orthogonal to someone being a genius -- and at least the second is a very puritan concern to level at someone regarding their contributions to science/culture/etc.

>Eg he attributed almost all mental problems to sexuality

And a heck of a lot (of the soft kind, not physiological issues) can be attributed there -- especially since the only real mechanism behind humanity's (and any animals) continued existence, and the closest thing to an "end purpose" for any individual, is reproduction.

>coined the ridiculous Oedipus complex

Nothing ridiculous about it -- and it was not for some irrelevant chance that those kind of relationships and dynamics were studied and concerned civilizations for millennia (including, but not limited nor starting from, the ancient Greek play on Oedipus).
All 1xx responses are supposed to be sent like this - though "all" doesn't mean much as I think only two (100, 101) are defined in HTTP. Other derived protocols (e.g. WEBDAV) have additional ones though.

Also the exchange seems to be subtly different for each of them:

100 Continue:
Client sends start of request, server sends 100, client sends rest of request.

101 Switching Protocols:
Client sends request, server sends 101, client sends non-http request.

103 Early Hints:
Client sends request, server sends 103, server sends response.
Facebook could mint BitCoins in the browser with JavaScript and your GPU
One of the unintended consequences of Apple switching to face authentication, is that the more companies will try to copy it and "get good at face scanning", the more this type of technology will advance and become commoditized.

Within 5 years face scanning tech will probably be able to identify faces with 99% accuracy (with moderate inference hardware, which should also become commoditized by then, especially as powerful neural network engines make their way into hundreds of millions of smartphones, thus drastically reducing their cost).
I have a four year old gaming rig with minimal upgrades, i5-2600K, 24gb of RAM, GTX 760 iirc. I bet it will run like dogshite on my setup. YouTube streamers need to have decent machines in order to stream and play, so they may just have machines that are a lot more capable than the game itself can overcome
This has already been discussed to death, on 3 occasions:

https://news.ycombinator.com/item?id=7353767 (268 comments)

https://news.ycombinator.com/item?id=11799272 (280 comments)

https://news.ycombinator.com/item?id=13815779 ("only" 24 comments)
As opposed to jeans and t-shirts?
The UK British Psychological Society recently released an update to their Understanding Psychosis and Schizophrenia report.

People may be interested in it. http://www.bps.org.uk/networks-and-communities/member-micros...

It's had some criticism: it includes a bunch of people who probably aren't psychotic (auditory hallucinations are common, and not always a sign of illness, for example), and it appears to exclude a bunch of people who have severe forms of illness.

Here are two blog posts that give a thorough, evidence based, review:

https://www.nationalelfservice.net/publication-types/report/...

https://www.nationalelfservice.net/mental-health/psychosis/u...
As a customer I would prefer a live demo. Usually a video demo, unless it has to be video (time-lapse etc) will not get my attention and I will ignore it. No way I'm buying something without a live demo.
Looks handy. I like the 24hr cap. Follows the lean principles. Nice
It wasn't so much to make proofs rigorous, as to determine whether or not there would always exist "true" statements which could not be proved. Hilbert had already proposed a set axioms for second-order arithmetic - he just didn't know whether they were both complete and consistent.
Thank your for the detailed answer - that was the sort of information I was interested in.
You should force non-paying customers to refer a friend or to share the page with a SEO optimized title on their facebook/twitter profile. But you shouldn't remove the skip payment option until you have a big user base.
I think it's mostly a difference in approach. Brython sets out to "replace Javascript with Python" as the language of scripting the Web. This means it has custom bindings to the browser API, supports writing Brython in <script> tags, uses slightly funky/un-Pythonic operators to do DOM manipulation, etc. Brython code can't block, to my knowledge (although the Python 3 async stuff makes that constraint much less painful these days).

Skulpt is "a Python implementation in JS". It doesn't have built-in DOM bindings - it's typically used within a project like Anvil or Trinket which provides higher-level (and therefore more Pythonic) modules for display/input/IO. Skulpt code can block, which also helps keep those APIs simple.

I guess my summary would be that Brython is great for scripting your HTML in Python rather than Javascript, but Skulpt is best for providing a Python runtime in your app. Does that make sense?
(Of course, you'd have to ask a Brython developer for their take on it ;) )
Lot of streamers use dual PC setup to lower the CPU stress.

I watched a streamer with a single PC setup (playing + gaming on the same PC) and he had insane frame drops on a quite decent PC (i7-4790K + GTX 1080)
I don't see "they won't sell it to me at a price I like" as justification for pirating it yourself as if it's somehow deserved. I would much prefer people use an argument not based on whether or not the cost means you should be allowed to have it or not.
Except all of those companies put an unreasonable amount of weight on degrees. Good luck getting Google to talk to you if you didn't graduate a top collage, let alone not having a degree.
It can also be integrated, and can be used as the basis for doing Fourier transforms. Completely useless as far as I've researched, but curious nonetheless. Here's an example paper: https://arxiv.org/abs/1502.07734
Also, there's a followup by Coplien which has not been discussed: https://rbcs-us.com/documents/Segue.pdf

So maybe this document should be the focus of the discussion now.
Here is the post by the cracker

https://image.prntscr.com/image/_6qmeqq0RBCMIAtGK8VnRw.png

https://np.reddit.com/r/CrackWatch/comments/79pd62/update_on...
It's possible that people gravitate towards different drugs in a way that makes the users of any given drug a non-representative sample.

If I use myself as example. I don't use any psychedelics because I'm completely satisfied with my level of creativity. As a result it's possible that we completely lack data on how psychedelics mingle with naturally high creativity.

I also don't use weed, because it just simply makes me uncomfortable. That could be my brain protecting me from weed, as I may have strong tendency to go completely insane with prolonged use.

Those are just anecdotal speculations to illustrate a point. I'm not really claiming that they are any sort of facts.
Show HN: Electrafeed – Electric Decentralization Spectator