skysight-inc/HackerNews huggingface dataset:
> After all, I think some lessons have been taught by free, open wi-fi offered by cafes.

One lesson: Use TLS.

> Is SSL/TLS enough? Probably not for less technical people who can be socially engineered into trusting a malicious root CA because they just want internet.

Is super-secure-network enough? Probably not for less technical people who can be socially engineered into installing malware.

> Is TOR worth anything? Oh, I still feel like it’s pretty laughable that exit nodes operate on an honor system of not snooping on plain-text traffic.

What else would you suggest?

> From where does one summon the mental gymnastics necessary to go along with that?

From where does one summon the mental gymnastics necessary to come up with the idea that it would be Tor's job to prevent you from communicating however you want?
There's more Thorium in the crust, there's more Uranium in seawater. With either fuel (plus breeder reactors), the nuclear fuel supply of earth is unlimited on a several billion year timeframe at world-scale.
They did have special opcodes in x86 but dropped it in x64:

https://en.m.wikipedia.org/wiki/Intel_BCD_opcode
You're right. I recently thought, if a bunch of very very wealthy people asked someone to create a new digital swiss bank account for them, this could be the result.
For the UK (and France) this has a lot of geeky detail: http://www.gridwatch.templar.co.uk/

UK data (inc. solar) with CO2 emissions in app form: http://gridcarbon.uk/
Yeah, in general it is not acceptable. The clients who will require this are not the clients you want.

Basically, it is impossible to ensure you're not leaking information while you have such software installed. There are too many vectors. Unless you literally setup a VM per client and ensure you do not check email on that VM, which I suppose is possible ...
> pgSQL is still not quite there when compared to PL/SQL.

Yes, but maybe it's a good thing after all. pgSQL is small, and mostly clear and restrictive, there's no bunch of imperative features and dark corners. The main point of PostgreSQL always was extendability, so it supports a broad list of programming languages for stored procedures.

To address efficiency concerns, executor's JIT is on the way - https://postgrespro.com/roadmap/56509
Ask HN: How long did it took you to master programming?
I've been learning C and assembly through textbooks its exercises for 4 months. I did well in exams but when I try to look at coding challenges like Project Euler, I felt like I haven't learned anything at all.

So, how long it took you to master the art? What would you have done to shorten that time?
Correct. There's a long history of considering nuclear (with breeder reactors) renewable and a fairly strong case for it. [1]

[1] https://en.wikipedia.org/wiki/Nuclear_power_proposed_as_rene...
https://protonmail.com/ is free, open source, and encrypted.
Realistically, I think Bitcoin needs leadership and marketing if it is to grow as big as other currencies, because I don't see people referring to their everyday money as "satoshis".

To paraphrase AMC's HCF, I believe Bitcoin is not the thing, it's the thing that gets us to the thing.
If you spend 99% of your time coding and 1% of your time compiling, does it really matter that much?
ASN.1 is also rather complex and the most widely used encoding rules have been shown many times to be rather difficult to implement correctly and securely [1]. X.696 (OER) is said to be better, but it is only around since a few years (!).

[1] A property shared by many IT industry standards.
I have a similar system, but using pandoc to output markdown

https://github.com/davidar/peruse
> France: 17 cent per kwh vs Germany: 29 cent per kwh

You can't really compare that. The 17 cent are not real prices in a competitive market. In France electricity production is mostly monopolistic & state owned - some kind of deregulation start last year. ;-) EDF is state owned. Increasing the electricity price to cover real costs is not an option, the population will vote against it. Guess who pays for keeping the old reactor fleet alive? Costs for maintenance are rising to an estimated 45 billion Euros in 2025. Guess who pays for the super-expensive new reactors like the EPR? Without government money the company which builds it would have been imploded long ago.

Germany OTOH makes electricity expensive: there are taxes, investments in renewable energy, investments in decentralized grid, research, etc.. This also keeps consumption low and creates incentives to invest in new and efficient infrastructure and electricity consuming devices.
Not long ago I’ve benchmarked several implementations. The fastest itoa I’ve found was fmt::FormatInt class from there https://github.com/fmtlib/fmt

Based on the article, I think fmtlib will be faster than what they did here.
recently, https://news.ycombinator.com/item?id=15983587
Some people would take CLR over JVM, so YMMV
Are you implying that she would have had insurance before the ACA? Before the ACA, you could get "cheap" insurance, but it was often a scam. I know because I discovered that the hard way. Pre-existing conditions are a thing.
Learning Deep Learning with Keras – An Overview for Beginners
Not really, it also makes sense to have one if you're already maxing out your IRA (as long as it's a low fee 401k, many aren't).
Direct-To-Consumer: Preview of Next Year's Retail and Consumer Trends
US dollars have tax powers and nuclear weapons backing them. That’s as good as it gets.
Not so much "talking" as directly reading/writing memory outside of your source scope that is also mutated by other chips--like a DMA buffer.

Or for a traditional kernel, reading/writing directly into the address space of a user process. Wouldn't have to worry so much about race conditions there since the process could be suspended, but there is still an opportunity to fudge the indexing.
It’s discussed at length by its critics. IMO bitcoin proponents can’t avoid this problem and mostly hand-wave it away with vague statements or long treatises about how the banking system should (but doesn’t) work.

Blockchain is great tech and bitcoin is a wonderful speculation tool/pyramid scheme but the current situation is an anomaly (as the transaction speeds and prices are showing).
Aahhh, thank you for stating this. I’m reading HN for only 1 year and half and couldn’t figure out why Java seemed so present in conversation as I thought it was not spread that much.

I’m french and I only know one person who’ve been on the Java path, and he’s not even working in France. I of course know companies working on Java, but not that much (not at all, if you except those working for Android) and suddenly it becomes crystal clear.

Thanks again.
Thank you for tuning in here.

I imagine that WCF was one of the first parts to be converted. How mature is the Core .NET WCF now?
Cryptocurrency for music industry and ICO model for musicians
They still don't get it. I think partly because they live in the first world country.

The initial reason why BTC took off was pure speculation based on the fact it's fixed supply + unknown but may be bright future.

As speculators started gambling, people who sell drugs and other illegal goods saw a great potential in moving their money as they know they eventually can exchange it to fiats by dumping BTC to speculators.

At this point BTC got its real value as self-fulfilling prophecy.

Following speculators and drug dealers, wealthy people living in countries like China, Russia saw great potential to move money out of their countries.

Self-fulfilling prophecy continues.

If there was no war on drugs and over-regulation of cross-border money transfers, BTC would not be taken off.

As first crypto-currency, BTC didn't need fast transactions, low fees etc, since there was no alternative for these people anyway.

Currently, there are technically better crypto-currencies than BTC but BTC is still alive because of strong network effect and it's safety was tested by time (after all it has longest chain in the world).

The whole story about discussions around BTC showed that you can have Phd in Economics and still suck at economy and simple reasoning beyond standard stuff you've been taught in university.
CI/CD or even the CVS repository (Git e.g.) - as a hook or with full access is on the lines I'm thinking about. Thanks & Cheers!
> C# seems like the top contender

> can I develop and use C# applications on Linux

> I definitely won't switch to a language that doesn't support Linux properly.

I find this comment really strange. What makes C# top contender for you ? You seem to be asking really basic questions about it.
Grr..."TLDR;". Please if you're going to insist on doing this then at least summarise the facts of the article accurately. Pipedown isn't a new organisation, it was founded in 1992 in the UK[0]. What the article mentions is the establishment of the first US Chapter of Pipedown.

[0]: https://en.wikipedia.org/wiki/Pipedown_(campaign)
I’m going to say this plainly: If you think that then you have an incredibly simplistic understanding of how fiat currency works.
recently, https://news.ycombinator.com/item?id=15732161
Replace corporation with government and you see the same behavior at city/county/state/national levels.
US Fingers North Korea for WannaCry Epidemic
Worse, due to the Matthew Effect, these projects accumulate more interest due to momentum and extrinsic metrics, rather than due to their inherent quality. The ecosystem around software then uses these flawed measures as a proxy for quality because it has nothing else.

It’s as if the most important thing about software is that other people are talking about it.
Fama would say it's priced accurately given the known information about it, but he would also agree that the price should change as more information is discovered about the nature of bitcoin. The efficient market hypothesis isn't about the price being "right," it's about it reflecting the available information.
>Basically i had forgotten what relaxation feels like, to the point where anxiety-driven thinking felt completely normal.

This is a very insightful observation.

I have seen this in myself.
> with a superior flagship language (C#)

and don't forget VB.net, which is an excellent language for non IT professional novice programmers, particularly if they come form VBA. .net provides a good language for novices that gives access to most of the flexibility and power of the framework (outside Xamarin basically).
Maybe there should be a centrally agreed upon authority that can change the size of the money supply by fiat. That seems like that would fix most of the problems with Bitcoin.
Well in no way I consider myself "master", but my progress is 10 years ongoing. I am still studying and therefore I did only a few small projects and just a single one I got paid for.
> The police force already leans on AI to help flag incriminating content on seized electronic devices,

This is people who're being investigated for possessing images of child sexual abuse. This might be because they've accessed a website known to distribute such images; or they've created imags of a child which were found.

Police need to search all the devices that person owns in order to find all the images. They need to do this to protect children who are still being abused; to detect unknown abusers; to add images to the various IWF etc lists; and to ensure the correct prosecution and sentencing approach is taken.
No, they are not. A shouf (water hose) is always next to the toilet in Middle Eastern countries and in public facilities.
Always.
When the 8 richest men have as much wealth as the poorest 50% of the planet one might conclude that wealth has already been redistributed.
Thanks, this is exactly what I've been looking for.
Its a ruse, they just want you to look at random people's backside and think that it's a elbow. The modern day version of scanning your ass and printing it lol
Let this be a set of lessons to us all. If you're going to whistle-blow, and you don't go to the official whistle-blowing officer because they will punish you for it because the whistle-blowing system exists to trick the honest into betraying themselves, assume also that the person you choose to leak to is at best an incompetent idiot who will shop you inadvertently.
Caution: wildly speculative theory

I've had a pet theory that hallucinogens have an effect on the brain analogous to database refactoring. Users commonly report the experience of mental schema breaking down and being reordered. Maybe older minds have database tables with too many columns and need psychedelic experiences to normalize their DB (ie. mental schema)?
Yes, no "dumb luck" prevented nuclear war, but the actions of two true heroes who were brave enough to go against the grain and the possibility of extreme consequences from their regime.
Noted. I'll attempt to put more nuance in my one-sentence comment next time.
Axiom Beta – Digital cinema camera built around FOSS and open hardware
Interesting how Maduro's Venezuelan toilet paper crisis could be solved with soap and water.
The Japanese reactors were inundated with a beyond-design-basis earthquake and tsunami that killed 30,000 people (zero of whom died from radiation). It'd be tough to argue that they're incapable of running a plant. They just didn't build appropriately for their environment (that plant in particular was designed to be safe from USA tornados...)

Russia, S. Korea, India, & China are building economically feasible reactors right now because they standardized on a design and are building multiple of the same kind. [1,2]

Current batteries are not a feasible solution for leveling large capacity renewables. The 10-day total wind outage that just happened in the US pacific northwest kept 4 GWe of wind offline. The battery to back that would have been 100 stories high on a football field and cost $90B, and would have to be replaced every 20 years or less. Not even 100% renewable superstar Jacobsen [3] (who's suing his scientific critics) suggests using batteries for large-scale load balancing. (He uses hydro with pumped storage, which is actually not a good option due to biogenic methane emissions) [4]

Nuclear waste is a solved problem, technically. You put it in crystalline bedrock, salt deposits, or deep boreholes. The Finns are opening their repository in 2023 [5]. It's a political problem.

There's also very little of it; you're entire lifetime of waste (were you 100% nuclear) fits in a soda can. Nuclear is one of the only energy sources where it's even feasible to consider handling the total waste because of this energy density.

[1] http://www.world-nuclear-news.org/C-Russia-achieves-serial-n...

[2] https://www.sciencedirect.com/science/article/pii/S030142151...

[3] http://www.pnas.org/content/112/49/15060

[4] http://journals.plos.org/plosone/article?id=10.1371/journal....

[5] https://en.wikipedia.org/wiki/Onkalo_spent_nuclear_fuel_repo...
Interesting that finally we have a data driven stack with GraphQL. My biggest problem with REST and other similar protocols is that these try to hide data from you.
Trusting any sufficiently complex system to be correct is insane. It’s virtually impossible to do and be confident at all levels your proof is correct once you move past much more than trivial systems.

This is why modern software testing takes a more... I guess you could call it Bayesian... approach.

QA, unit testing, integration testing, etc - these are all ways of reducing probabilities of incorrectness. Never formally prove it of course, but make your confidence higher with each.

So suggestions? Proper testing and QA.
Inferno OS is built around the Dis virtual machine, which is akin to a JVM. Unix-like OSs are native-code oriented.

HN has previously discussed this question of where 'grand abstractions' should reside - in the OS, or above? https://news.ycombinator.com/item?id=9807777

To quote from that old thread (they discuss Taos not Inferno, but the distinctions from Unix are similar):

> could you efficiently implement Taos abstractions on top of POSIX? (probably yes) Could you efficiently implement POSIX abstractions on top of Taos? (probably no)
Migration from sub-Saharan Africa is arguably caused by economic problems excercebated by global-warming related droughts.
He means free as in freedom, so it has to respect the freedom of the end-user to inspect the code, modify the code to their needs and to redistribute their modified version as well as the unmodified version.

Basically open-source, but with the strong philosophical difference that the goal is for the users to have their freedom, not for a company to apply the same software development strategies that made Linux and Firefox so successful. (Also, someone will now murder me in my sleep, because I've said that it's basically open-source.)
Modern fiat currency is backed only by debt. The fact that money can be backed by debt implies that there agents have a sufficiently sophisticated ability to judge trust of other agents. It's not extremely relevant that trustworthy behavior is enforced by the state.
Mrustc – Alternate Rust compiler in C++ – Now broken the bootstrap chain
The Telegraph headline uses the correct language. http://www.telegraph.co.uk/technology/2017/12/18/artificial-...
And what do these wealthy Chinese and Russians do, if they never can turn BTC back to their currency and neither can buy stuff with it?
(Try to) get rich quick by making an app
S. Korea, Russia, India, China can build them for cheap by standardizing designs. Nuclear doesn't have to be expensive.

http://www.world-nuclear-news.org/C-Russia-achieves-serial-n...

https://www.sciencedirect.com/science/article/pii/S030142151...
Mandrake Linux Founder Launches a Google-Free Android OS
I don’t believe so - I think it was it isn’t formally showing it is correct. Which is true.
What does real estate have to do with the dollar? 1 dollar does not entitle you to any US land. Inflation is not driven by land or land development.

The value of the dollar is stable because people trust it to be stable and because there is a financial system that lets people use it for things they want to do. It fluctuates based on (money) supply and demand.

With Bitcoin you are trusting (or speculating) that someone will want to buy it from you in the future. You don't need to trust that no one will suddenly print more though.
Yep. I would never use such a thing.

In fact, I feel so strongly against it, that I wrote a blog post on how to find work outside of those marketplace freelance sites that force you to use tracking tools.

You might be interested in reading it at https://nickjanetakis.com/blog/how-to-start-a-successful-fre...
The article quotes a fine of INR 10,000 (roughly $250). Interested to see how they classify "HNI", as it seems a trivial fine to avoid the hassle.
the implication here is that the net neutrality issue is primarily the last mile ISP. I agree that comcast in particular is going to be a problem, but the assumption that the larger transit carriers will not be NN problems in and of themselves seems quite off.
I almost completely disagree with the author of this article.

Yes, formally verified systems still have bugs due to the TCB (the trusted computing base). But that's because the TCB is precisely the only part of the system that is not formally verified! So of course it's going to have bugs.

If so many crashing and correctness bugs were found in the (small) trusted part of formally-verified systems (well, in reality only 16 bugs were found in 3 entire formally verified systems, but I digress), imagine how many similar bugs there are in systems that are not formally verified at all!

If anything, what this article should be arguing is that operating systems, proof finding and verification tools and compilers should also be formally verified (and some already are), so that even bugs in these parts of the system are also eliminated.

The only part of the article that I agree with is that it's not feasible to write 10x more proof code than real code.

But IMHO, this is why proof automation is really important to have - tools like Isabelle/HOL, Why3 and SMT solvers like Z3 provide this (the latter of which the author mentions).

Coq, on the other hand, has much less automation and the result is that it's much harder to use and results in larger proof code. Yet, it's seemingly inexplicably much more popular - perhaps it's the catchy name?
Great Game but lack of attention in 2017
It's more like I bought a nice new truck and I'm taking it to the store when I pass a bunch of people who I don't know but ask me for a ride. I politely decline as I'm busy but instead they attach their bungee cords to my truck as I drive by. Then they complain incessantly that I'm driving too fast and that I'm going to break their cords.

Yeah, I'm advocating that people find their own ride and don't slow mine down.
That's actually pretty good. There is a movement towards publishing minimal results, such as those experiments. This will hopefully get rid of the need to publish only successful experiments.
It took several years before I really felt generally competent. I don't think there's a mastery stage, in the same way that artists never master a medium.
This post's packets are coming to you from a mesh network. From a fixed wireless ISP in Grass Valley, CA, and my packets are routed through at least one neighbor's house before hitting wire. A lot of rural America relies on WISPs like this because the telco duopoly has failed us. I'd much prefer wired service; it's faster, more reliable, and lower latency. But AT&T and Comcast refuse to run a wire an extra half mile and the FCC won't make them.
I think they do in some regards. 0 fees to run dApps combined with WASM-nativeness (write in many languages) seems objectively better than ETH when considering just those areas.
I don't think that's necessarily as good as it gets. You can have commodity backed currencies. These are much more stable but much more difficult to manipulate which is a power many governments want.

One is not necessarily better then the other. You can't force growth in a commodity backed currency by incentivising certain usages by messing with inflation.
7 Ways to Test Your Potential for Starting a Business
I have a slight hearing deficit caused mainly (but not exclusively) by attending loud prog rock gigs in my younger years :)

Whenever there's background music playing in a pub or cafe and the background chatter gets above a certain level I can't actually make out what anyone's saying. It's a huge annoyance, but also self inflicted (the last gig I attended was Mogwai in Edinburgh a few years back, I'm not sure my hearing ever recovered).

My other pet peeve is seeing TV's popping up everywhere, which can often be a real conversation killer when your group of pals are glued to re-runs of Who Wants to be a Millionaire.
So, instead, make it a shell script that ends with ‘exec $@‘?
I completely disagree. Using waste repositories like the one Finland is opening soon [1] keep the radiation out of the biosphere for well beyond the time it is dangerous. One soda can of nuclear fuel can provide a lifetime supply of carbon-free energy to a human at US consumption levels and make one soda can of gnarly radioactive waste. That waste is so small that it's feasible to safely dispose of it. The land, carbon, material, mining, etc. footprints of nuclear are tiny and that's what affect the environment. Nuclear is extremely clean.

[1] https://en.wikipedia.org/wiki/Onkalo_spent_nuclear_fuel_repo...
This is also not true.

GDP, long term economic prospects (of which debt is a part), and political stability are all major factors in fiat currency value.

This is not as bad as the original oversimplification but it’s a pretry incorrect one by itself.
So they can bully those who they don't like the disgraced bob quick's (senior counterterrorist cop who had to resign for security breaches) vendetta against a tory MP is one case.