skysight-inc/HackerNews huggingface dataset:
Yes! That's the reason we created the Call of Writing app [0]. You can set timer ranging from 1 minute to 60 minutes or 75 words to 1500 words. You can't pause until the end. It's much like (and inspired) the Most Dangerous Writing App. It's available on Web [0], iOS [1] and Android [2].

[0] https://callofwriting.com/

[1] https://play.google.com/store/apps/details?id=com.streetwrit...

[2] https://apps.apple.com/app/id1536533658

Pardon any bugs though. It's not the most tested app in the world.
YAML of course. /s
The extra money goes into marketing to tell you that they are the best vendor.

The hardware design and manufacture is outsourced to different vendors, in this case to Foxconn.
See here: http://en.techinfodepot.shoutwiki.com/wiki/Netgear_R7000

The software engineering is probably also outsourced mostly.
I've watched that extension's development since it was little more than one smart guy's wish list. I don't think its fair to say that they copied any one architecture. The authors have put in a ton of time researching the tradeoffs and investigating the trade space over the years.

That said, until it gets ratified by the consortium and implemented in silicon its still just a (well-researched) wishlist.
Worked for me.

Updating to version 2020.11.01.1 ...
Updated youtube-dl. Restart youtube-dl to use the new version.
Most modern mathematicians don't work with foundations but it was a hot topic at the beginning of the 20th century. Most mathematicians today wouldn't even be able to tell you when they are using the axiom of replacement, an important but technical piece of ZFC. Before the work on foundations mathematicians frequently relied on intuition to explain their ideas. The point of mathematical precision is to be able to transmit mathematical ideas with fidelity to other mathematicians; common intuitions are important for that even today.

However, it is frequently the case that mathematical intuition breaks down and paradoxical ideas need to be reckoned with. One historical example is Weierstrass's "monster": a function that is everywhere continuous but nowhere differentiable. The intuition at the time was that a continuous function could only fail to be smooth at a set of isolated points, a very tame set. It is no coincidence that he came up with this example in a period when his school was trying to recast calculus on more rigorous footing.

As for the motivation for founding mathematics on formal systems, it's because set theory is so useful for writing down mathematical ideas but naive set theory is plagued with contraditions, such Russel's paradox. Common language, too, is afflicted with contradictions such as Richard's paradox. The question was how to separate the wheat from the chaff so one does good mathematics and not nonsense. Influential mathematicians like Hilbert set out programs to establish set theory and arithmetic on a sound footing so that its use would not be held suspect. This required a more thorough mathematical development of logic as started by Boole, Frege, and others (my recollection of the precise history of these ideas is vague at this point).

So concurrently we saw the mathematization of logic, arithmetic, and language and the establishment of a reasonable set theory that did not give rise to antinomies. None of the answers were entirely satisfactory but they were good enough that common mathematical activity could continue without too much doubt. When there are questions of precision, one tries to fall back on the informal mathematical language of sets which is commonly presumed to be formalizable in systems such as ZFC.

A lot of development since then in formal mathematical systems has to do with the study of computation and the mechanization of mathematical reasoning.
Good thing I don't have a persistent Google account.
Yes, there is cleaner energy. For example, natural gas is cleaner than coal, and nuclear is cleaner than biomass.

See Table 2.
Yes I believe that is correct. The opposition is mostly political in nature.

Also, only Tamil has a non-Sanskrit origin and is completely different. Other South Indian languages do have Sanskrit origin/influence.

Which is possibly why Tamil Nadu is the most anti-Hindi state.
>But Vind said one feature particularly stood out: "Being able to just jump on an empty voice chat, basically telling people, 'Hey, I'm here, do you want to join and talk?'"

Can anyone explain how that is different than, say, Mumble?
The Trade-Offs of TDD
It means dynamically-sized stack allocations, e.g. `alloca`.
Pls consider submitting the link above as a standalone HN item, it’s great
For a fantastic intro to the basics and purpose of TLA+, I'd strongly recommend Scott Wlaschin's [1] talk from NDC Oslo this year. Like other academic-seeming subjects, Scott does a great job of applying it to real-world programming.

That said, the answer to your exact question is that it doesn't validate the C++, it validates the algorithm. It's your job to ensure the C++ implements the algorithm as validated!

[1]: https://www.youtube.com/watch?v=tqwcz-Yt9gQ
I wonder if we could get Barbara's lawyers to C&D any articles mentioning the Streisand effect.
Discord originally sold itself as an alternative to Mumble. We've tried Mumble during lockdown and the comparison was heavily in favour of Discord, it's simply much better.
That's why I miss QNX. Tiny microkernel, yet the system can do almost all of POSIX. Driver are in user space. File systems are in user space. Networking is in user space. It's used widely for embedded applications, especially automotive, but since Blackberry took over and locked it down, access is expensive. Blackberry also killed off the QNX desktop environment and self-hosting. You used to build QNX on QNX.

L4 is even smaller, but too small. You have to run another OS on top of L4 to get anything done. QNX can run ordinary application programs. At one point there was a version of Firefox for QNX, and all of the GNU command line tools worked.
How to create a webscraping Twitter bot in Python
From purely a programming perspective: Have they not heard of enums?
Very much agree with this. Taking a pause from writing to deal with personal life or any other issues doesn't mean you are not a good enough writer. We are all human. We all need a pause.

This goes for all kinds of profession. Health before wealth (or passion), I say.
Worth pointing out that the bug is still present in latest glibcs (I can reproduce it on Fedora 33), and affects programs that use pthread_cond_signal, in particular language runtimes like OCaml, Python and .NET that have a global runtime lock.

Bugreports:

* Fedora: https://bugzilla.redhat.com/show_bug.cgi?id=1889892

* Ubuntu: https://bugs.launchpad.net/ubuntu/+source/glibc/+bug/1899800

Also see https://github.com/mratsim/weave/pull/58/files
You don't need a DNS based solution, you can just use the "AdGuard" app, which will block ads in Safari.

However, neither Adguard nor DNS based blocking will block ads in the iOS Youtube App.
It says those with views most liberal, by which they mean left-wing, are the only ones who feel it's safe to express their opinions.
After reading those paragraphs I'd be inclined to just pirate the damn thing. It's very confusing. I can't tell if you actually get a license if you order from that random lady or if it's just replacement disks. There's a long section afterward about how to obtain a license key and it's basically "scour the used market and pray that you don't get scammed".
Well, this is not terribly surprising, considering TypeScript's origins in Microsoft. Not adding full IDE support for their core languages (.NET) to VS Code is understandable as well, though - the company does not want to jeopardize sales of Visual Studio, their commercial true IDE. In any case, you could argue that VC Code has IDE-level functionality for TypeScript, but I still stand by my general argument.
True. That's a good clarification to make
The First University in VR
Omniversity was created as a joint venture of artists, educators and technologists, to offer the long-awaited possibility for learners to study what/when/with whom they wish, achieving a balance between highly personalized learning and collaborative practices.
You need to tune the buffers on both the sender and the receiver, as well as choose a codec with low latency. It takes some work, but you should be able to get it below a second without too much trouble.
What frustrates me most about this whole event is that covid 19 deaths can never accurate, per CDC guidance.

“In cases where a definite diagnosis of COVID–19 cannot be made, but it is suspected or likely (e.g., the circumstances are compelling within a reasonable degree of certainty), it is acceptable to report COVID–19 on a death certificate as “probable” or “presumed.” In these instances, certifiers should use their best clinical judgement in determining if a COVID–19 infection was likely. However, please note that testing for COVID–19 should be conducted whenever possible.” [0]

What this means to me is that the number of CV19 deaths - while tragic - can easily be exacerbated into a political weapon while distracting us from other issues.

I wish everyone would just wear a mask. A jacket doesn’t prevent you from freezing, but every little bit helps.

[0] https://www.cdc.gov/nchs/data/nvss/vsrg/vsrg03-508.pdf
I was just looking into how hard it would be to build a Twitch clone, given that Twitch is declaring war on it's viewers by forcing unblockable pre-roll ads.

Many people including me have just stopped watching Twitch because of the new ads, but I'd love to help build a movement towards a no-advertising-ever streaming site.

If we can bring the cost of streaming the video content down I think it's doable.
For businesses, the price of growth need to be predictable.

Adopting any new technology takes time and effort, which translates to invested money that need to make sense in the long run.
Hockey? Really?

I would surely have guessed Cricket.
There were no such links in the documentation. Rather, various youtube partners like VEVO have special encoding schemes and the youtube-dl test suite includes tests for handling these schemes. Because the different styles are only used on partner content it isn't possible for those specific test case to use a CC-BY(-SA) work. Moreover, the test cases only download under 1 second of video and don't even store it.

AFAICT all the documentation examples are test videos uploaded by the youtube-dl authors themselves and ones by the Linux Foundation.

The complaint submitted to github was not a DMCA takedown (17 U.S. Code § 512), though it was superficially formatted like one. It was a complaint regarding 17 U.S. Code § 1201 anti-circumvention. There is no counter-claim (or takedown, for that matter) provision in that law because there is no safe harbor.

Moreover, your description of a §512 takedown is simply incorrect. Github is not obligated to take down a work when they receive a well formed DMCA notice: rather, they obtain an immunity from lawsuit for that particular infringement if they follow the procedure. In cases where there is transparently no infringement that immunity isn't worth much. In all cases it's simply a business decision to accept the liability or not vs the interruption in customer relationships, distrust, and loss of goodwill that can result from cutting off a user... no different than the decision to take on liability in any other business activity.

Maybe try avoiding such strong language when you haven't personally researched the subject in great detail?
He's talking about variable length arrays, which would be an unsized type in Rust and thus can't be stack allocated. For example, the following is valid C99:

`void foo(int n) { int values[n]; }`

I don't know that that's a bad thing. AFAIK the implementation details are underspecified even in C and compilers kind of do whatever they want (i.e. I've seen some embedded compilers that monomorphize it in multiples of 2 up to a limit and just hope the user doesn't exhaust the stack).

Edit: I'm pretty sure you can create a hacky version using iterators and a recursive function: `fn vla<T>(iter: impl Iter<Item=T>, init: T, index: usize, count: usize) { ... }`

Edit2: Actually he's talking about `alloca` which is a whole other "here be dragons" feature. See the reddit thread steveklabnik linked for some of the pitfalls
Safari has been holding the web back for years on features that make the web competitive with Apple's app ecosystem. I don't believe the distinction of "rejecting" vs being slow has merit.

https://caniuse.com/push-api
https://caniuse.com/mediasource
C can’t do that. But imperative programming can. Nothing about type based pattern matching is constrained to FP.
Hey thanks for pointing out. We should probably be more specific w.r.t numbers. The bandwidth savings depend on the number of concurrent users.

As more users watch a single stream concurrently the savings increase proportionately. We have seen max bandwidth savings of up-to 90% in live streaming scenario with 100 users concurrently watching the stream.
I am listening to Winamp, through a clone of XP, running in React

Whomever you are, lordamercy I would love to meet you
That's actually a very popular view in the general population. All those features you list as risky have hardware switches on pine phone. Do you actually think iOS and android are so secure that you'd never need to restrict any access to your data with a hardware switch? What about when your data inevitably gets sold by those companies? Is it still secure then? That said using pine phone is a huge hassle and linux is poor choice for daily phone for UX reasons not security.
The last commit was 3 years ago, so, it did. :)

It would be awesome if somebody wanted to update this with the newer, more ergonomic git commands. (Like `git switch`).
> Incredibly, Black Ops Cold War will cost $59.99 on the PS4 and Xbox One—the same price Call of Duty 2 retailed at in 2005. But on the next-gen consoles, the game will have a higher price point: $69.99.

Better technology makes things cheaper. If it doesn't, that's a problem and we should be asking ourselves why.
Not easier and here is why --- virtually everyone already has a bank account or credit card and is fairly familiar with the fiat money system. There is essentially no learning curve with Stripe.

Not true with bitcoin.
The Remains of the US Airmail Beacon System
I have done this both ways.

The most success I have had with per project pricing is having a discovery phase to actually scope out the work.

There is a decent amount of up-front work, but it really ensures everyone is on the same page.

This is usually a series of 4 meetings, anywhere from 30 minutes to an hour.

From there, I can write a spec/contract, I present that, which is another meeting (I don’t just email it).

Then once they agree, 50% up front, and 50% upon completion.

There is language in the contract that any changes to spec/feature, they require an additional contract and do not change existing work/agreement.

The pain comes from vague specs and everybody has a different interpretation, and the feat of not getting paid until satisfying the vague expectations.

So, just don’t do that.

:)
Can confirm, the "just charge a lot up front for good quality" strategy doesn't work very well. In retrospect it's obvious why, the client will always find other people promising the same results for less. Actually delivering, different story. Having been right doesn't do much for your bottom line, unfortunately.

The only way to maybe make it work is to sell to people who know what they are doing, but that gets dangerously close to the "I could have done that myself easily" territory.
...reducing the taxes on labor...

It does seem that taxing wealth directly rather than distortion-prone measures like income or capital gains could be the best response to the increasingly "gilded" age we're enduring.
It does. You're completely and utterly wrong. You don't understand.

I'll reiterate my example a SQL string is pure. Just like the IO monad is pure. However when you're coding the sql string in your "pure" haskell program you have to account for imperative side effects related to the SQL itself.

sqlString = "UPDATE X SET X.Y=2 WHERE X.Z = 1"

sqlString is technically "pure" but that doesn't mean you can treat the UPDATE command in the string as a pure concept.

It doesn't matter how "pure" your language or sqlString is... the concept of a mutation leaks over into the language and the programmer still has to deal with the concept.

Like you're original post said. The interpretation of the monad is different, and the programmer still needs to account for this in how he composes things together. The concept leaks across boundaries.

edit>>this whole karma thing is unfair. Posters can't vote down responses. I simply state my opinion the person responds then votes me down because he disagrees. What's the point of even having a discussion?
One example of 3 is branching on 32-bit add overflow on a 64-bit cpu where you do a 32-bit add, a 64-bit add, and compare/branch on the result.
It would save money for the streaming platforms since the CDN costs are reduced now and the load is distributed across peers.
"In fact, our recent survey report found that 89% of organizations are running Kubernetes in production or pre-production environments and that 77% of organizations feel that Kubernetes is a central part of their digital transformation strategy."

Self-selection bias? Of course by "organisations" they mean their enterprise clients.

I wonder how prevalent Kubernetes truly is, these press releases make it look like it is everywhere.
JFYI: Unfortunately, Eugen, the author of 7GUIs, has passed away.

R.I.P.

Edit: Source: https://github.com/eugenkiss/7guis/issues/28#issuecomment-51...
Unknown attribution, I've read that a language is a dialect with an army and a navy. Not entirely applicable here though, as there are likely geographic and historical separations at play too.
If you believe in a soul, and if you believe that a single celled organism (SCO) has a soul, then you can indeed delegate decision making to a non-corporeal entity. Not saying that's wrong but I struggle to accept that.
Return to Plan 9
Waking up at 3 a.m.? You have company
What do you use in production? I don't have anything particularly high traffic, but knowing how the third party API barfed would be very useful, rather than just being alerted something went wrong.
The pressure from the device vendors to the SoC vendor to support the kernel version which was initially used for the SoC and fixing bugs and adding new feature is much bigger than the pressure to upgrade to new major kernel versions.

The board manufactures normally do not want to upgrade. I very rarely see that device manufactures are doing a major kernel upgrade when a new SDK with support for a new major kernel is available from the SoC vendor. This only happens when they need new features from the new major kernel which can not easily be backported and a very big customer is requesting this and normally they also need a good internal software engineering department.
I second this, using gst-launch, you can run a gstreamer pipeline in one line in the terminal that generates a hardware h264-encoded stream that you can tune to any bitrate. Something like this:

gst-launch-1.0 rtpbin name=rtpbin rpicamsrc preview=0 bitrate=4000000 do-timestamp=1 ! 'video/x-h264, width=1920, height=1080, framerate=30/1,profile=high' ! h264parse ! rtph264pay config-interval=1 pt=96 ! rtpbin.send_rtp_sink_0 rtpbin.send_rtp_src_0 ! udpsink host=YOUR_IP port=YOUR_PORT rtpbin.send_rtcp_src_0 sync=false async=false

Gstreamer should include rpicamsrc directly nowadays for your convenience.
>Clearly the real numbers are a model for these axioms. But as it turns out the countable set of rational numbers is a model as well.

This wouldn't be correct, it's never the case that the set of rational numbers can satisfy a theory of real numbers, it's more subtle than that.

It's that for any theory of the real numbers, there exist subsets of the real numbers that are countable that satisfy that theory. For example the subset of all computable real numbers will satisfy any theory of real numbers despite it being countable. It's simply not possible to define a first order theory that describes the real numbers as a whole and only the real numbers as a whole.

However, there will never be any theory of real numbers that can be satisfied by the set of rational numbers. At a minimum any theory of real numbers would imply theorems that require the existence of a number that when squared was equal to 2. The rational numbers can not satisfy such a theorem.
Agreed. Waterman's thesis says this about that:

"Several ISA features, including implicit condition codes and predicated moves, are onerous to implement in aggressive microarchitectures. Yet, their complexity often does not result in higher performance because their semantics were ill-conceived. For example, x86 provides a conditional load instruction, but, if the unconditional load were to cause an exception, it is implementation-defined whether the conditional version would do so. Thus, a compiler can only rarely use this instruction to perform the if-conversion optimization.

Recognizing the inefficiency of their conditional operations, Intel’s recent implementations go to some lengths to fuse comparison instructions and branch instructions into internal compare-and-branch operations."

Yeah, doing condition codes right is complicated but then that's the purpose of microarchitecture, to factor that complexity out.

RISC-V succeeds in having a minimalist to a fault design which is appropriate for a certain design point. ARMv8 and x86_64 are more useful for a broader set of designs. The burden now is on RISC-V to show that their minimalist approach is fast+efficient rather than just simple. You have to get something out of the simplicity; otherwise what you get is design debt.
> Or better yet, skip the stupid animation.

I agree -- mostly.

I think that animations can make some things more usable, in the form of drawing attention to a change happening on screen. I do agree whole-heartedly about the lengths of the animations though. If you're going to do an animation, make it fast enough I don't have to wait on it.
> Sweden didn't lock down and if you look at the deaths per million they are the lowest in Europe.

This is False (obviously).

Germany: 126 deaths by million

Portugal: 247

France: 549

Sweden: 580

Spain: 764
At my old company we handed it to the client. I don't think any of our clients would have wanted to pay our rates to maintain the servers for them.
> Secondly, the killing feature of C++ is that it is C. If you don't want to use exceptions or RTTI, then you can just switch the features off. Most of C programs can be just compiled with a C++ compiler with very small changes or without any changes at all.

If your C code happens to be compileable with a C++ compiler, then either your program is very small or you are writing really shitty C.
unfortunately do to police unions most complaints are dropped from an officers file after 6 months in many locals.
Alt.binaries.images.underwater.non-Violent.moderated: A Deep Dive
Include inside the body of an anonymous function if you care about toplevel $TIMEOUT=123 overriding some global variable.

Anyway you don't have any guarantees in JS either, for example. Imported module can just redefine Date object prototype or any global via globalThis. If you don't trust the libraries to not make a mess, don't use them is the only real solution. And it will be completely silent as opposed to PHP failing loudly when you try to redefine constant or class or function.