skysight-inc/HackerNews huggingface dataset:
A valid pet-peeve.

<ramble>

Conflating a working build for good code, isn't specific to C. Students being taught Java (or any other safe language with an explicit verification/compilation phase) can also be tempted to assume that just because their code finally compiles ok, then it must be the program they hoped to write.

Then there's the issue of the code working for one or two particular combinations of inputs, but not all. Again, failure to test well is not specific to C.

There is the possibility that the UB only rears its ugly head in very rare circumstances, but again, obscure bugs slipping past testing isn't specific to C.

Where C is unique is that, as you say, even where the resulting binary always gives the right outputs (on your current compiler+platform), that doesn't mean you have a 'truly correct' C program, even assuming that platform independence is a non-goal.

To put it another way, exhaustively demonstrating the correctness of the resulting binary, doesn't prove the correctness of the C program. This isn't the case for all other languages, however - sometimes exhaustive testing of the binary can prove program-correctness.

(At least, if we ignore non-deterministic runtime factors like threads' scheduling and RNGs. One could concoct a deterministic subset of Java that would have this property.)

Regarding multi-platform code: It's not just UB that gives C the ability to behave so differently between different compilers/platforms. If you switch platform and are suddenly subjected to a new width of unsigned int, your code might behave differently in this new environment (it might fail to wrap-around when it used to, say) even if it never invokes UB.

</ramble>

> that seems to go against many people's expectations/intuition

In an ideal world we'd take the edge off by requiring all new C programmers to use something akin to Clang's 'ubsan' runtime UB detector.
It is definitely possible, but only really worth it in a place that isn't served by an existing "good enough" solution - one great example of this is B4RN in the UK.

The area they serve is mostly rural, and existing broadband provision is woeful due to long lines to cabinets, and then long lines from cabinets, or worse, long exchange-only lines.

Because the area is rural, they got the farmers to help - they get a reduced cost service (which is necessary in the UK for farmers to fill in statutory declarations that are online only) in return for allowing the wayleave, and also gets them involved with helping to dig trenches for the fibre to be laid into. The community gets involved as well, with many people who already enjoy the service getting stuck in to help put stuff in the ground.

It really is a remarkable story, but would never have happened on the scale it has if they had good enough service from OpenReach.
What Is the Perfect Age?
I find Leo seems to come and go with being annoying. You can tell when he's stressed or something in the background becomes he gets really awful. I kind of wonder if it would be better if he were in front of the camera a bit less in an overall sense for the network.
This one is my favorite: https://hackertyper.net/ haha I've actually seen it used in a few videos before. Cracks me up.
It can make an interesting addition to Cardano (ADA) smart-contracts platform for designing visually formally safe programs for their distributed virtual machine.
"I don't feel spied" -- good for you! The point is, it's great that you're in love with Google and you don't mind being spied upon, however, there are a lot of other people who cannot wait for something like this and indeed care about privacy of their information.
Yes, the first link is only for the part about some saying that you could call Rust functional. Should probably have specified that in my original comment.
Thanks for your observation. I was an old /. user who eventually found his way here and have always felt to be in likeminded company, but I understand that technology often outpaces culture, even among the tech vanguard. I hope that people remain openminded despite their criticism, and are willing to reevaluate cryptocurrencies and blockchains as the technology matures and becomes more widespread.
Because that's worked so well for a large number of exchanges ...

Banks cost a lot to start, because you have regulatory hurdles to leap, and need to spend a lot on security.
This may be a stupid question, but I can only see linux / win binaries on the releases page.

Do I need to compile for OS X?
Do you have a source that isn't missing stuff, or you could you mention some of the important bits?
The proof of work is destructive and it does not imbue some sort of magical value to bitcoin. The value of bitcoin should not come from the energy wasted in mining it but in its utility of moving value in a trustless medium. It's like saying a hammer is more valuable the more glass panes it shattered.

Mining is wasteful but the main thesis of BTC is that waste is less than the current monetary system maintenance waste. I think it might just be right but can't tell right now. If some sort of working secure alternative to POW comes up we should seize it, seeing as it would reduce the cost of transaction ans would make a currency more appealing and useful (the less a transaction costs, the more the currency can be used for smaller payments).

> If you removed the limit on the number of bitcoins and rearranged mining so that difficulty would increase more in parallel with the increase in performance of computers

But the mining difficulty _does_ increase in parallel with the computing performance. That is the beauty of it.

People can say all they want about cryptocurrency and greed and politics, but I think Satoshi was a fucking genius. I think he was a true visionary and I was stunned the clarity with witch he could see problems arising and the fixes and incentives for the actors in the system.
Take a systems view? People are increasingly in the loop.
What is this superb country you live in?
is the faster now? some seconds compilation time (even for hello world) is the only thing holding me back. (plus incomplete integration in IDEa)
The industry stance seems to be: SNI not yet being fixed should not be an excuse to preclude work on securing the privacy of DNS requests.
SNI Encryption is being discussed: https://www.ietf.org/proceedings/94/slides/slides-94-tls-8.p...

We at DNSFilter are working on client to resolver agents which use DNS over TLS as well as DNSCrypt.
We're also looking to create a standard for recursive resolvers like us to communicate securely with authoritative providers (no RFC yet).
Basically I think the tether are fraudulent. I do not have proof but they likely are. What is the best way to make money on them? Can one short tether?
Show HN: Screeny 2.0 – Manage your iOS camera roll better
The reason you shouldn't? Go out to the coinmarketcap website and observe: There's not just one Bitcoin, there's three. What's stopping people from creating six more next year? And twenty the following year? All this forking of the coins makes me think that the mining concept with a fixed supply of "coins" that are exponentially harder to obtain is moot if you just keep forking.
After a month of btc, my conclusion:

fear of missing out + group think + self reinforcing beliefs

it's a strong force to be honest, our brains are tailored to seek for such situations, especially when real cost are passed on forward.

The best (altruist) behavior is not to play, the second best (egotist) is to cash out early.
You seem to misunderstand: Ads aren't necessarily going to go away. The uploader just won't get paid anymore.
The conspiracy theory in me says the Goldman Sachs of the world are irked this missed BTC, and it is still out of their control to easily manipulate. Queue the daily bad press on Bloomberg in an effort to do just that.

There are plenty of problems with BTC, but they are typically harder to explain to the laymen rather than 'hey...tulips'.
But haven't there been references thrown around that show they knew at least a couple of years and could also have known for 10 years, if there weren't busy not understanding what their bottom line depended upon them not understanding.
London Logo Designs
Now we're providing our online designing services of web, logos, on the other hand we're giving you best performance of our video animators online for your video. https://londonlogodesigns.co.uk/
Froglogic Announced 2018 Plans for AI-Driven Test Automation Solutions
Many of the screens people interested with prior to web 2.0 were much more flat in abstraction. You can simply look at early HTML to see how much simpler a document first format looks. The raw number of embedded div elements greatly complicates most screen reading.
Especially in the functional space there are some good ways to do DDD, although I don't see why we limit this to functional languages.

https://fsharpforfunandprofit.com/series/designing-with-type...
How a 22-Year-Old Discovered Meltdown and Spectre
Are you sure that you understood djb's statement about the principle of least privilege?
It's not about attacking the rest of the app, but about violating the user's security requirements.
Love it. Are you having a good experience with Rust?
You don't need the language to enforce immutability. If the project is small enough, you can enforce it yourself with a linter or by hand.
Id probably get secondhand

How far are you cycling? It might be worth upping the price too and going electric
To Measure the 'Uber Effect,' Cities Get Creative
Bitcoin stability game theory and possible attacks
Brings back memories. 15 or so years ago in rural Sweden, me and some friends were frustrated about only having access to 56 k. There was this local networking guy who set up the networks at local LAN parties that we asked for help. It ended up with the brave one of us climbing a local mast to see how many roofs we could see. Then we called the mast/tower owner to ask what it would cost to put some equipment there. We could see around 20 roofs and it would cost ~2k USD/mo. On top of that we'd have to pay for other equipment of course. We figured it wouldn't be worth it really.

Years later we got ADSL but last year they cut the copper wires and now wireless (up to 4G) is the only option, and it works so so.

There's kind of a battle going on between proper fiber (realistic because of subsidies/EU grants) and WISP proponents currently. Marketers of the latter like to call it "air fiber" but that's not really fair IMHO.
For somebody starting to learn Android Development, is it recommended to study Kotlin simultaneously with Java, or should I just master Java first before touching Kotlin ?
I'm by no means an expert, but I'm wondering why the people responsible behind Tether do this? Why don't they ask people for a dollar for each Tether coin and then store those dollars indefinitely, wouldn't that guarantee that the currency is pegged? They would always be able to exchange the Tether back to a dollar.
This really stings because you can't use cards unless you opt into the partner program. That's Youtube's mechanism for linking to an external site.

I had ads disabled on my Youtube channel but was forced into the partnership program just so I could link to my website in a card.

Now those cards are going to disappear which means it's extremely unlikely someone is going to find my site since it's only listed in the description. As a content provider this makes me less interested in using their platform.

I'm only at 2,000 hours watched and 366 subs which isn't remotely close to their new threshold considering those are life time stats. The 4,000 hours and 1,000 subs have to be less than 12 months old.

The weird thing is, the channels with the largest amount of subscribers are the ones who are the most risky to advertisers. I don't follow Youtube drama but didn't some kid recently video record a corpse with tens of millions of subscribers, and now advertisers are ripping into Youtube.

That one video from 1 person with tons of subs is responsible for more negative advertising press than hundreds of thousands of people with smaller channels.
The way I view cryptocurrencies is that they're a service like HTTP or SMTP on top of a blockchain, which would be analogous to TCP/IP. Cryptocurrencies are only one of many uses of blockchains.

I disagree with the notion that a cryptocurrency is a vital property of the distributed nature of blockchains. The purpose they serve now is to incentivize individuals to participate in the network who wouldn't otherwise participate by paying them a currency to represent the value of the service they've provided.

But for instance, you could also have private blockchains where the incentive for running a node is access to that blockchain's data. There does have to be an incentive to run nodes, but it doesn't necessarily have to be monetary.
I’m not presuming. Where I live it’s more than fair and reasonable in favor of pedestrians and bicyclists, heavily skewed in their favor as far as traffic laws and infrastructure. Europe isn’t like the States in that respect.

And yet a lot of pedestrians don’t abide by traffic laws and a lot of bicyclists actively abuse and violate it. I just had a guy take my right-of-way in a rotor (roundabound) and fly right in anyway although I was already in it and about to make an exit, and when I honked my horn he just waved me down like it was nothing; If I had hit him even though he broke the law, the court would by default favor him because he was on a bicycle, never mind that when they are on one they are a vehicle like any other for the purposes of traffic laws and they have to abide by them.
Plus naturalized citizens need to pass a lot more screening, from getting the visa to enter the country in the first place, and on each next step afterwards - they are under the constant surveillance for years even before they apply for the job that requires any security clearances.
This is a unique perspective on the control Google has on the web. You basically can't start an ISP without access to Google, and access to Google is expensive. And you can't cache/proxy it yourself, because https is, like, really useful, man.
I posted the link yesterday (and many other times), but a survey showed most people have spent ~3k on BTC. There is no comparison of a BTC crash and losing 3k to the housing crash and people being on the hook for 100s of k and losing their job.
Do you eat meat? Because if you do, the meat and dairy industry has a much bigger impact ecologically than a car does, at least in the USA. Raising beef or dairy cows requires orders of magnitude more water, land, corn feed (or even grass feed) for less calories than growing plant based sources of food would. Not to mention the conditions these animals are raised in (USA being the worst affender). So next time you take a bite of your steak, think how much ecologically impact that bite cost the world.
Madoff targeted wealthy people I seem to recall targeting naive (in financial terms) people in poor developing nations is even worse.
While we at DNSFilter are working on support of DNSCrypt, just to add some flavor to your note... it should be mentioned that the original author just abandoned the project, removed the repos from his github user, shut down the website, and it's been setup by a few industry players under a new github org: https://github.com/DNSCrypt

Tough to say what direction the project will take.

I for one welcome other advancements such as Google's efforts.

FWIW, my understanding is if you use Chrome it actually communicates over QUIC
About time i made a new company!

I think i'll call it Twicflix.
Its funny as its about what id expect - bitcoin, net neutrality
The question is irrelevant, there is a clear difference between the 'backing' of a state which can manipulate the currency supply directly and the backing of entities that cannot.

You claimed that bitcoin's backers have the same power as the state. They do not. End of story.
Bitcoin is not an instrument offered by a company but more like a commodity, like oil or gold. Similarly people can falsely advertise gold or oil as very good investments, and they can crash.

In mainstream media there have been lots of warnings about Bitcoin. For example various central banks have been issuing warnings regularly since the early years of Bitcoin. I wouldn't compare Bitcoin at all to something like the Madoff ponzi scheme. Is it totally different in a sense there are lots of information with various approaches. In addition to the promoters there have been always lots of critics and sceptics.
No, there was no leakage. We trained on one dataset and evaluated on a completely different one, then did the reverse to show that the model generalized well irrespective of the training data (Figure 2). The decision of which model to deploy was based on cross-validation over the Avana data. We would have loved to have even more data, but generating data from this kind of experiment is expensive and labor-intensive.

EDIT: we will update the link, thanks. The correct link is https://www.microsoft.com/en-us/research/project/crispr/
I can't tell you how excited I am to have an aerial drone deliver a keto-friendly pizza to my driverless hotel room minutes after I get out of a hyper loop station.

Most world changing technologies have visionaries forecasting their effect, even in spite of the naysayers.

You are correct that the presence of nay-sayers has no impact on the viability of a technology.

But you're looking at the wrong variable.

Where are the visionary descriptions of the beautiful future? The absence of visionaries, I think that has a substantial impact on how we should estimate the viability of a technology.

When a technology has visionaries, technicians, skeptics, and speculators -- it has a real shot.

When a technology only has technicians, skeptics and speculators - well, we will see what that leads to.

As a technologist, the tech of blockchain is pretty cool. Distributed trustless consensus, Wow!

As an economist and futurist, I've searched for good uses for going on five years now. There's nothing I've found yet to be excited about.
Multi-level marketing is perfectly legal if you are selling a real product. If you are selling stock in your business that doesn't actually produce anything except for marketing materials to sell stock then not so much.
A nationwide FTTH ISP is a completely different affair to a local WISP...
aren't optical illusions human adversarial examples?
Writer mentions he is writing about a developing country, where power supply could be quite volatile.I wonder which country he is writing about though, perhaps some South American country or South Africa, I am thinking that most Asian developing countries have power companies that are monopolies in the areas they serve.
The Billionaire vs. The Fly: An Ecological Battle Over a Golf Course
The installer is 170mb after unpacking - it is just an electron app (for providing you GUI) connected to our installation manager. The command line installation managar is very lightweight (around 2mb) - we will provide it as an alternative to the graphical one. We will try to make the electron app smaller.
The installer downloads Luna Studio - The graphical environment and Luna compiler and installs it on your computer (according to our docs: https://luna-lang.gitbooks.io/docs/content/installation.html). If you want to uninstall it at the moment, just delete the ~/.luna folder - that's it. We will provide option for it in the next installer releases. What spawned processes are you talking about? We spawn processes for our typechecker and other services (like undo-redo manager), but they should be killed if you exit Luna ... until you are on Windows. When you are on Windows the processes are registered globally in order not to ask for root password everytime you start Luna Studio. We would love to chat with you about how can we improve it, Windows support needs the biggest love right now.
> It would be a sad future without having such thing

Would it? An economy dominated by a deflatory currency would be very different from what we know and enjoy. Driven to the extreme it could even be a mass starvation level threat (well, that's easy to say given the low margin for error we have left).
Sure - one of many articles from 2013 announcing the move:

http://www.sueddeutsche.de/muenchen/neue-deutschland-zentral...
Summary:

* Getting Married: 28-32

* Having Children: before 32

* Making financial decisions: peak around 50

* Getting a cell phone: 12

* Mastering Vocabulary: late 60s, early 70s

* Processing Information: 18-19

* Bodybuilding: 25
It's from the Simpsons and that is pretty much exactly the context that it first appeared in! Here's an excerpt from the "Made-up words" article on the simpsons.wikia.com:

When schoolteacher Edna Krabappel hears the Springfield town motto "A noble spirit embiggens the smallest man," she comments she'd never heard of the word embiggens before moving to Springfield. Miss Hoover replies, "I don't know why; it's a perfectly cromulent word".
How to Find Problems to Solve and Get Early Adopters by Cold-Calling Businesses
Or maybe bitcoin becomes more stable after this crash?
Any exchange trading this crap should probably be avoided like the plague.
Speak with respect: sXXt is not in my vocabulary.

Beyond the scammers there is a lot of hard computer science research happenning.
There is a great story in Harpo Marx's autobiography where one or more of the Marx brothers had a massive margin call and covered it by doing a command performance for some of the major mobsters.
The fact that the videos are "taken down" from public view doesn't mean that they won't be available in google's archives when the authorities file a subpoena for them.
I worked at #1! The place all this went bad was when big cable and AT&T got into the game and flushed out all the rest of the competition.

Comcast is a reprehensible company from top to bottom--the pricing sucks, cable tv sucks, bundling sucks, and their customer service SUCKS! So I won't do business with them and am relegated to crappy DSL from Frontier which also SUCKS, just not as bad as Comcast as a company. How did we ever get into this situation?

Granted the ISP I worked at was mostly dialup at the time, but they ran a decent business with decent service. The Mom & Pop ISPs in the rural areas were so cool back then--real American entrepreneurs, which starkly contrast with the robber barons.
Redesigning Hawaii’s Emergency Alert System UI
Public book experiment
> Powerful engine. Limitless.

I think at very least it is limited by the known universe. :)
The online version - https://svenstaro.github.io/genact/ is absolutely excellent!

Hopefully its the beginning of a trend with more apps being available in a browser-window without install because of compile-to-WASM.

It makes me wonder if there is any nice version of C stdio you can use that lets your C program access the 'local filesystem' which is actually a folder on the webserver etc so programs that have resource files etc can be cross-compiled.
Could you elaborate on exactly what you dislike about these features? Or why they seem like an afterthought?
These are actually the bugs I run up against the most often once #1 and #2 are dealt with: program functions as intended, but what was intended was wrong.

Well, that and "bug in dependency".

Formal methods are nice and everything but it's a massive waste of time if those are your main problems because you're doubling down on solving the wrong problem.
Neanderthal and friends support CUDA 9, Java 9, and Clojure 1.9
> BTC sellers can't put a face to the wallets buying their coins.

I have often bought and sold BTC to/from a friend I know.

> People invested with Madoff hoping they'd make money. People invest in BTC hoping they'd make money.

Madoff advertised a legal investing business, while he was actually running a ponzi scheme and didn't invest anything. Bitcoin is a transparent open-source system that anyone can inspect very thoroughly how it works. The two cases don't have much to do with each other.