skysight-inc/HackerNews huggingface dataset:
> ... the article doesn't clearly describe
> how to construct said sequence ...

I thought the construction was clear. In particular, this argument does not use Cantor's construction wherein the interval end-points are always algebraics. Instead, it ...

* Finds the next listed algebraic a in the current interval,

* divides the current interval into three, and

* chooses the left-most sub-interval that neither contains nor touches a.

The sequence is then the left-most endpoints of the intervals. In particular, the sequence is composed entirely of rationals. More, the argument works even if the set being avoided (which must be countable, but need not be the algebraics) is not dense.
I save between 2k and 3k every month in SF, after tax and rent and food and utilities and going out with friends and treating myself a bit more than I should. I live in Oakland (cheaper), but my pay is slightly below industry average (and my BART costs as a result are ~200$ a month, and I eat out for lunch every day - that's easily $300 or so a month). I don't think I'd be able to do that on a $60k salary, no matter where in the US.

The reality is that most engineers spend way too much money and call it "the cost of living in SF". Sorry, living in a swanky apartment in SoMa, eating out every night, pre-ordering hipster shit on kickstarter, taking Uber all the time and going to Tahoe on the weekends is not "the cost of living in SF". You can save money in SF very nicely if that's a goal of yours. If you prefer living a more hip lifestyle, that's fine- but don't say that it's "the cost of living in SF".
Happy to be in touch. Cheers!
Well, a long-term ban on personal BitCoin usage (i.e. merely mining and sending/receiving) is unenforcable. More likely a ban would target the commercial means of acquiring BitCoin. So mining enterprises and exchanges and payment processors would be the targets of any ban just like in China with the latter two. If you make it impractical to buy or otherwise obtain BitCoins then you've as good as outlawed it, allowing only small, black market, person to person exchanges.
So this is like complaining if you do a car maintenance course at your local college you have to GASP use spanners and OMG might get some of that nasty dirty oil stuff on your hands.
Even if there was an apparent 'Apple tax' on the new Mac Pros, as long it wasn't too much, I wouldn't mind. They make great hardware and software, and sometimes it's worth it to pay a little bit extra to get this. After all, we don't go around testing the Apple tax on the iPhone, and comparing it to other smart phones, since the iPhone is one of the more expensive phones on the market.
How  IMiX Can Make Fund Management Easier
sorry i should've provided context: these classes are meant especially for working professionals -- mostly in academia: librarians, research staff, scientists -- to learn skills to make themselves more productive at work. 30 lines of Processing is cool, but won't make them more productive in grepping through gigabytes of ill-formed archival data files, organizing and visualizing them, and making reports for their bosses.
I agree that often guis can do things more efficiently. CLI's shine when you need to do unusual, compound tasks. Suppose you want to get the third line out of every file on the form log*.txt. Quite easy in CLI, but impossible with a gui. Of course, you can outsource writing the "incantation" to some grunt, but what you cannot outsource is the knowledge that it should be done with a CLI / script.
Shouldn't that be spelled with an 'x' or 'z' in it somewhere? I don't think you're maximizing the flippancy available to you.
Startup Early Execution Can Be Better Than Planning
TRON? http://en.wikipedia.org/wiki/TRON_project
I haven't set it up since getting a new laptop, but I used to have lots of math notation available on my keyboard (e.g. AltGr, <, = would give ≤), and LaTeX set up so that I could put those characters directly in my documents, and it was so much nicer than doing everything with backslash.
Another common observation: things that apply to cars don't necessarily apply to computers, where build-your-own has often been the most economical option.

Or as we say in German: Nur weil's hinkt ist's noch lange kein Vergleich :-)
You can also create indexes concurrently, using `algorithm: :concurrently` when creating the index[1]. You can't create concurrent indexes within a transaction, so be sure to call `disable_ddl_transaction!` in your migration definition.

[1]: https://github.com/rails/rails/commit/2d33796457b139a58539c8...
There's a reason they don't use Ctrl-C etc for copy/paste - because in the terminal, as I'm sure you know, Ctrl-C sends a SIGINT signal. In OS X you can use a consistent command for copy and paste across the whole operating system, including the terminal.
I do. Why would they keep the pics? Unless they were legally obliged to?
Its there

"The absence of information of counterparties in such peer-to-peer anonymous/ pseudonymous systems could subject the users to unintentional breaches of anti-money laundering and combating the financing of terrorism (AML/CFT) laws. "

anti-money laundering = FEMA, there is no law called AML, there are two laws: FEMA & PMLA. As per the investigation, the right clauses are applied.
Looks good. I will check it out.

My current setup is Marked 2 and vim (most of the time). Simple and works well.

http://marked2app.com/
The command line is just an example of the division you may see between university academic departments and business areas in a large company.

What the writer calls "programmer culture" may well involve running Linux. Then using OpenOffice or Google Docs or LaTeX instead of Word and Excel leading to messed up formatting any time documents are passed back and forth. Maybe sending presentations around as PDFs - which Windows users can't edit. Can I, a Linux-using programmer, understand why you'd want to connect a spreadsheet to a database? It boggles the mind. No, don't bother to send it to me, I can't open excel files. And in the opposite direction, us Linux users will happily recommend software that works great for us, and which is notionally cross-platform, but on other platforms the user experience is much worse. And that's just for technology which has barely changed since Office 95. God forbid if you want to embed a video into a presentation and have it play on several platforms.
> You must be strongly opposed to the system of regulation in the US, where GMO products are not fully labelled, so individuals do not have a choice.

Of course they have a choice. They could only buy products that are fully labelled and guarantied to be 100% GMO free. Problem is for you, most people don't care about GMO so they buy GMO products anyway. This is why you want to ban GMO, to force people to care about the same stuff as you do. Don't want GMO? Buy GMO free products or grow your own food. Don't care enough to do so? Welcome to the rest of us.

> For instance, they are worried about farmers losing their ability to produce their own seeds, so the nation's food supply becomes dependent on a handful of multinationals.

Any examples please?

> see the Copper mines in Chile, or the banana plantations in Honduras and Guatemala.

This has nothing to do with GMO. I've lived for 5 years in Peru so I know a bit about South America. People don't care about GMO.

> They are well within their rights to make decisions that affect everyone within democratic decision making processes.

That's a fancy way to say "they are well within their rights to impose their opinion on what we should be allowed to eat on everybody else". Leftists are just like conservatives, always want to tell people what they can or cannot do with their own body. No thanks.
Did you look at Ulysses III? I use it and I find it to be very good.

http://www.ulyssesapp.com/
"Yt? Seeing something odd in the logs..."
SEO Reminder: Sitemaps Do Not Guarantee 100% Indexing
Top 5 trending GitHub projects: SpinKit, Huptime, Spacegray & OpenEmu
The Wind Lens: Double or triple wind turbine output?
Apple doesn't enter markets where it can't make money. There is at least some money to be made selling proper workstations with Xeon CPUs, ECC RAM, and workstation-class graphics cards with application certifications, etc. There are customers that are going to be looking for those requirements, and aren't going to purchase consumer-grade equipment. The new Mac Pro offers a lot of value per dollar for these customers. The customers who are happy to run workstation apps on a home-built consumer system probably have no interest in Apple anyway, except at a price point that makes no sense for Apple to sell a product at.
It's a horrible burden, but we've learned to make do.
Of course it's always possible to construct an infinite number of neat little functions that are not like that. However, I remember lots of times when I had to fight with some external libraries that had exactly the problem I'm describing. I don't quite understand how your illustration is relevant. The issue is not that simple and well-defined functions can't have any internal state that is easy to follow. I didn't argue this doesn't exist. I said that many times it's not what you find out there.

Abstractly speaking, when I say "A often has the property B", you can't meaningfully counter that with "you're wrong, here's an example where !B".
New Year's Eve is party time
That is what I am doing currently to support my start-up. One steady client that pays well and is willing to work with a somewhat flexible commitment from me at about 10 to 20 hour per week. And with careful spending that will pay bills for my family.
For a similar, great markdown editor for OS X, check out: http://mouapp.com/
I think you have a lot more people to meet. Generalising programmers is the same as generalising all other groups of people. It's normally wrong to do so.
interesting analogy, but i think the difference is that we intuitively understand what spanners and nasty dirty oil is, since they're physical objects that we see in daily life. so if i take a car maintenance course, i expect to get dirty. all of this magic inside of the computer is invisible. but you do make a good point, and one that i'll try to address in a future revision!
Reserve Bank of India goes hard on Bitcoin.
> Normally, such detailed health information would fall under
> federal law and could not be disclosed or sold without
> consent. But because these data harvesters rely on indirect
> sources of information instead of medical records, they’re
> able to sidestep regulations put in place to protect the
> privacy of people’s health data.

What "indirect sources of information" could be used to identify thousands of rape victims?
As far as I know, similar data locality guarantees are now hot topic in Germany and are often mentioned during sales pitches of SaaS platforms. USA shot itself in the foot and it is competition's holy duty to its shareholders to exploit it.
Why do you need the map, except - it was the way it has always been done in mobile?
Ask HN: How to improve my weekly newsletter for Bitcoin and other altcoin?
Hi all in HackerNews, I recently started curating a weekly newsletter on the week's top articles and blog posts for Bitcoin and other alternative cryptocurrencies at www.altcoinweekly.com

I am seeking some feedback on ways to improve the newsletters. Would appreciate your kind advice and feedback on making the newsletters better. Thank you very much!
I'm certainly impressed by those implementations, but I don't think I'm competing with them. :)

I had JS (using node) in there for a while, but it was regularly 10x compared to the other languages. Using a JIT makes it effectively a different class of implementation. It's like entering a car in a bike race.

Thanks for the benchmarks! I might steal some of those. They may be more arithmetic focused than I need (which makes sense for Julia, but less sense for an embedding scripting language where most math is probably done in the host app).
> edit: Plus I've never heard of "rape" being a diagnosed medical condition - why would that be in a list of conditions ? I find your 'explanation' quite troubling

The SNOMED CT coding system has an incredible number of coded clinical terms. Including rape:

http://phinvads.cdc.gov/vads/http:/phinvads.cdc.gov/vads/Vie...
I do that by default now, too -- OS X has a few basic Emacs control keys that work in all text fields/boxes, like ^P/^N, ^A/^E, ^D, etc., and even though I rarely use Emacs itself those have become muscle memory.

(I use KeyRemap4MacBook for a couple things, including mapping Caps Lock to pressing both shift keys simultaneously, so I still have it if I need it.)
Designing Questionnaires for Clients
The original article states that the Windows machine is without any Thunderbolt 2 connectivity. If you wanted to match the hardware more closely, you would have to add the price of fairly expensive Thunderbolt 2 add-on cards.

I'm not even sure you could match the 6x Thunderbolt 2 ports and 4x USB 3 ports available on the Mac Pro with a DIY PC at this time.

The Mac Pro also has dual gigabit ethernet and built-in speaker, which this comparison does not seem to take into account.
Preach it brother! 8)

I have been using Total Commander for YEARS and it is the first thing I load on a computer that does not already have it.
Sourceforge is already driving Sourceforge out of business.
GMOs are not banned. Corn and soy export hit record export due to the fact that they allowed introduction of GMOs varieties some years ago. Most local produced food uses some of this corn/soy. Also, animal GMOs are very much present, leaded by the work being done by INIA (http://www.inia.org.uy) and other private/public institutions.

Bureaucracy to open bank accounts for foreigns are in place to avoid money laundry operations. High taxes are to fund public enterprises, pay external debt and invest in social care. You most of all should know, since you hired programmers in an illegal manner, forcing a dependent relation of your workers being filled as freelancers to avoid paying taxes and denying some legitimate rights. For example the right to get a compensation in case of getting fired, something you tried to avoid at least once. Gladly Uruguay's justice put your company in place and made you pay what you own.

I would say Uruguay is being very good to you, and you could never become a wealthy person if not established here where you could find qualified personnel at very low cost, considering your clients where all USA and Europe based, and your revenues quite high.

From what I read, it looks like you're trying to avoid other companies to establish here, as is Neo, the company that bought yours and now hires you, probably as a partner.

Are we scared of a little competition?
I can't read the article. Site seem to be or overloaded. (or DDOS:ed?)
Good call. I'm not sure how I ended up with that version of Lua. I'll upgrade to the latest of the others when I get a chance.
I thought they disabled that...?
Performance Management: If you don't measure it, does it count?
Then don't take money with preferences attached. Good luck, though, because preferences correct an incentive imbalance that is extremely concerning to venture capitalists (that you'll happily accept an outcome that will lose money for the investor).
Yes but the MacBook will actually last. I have a co-worker that has a Zenbook and while the hardware specifications are nice it has garbage build quality.

When will there be another great PC hardware manufacturer?

I've wondered if one would come along or if the barriers to entry and consumer preferences would simply never allow it.
Dear NASA, Today is Kepler's birthday and your Kepler website is broken
http://kepler.nasa.gov/Mission/JohannesKepler/
I have never heard of Google keeping cache's of pages in javascript-disabled states, Googlebot has been processing JS for a long time. And how many users (even considering mobile) really don't have JS these days? This may not be by-the-definition cloaking, but it's right up on the line for sure.
Fukushima radiation hits San Francisco (video)
Cromwellian made the point that the difference between a Quadro and a Geforce, at one time, was just a jumper change. It was exactly the same hardware -- and changing that jumper activated the card's ability to give you better wireframe performance and whatever supposed advantages Quadro had.

And for a long time, the workstation class cards were all that Autodesk would certify their software against. Several years ago, we users finally convinced them to start certifying against Geforce cards so that we could use consumer class cards for their software and take the "hit" in wireframe performance.
Another way to look at this situation is that in the absence of revenue, you may be kidding yourself about the viability of the business. If you can't generate any cash from it, how do you know it's a product/market fit, or that you're capable of executing on it?

You will eventually come to learn that your time is precious, and that wasting it on an idea that can't be made to work is worse than failing to make one (of many possible) viable ideas succeed.
Agreed, this is fantastic, thanks for the share. Weezer's continued success and variance in pop-style is no surprise having read this.
Ask HN: MS Word alternatives for writing academic reports
Right now i am searching for an alternative for writing academic reports (master thesis). in the past i have written such reports (bachelor final projects) with MS Word and it is NOT an enjoyable experience. Whereas latex is widely used for academic reports, i don't really want to learn something so complex only for academic reports, i want to learn something that also can be used for general usage (documentation, blog writing, etc).

Here i found out about restructuredtext and markdown as a markup language for documentation. After some reading i concluded that restructuredtext is more in tune with what i am trying to accomplish e.g: it can be converted into latex if i want to incorporate bibliography from latex

What are your experiences on using markup language for writing general or academic documents(using figures, tables, bibliography, etc)? do you have suggestions regarding this topic?

PS:
I mainly using linux

amd
Here are some applications for writing markup language that i found:

https://notex.ch/ (rst, markup, latex) -- it seems to be made with GWT

http://rst.ninjs.org/ (rst)

https://github.com/github/markup (many)

http://sourceforge.net/projects/retext/

edit:

i agree with the expression "when you have a hammer, you see every problem as a nail" as stated by commenters.

but right now i am not proficient enough with a tool to switch or compare with another one.

some commenter suggest that i really invest in learning latex. i was starting to learn latex from wikipedia wikibook when i got intimidated by it and went to searching for alternatives.

based on the commenters some ways/applications to ease this learning are:

1. lyx

2. www.writelatex.com

3. using latex templates

4. scrivener

any other suggestions?
Can someone explain why one DNS lookup was enough?
Weird, they're taking RapGenius's calls: https://news.ycombinator.com/item?id=6964169
They're still last generation GPUs, not AMD R9's.

I had Mac Pro (old 2005) model and over the course of 8 years of continuous use I had maybe a handful of ECC errors detected. I had far more crashes from unreliable software.

There are a class of people who want fast expandable machines with top end GPUs who don't want ECC level reliability. The iMac is not a replacement for the guy who wants a Mac that runs Crossfire AMD GPUs for games or video editing.

Again, the Xeon is a huge unneeded tax that leaves a whole in the market between iMac and Mac Pro, a whole that PCs fill. There are lots and lots of people who build tricked-out PCs that run rings around this Mac Pro as gaming or video editing rigs. The cases and build quality and "design" suck ass, power speed and cost wise they win.

Apple is leaving money on the table I think by leaving such a huge donut whole, and the people comparing Mac Pros to what PC users can build don't understand what PC users want.

I'd argue ECC is far more important in cloud based systems handling mission critical data than say, The Verge.com editing a review video, in which a single bit error is unlikely to be catastrophic or invite a law suit over data loss.
People who haven't been broke recently often forget what it is really like. I mean how can you be worried about something as ethereal as investment risk when you can't pay your bills. This is premature optimization, there is no proof of value yet. Take the money.
she is not a he, the blog is called "Another angry woman"
Isn't it possible that the Pros are a ... dividend ... for faithful Apple fans? I mean, does the Pro line even have to be a money maker? (I agree with others that the people who need this kind of machine are rare these days, but why not support them?)
I did some freelancing. A two-week job paid my November bills. It was a good emergency revenue, but it is a palliative solution. It is hard to find such jobs, it is unpredictable and also distracting.

I still prefer the angel investment.
This is good news in the same way that a broken window is good news to the glazier. The broken windows fallacy is alive and well in the media. Journalists are also trained to show "both sides" of the story even if the other side of the story is complete nonsense.
Caps lock is already control - CRUISE CONTROL FOR COOL.
I wasn't sure and just defaulted to he. It doesn't really change my point though.
Poll: Are you looking for an exit, or building a lifestyle business?
The most visible stories on HN seem to be about startups that are looking for an exit at some point. But I know that many people on HN are quite happily building businesses they intend to run for the foreseeable future. What is your long-term goal?

I'd love to read some reasoning behind people's choices, especially if you are choosing the third option.
I'm looking for an exit at some point.
I'm building a lifestyle business.
I have a different long-term goal.
I think I have misread your comment. I thought you were making sweeping statements about local state in general. That said, I'd still appreciate an example. I haven't noticed any special issues wrt to understanding programs made of immutable-from-the outside objects or local variables.
I recommend latex, as once you get going it is not really all that complex, what with all the packages available.
> When will there be another great PC hardware manufacturer?

No joke!

I think this is the most disappointing thing about Surface. Microsoft is now in the hardware market. They could have put that kind of build quality into an actual ultrabook, but instead focused on this weird design for Windows 8.
I don't get the point of videos here, it doesn't seem to bring much benefit and text would be much faster to read..
Postgresql advice from a mysql user. Foreign keys don't need indexes on the from side, and they should be pointing to a primary key on the to side so that is already covered. In mysql you likely want an index on the from side because you are probably joining on it and mysql only knows how to do nested loop joins. But postgresql is a real database, so we have hash joins and merge joins, which don't need indexes on the join conditions, rather on the where clause (like you would want anyways). http://use-the-index-luke.com/sql/join/hash-join-partial-obj...
Scala is really a multi-paradigm language, and that is arguably one of its major selling points. While you can use it exclusively for functional programming if you wish, object-oriented and imperative programming are equal citizens.
There is no plug-and-play, you need to know if the hardware is there or not. If you poke something and you are on the wrong board, if could free/reboot/brick/whatever.

It is an ARM thing. The good news is, that there is a map and a single kernel can run on multiple boards. It is a recent development, before that, you needed a separately built kernel.